基于 Sober 算法的飞控软件缺陷定位方法研究

摘要

The verification and testing of flight control software is an important means to ensure and improve the reliability of the flight control system .Software fault-localization is a significant link of soft-ware ’ s verification and testing , and its accuracy and timeliness directly affects the reliability of flight con-trol software .In this paper , the characteristics oriented fault-localization of flight control software are ana-lyzed .For the embedded characteristic of flight control software , the flight control software simulation test platform is build .On this basis , using the flight automatic landing control software as the experimental subjects , for its characteristics , a fault-localization method based on Sober algorithm is proposed .Finally simulation verification is implemented , which verifies the feasibility of the fault-localization method .%飞行控制软件（简称飞控软件）验证与测试是保障和提高飞控系统可靠性的重要手段。软件缺陷定位是软件验证与测试过程中的重要环节，其准确性和及时性直接影响了飞控软件的可靠性。本文对面向缺陷定位的飞控软件的特性进行了分析，并针对其嵌入式特性，搭建了飞控软件仿真测试平台。在此基础上，以飞机着陆自动控制软件为实验对象，针对其特性，提出了基于Sober算法的缺陷定位方法，最后进行了仿真验证，证明了缺陷定位方法的可行性。