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

摘要：

飞行控制软件（简称飞控软件）验证与测试是保障和提高飞控系统可靠性的重要手段。软件缺陷定位是软件验证与测试过程中的重要环节，其准确性和及时性直接影响了飞控软件的可靠性。本文对面向缺陷定位的飞控软件的特性进行了分析，并针对其嵌入式特性，搭建了飞控软件仿真测试平台。在此基础上，以飞机着陆自动控制软件为实验对象，针对其特性，提出了基于Sober算法的缺陷定位方法，最后进行了仿真验证，证明了缺陷定位方法的可行性。

关键词：飞行控制软件、软件测试、软件缺陷定位、Sober算法、嵌入式平台

分类号：TP311(计算技术、计算机技术)

资助基金：航空科学基金20130151001

在线出版日期：2015-04-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：52-56,64