论文部分内容阅读
为满足飞行控制软件的强实时性要求,针对实时嵌入式软件提出一种实时性缺陷定位方法,并开发可视化工具提高其自动化程度。建立实时性缺陷定位模型,分别在软件模块及函数粒度上定义软件单元的可疑度。在计算可疑度时,利用模块实际执行时间与基准执行时间的差异、成功用例与失败用例中函数执行时间的差异以及模块与函数的调用关系,分别进行模块和函数级别的实时性缺陷定位。仿真结果显示,包含缺陷的模块或函数均具有较高的可疑度值,验证了该方法的有效性。
In order to meet the strong real-time requirements of flight control software, a real-time defect localization method is proposed for real-time embedded software and visual tools are developed to improve its automation. The establishment of real-time defect location model, respectively, software modules and functional granularity to define the suspect software unit. When calculating the suspicious degree, the real-time defect positioning of modules and function levels are respectively carried out by using the difference between the actual execution time of the module and the benchmark execution time, the difference of the execution time of the function in the successful use case and the failed use case, and the calling relationship between the module and the function. Simulation results show that the modules or functions containing defects have higher suspicious values, which verifies the effectiveness of the method.