摘要：

为满足飞行控制软件的强实时性要求,针对实时嵌入式软件提出一种实时性缺陷定位方法,并开发可视化工具提高其自动化程度。建立实时性缺陷定位模型,分别在软件模块及函数粒度上定义软件单元的可疑度。在计算可疑度时,利用模块实际执行时间与基准执行时间的差异、成功用例与失败用例中函数执行时间的差异以及模块与函数的调用关系,分别进行模块和函数级别的实时性缺陷定位。仿真结果显示,包含缺陷的模块或函数均具有较高的可疑度值,验证了该方法的有效性。

关键词: 飞行控制软件, 实时性缺陷, 执行时间, 缺陷定位, 可疑度, 可视化工具

Abstract:

To meet strong real-time demand of flight control software,a real-time fault localization method for embedded software is proposed,and a visualization tool is developed to improve the automation degree of this method.A real-time fault localization model is established to define the suspiciousness on the two levels of software module and function respectively.While computing the suspiciousness,the difference between the actual execution time of modules and the criterion time,the difference between the function execution time in successful test cases and failure ones,and the call relations between modules and functions are used to give real-time fault localization algorithms on the module level and the function level.Simulation results indicate that modules and functions containing faults tend to have higher suspiciousness,which demonstrates the effectiveness of the proposed method.

Key words: flight control software, real-time fault, execution time, fault localization, suspiciousness, visualization tool

中图分类号: 

• TP311.52