检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:李志敏[1] 殷蓓蓓[1] 张萍[2] 王纪兵[2] 王宾[1] 张金鹏[2,3]
机构地区:[1]北京航空航天大学自动化科学与电气工程学院,北京100191 [2]中国空空导弹研究院,河南洛阳471009 [3]航空制导武器航空科技重点实验室,河南洛阳471009
出 处:《计算机工程》2017年第2期111-119,共9页Computer Engineering
基 金:航空科学基金(20130151001)
摘 要:为满足飞行控制软件的强实时性要求,针对实时嵌入式软件提出一种实时性缺陷定位方法,并开发可视化工具提高其自动化程度。建立实时性缺陷定位模型,分别在软件模块及函数粒度上定义软件单元的可疑度。在计算可疑度时,利用模块实际执行时间与基准执行时间的差异、成功用例与失败用例中函数执行时间的差异以及模块与函数的调用关系,分别进行模块和函数级别的实时性缺陷定位。仿真结果显示,包含缺陷的模块或函数均具有较高的可疑度值,验证了该方法的有效性。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.
关 键 词:飞行控制软件 实时性缺陷 执行时间 缺陷定位 可疑度 可视化工具
分 类 号:TP311.52[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15