飞行控制软件测试用例生成技术

• 作者: 吕静 董成基 赵志宁 齐杏林
• 来源期刊: 兵工自动化
• 学科: 工学
• 关键词: 飞行控制软件 测试用例 EFSM 组合设计 时间属性
• 年，卷（期）: 2012,（9）
• 页码范围: 93-96
• 分类号: TJ410.6
• 字数: 3058字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-1576.2012.09.027

摘要

为进行飞行控制软件测试,采用扩展有限状态机(extended finite state machine,EFSM)模型对弹药飞行控制软件测试需求建模和测试用例的生成展开研究.将时间约束作为变量处理和并发任务的平坦化分析进行研究,通过分析生成了模拟软件完整执行过程的测试序列,采用组合设计解决了各输入变量不同取值之间的组合问题,并提出为变量增加时间属性来描述产生测试信号的时刻.以某弹药飞控软件为例,进行建模和测试用例生成实践,验证了方法的可行性.该研究为有限状态机模型在飞控软件和其它实时软件测试中的应用进行了探索.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	齐杏林	军械工程学院弹药工程系	90	387	11.0	15.0
2	赵志宁	军械工程学院弹药工程系	11	82	4.0	9.0
3	吕静	军械工程学院弹药工程系	14	35	3.0	5.0
4	董成基	军械工程学院弹药工程系	4	31	3.0	4.0