航空兵器Issue(1):52-56,64,6.
基于 Sober 算法的飞控软件缺陷定位方法研究
Research of Flight Control Software Fault-Localization Technology Based on Sober Algorithm
摘要
Abstract
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算法/嵌入式平台Key words
flight control software/software testing/software fault-localization/Sober algorithm/embedded platform分类
信息技术与安全科学引用本文复制引用
李志敏,殷蓓蓓,张萍,王纪兵,杨飏..基于 Sober 算法的飞控软件缺陷定位方法研究[J].航空兵器,2015,(1):52-56,64,6.基金项目
航空科学基金资助项目 ()