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

Research of Flight Control Software Fault-Localization Technology Based on Sober Algorithm

作　　者：李志敏[1] 殷蓓蓓[1] 张萍[2] 王纪兵[2] 杨飏[1] 

机构地区：[1]北京航空航天大学,北京100191 [2]中国空空导弹研究院,河南洛阳471009

出　　处：《航空兵器》2015年第1期52-56,64,共6页Aero Weaponry

基　　金：航空科学基金资助项目(20130151001)

摘　　要：飞行控制软件(简称飞控软件)验证与测试是保障和提高飞控系统可靠性的重要手段。软件缺陷定位是软件验证与测试过程中的重要环节,其准确性和及时性直接影响了飞控软件的可靠性。本文对面向缺陷定位的飞控软件的特性进行了分析,并针对其嵌入式特性,搭建了飞控软件仿真测试平台。在此基础上,以飞机着陆自动控制软件为实验对象,针对其特性,提出了基于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 software＇s verification and testing,and its accuracy and timeliness directly affects the reliability of flight control software. In this paper,the characteristics oriented fault-localization of flight control software are analyzed. 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算法 嵌入式平台 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]