李志敏
- 作品数:2 被引量:6H指数:1
- 供职机构:北京航空航天大学自动化科学与电气工程学院更多>>
- 发文基金:中国航空科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种实时性缺陷定位方法及其可视化实现被引量:6
- 2017年
- 为满足飞行控制软件的强实时性要求,针对实时嵌入式软件提出一种实时性缺陷定位方法,并开发可视化工具提高其自动化程度。建立实时性缺陷定位模型,分别在软件模块及函数粒度上定义软件单元的可疑度。在计算可疑度时,利用模块实际执行时间与基准执行时间的差异、成功用例与失败用例中函数执行时间的差异以及模块与函数的调用关系,分别进行模块和函数级别的实时性缺陷定位。仿真结果显示,包含缺陷的模块或函数均具有较高的可疑度值,验证了该方法的有效性。
- 李志敏殷蓓蓓张萍王纪兵王宾张金鹏
- 关键词:飞行控制软件可视化工具
- 基于Sober算法的飞控软件缺陷定位方法研究被引量:1
- 2015年
- 飞行控制软件(简称飞控软件)验证与测试是保障和提高飞控系统可靠性的重要手段。软件缺陷定位是软件验证与测试过程中的重要环节,其准确性和及时性直接影响了飞控软件的可靠性。本文对面向缺陷定位的飞控软件的特性进行了分析,并针对其嵌入式特性,搭建了飞控软件仿真测试平台。在此基础上,以飞机着陆自动控制软件为实验对象,针对其特性,提出了基于Sober算法的缺陷定位方法,最后进行了仿真验证,证明了缺陷定位方法的可行性。
- 李志敏殷蓓蓓张萍王纪兵杨飏
- 关键词:飞行控制软件软件测试嵌入式平台