基于MBD模型自动生成测试用例的软件测试方法

• 作者: 周毅 蔡峰 陈阳
• 来源期刊: 测控技术
• 学科: 工学
• 关键词: MBD 航空发动机控制软件 自动生成用例 软件测试
• 年，卷（期）: 2018,（9）
• 所属期刊栏目: 试验与测试
• 页码范围: 77-80,130
• 页数: 5页
• 分类号: V233.7|TP311
• 字数: 3570字
• 语种: 中文
• DOI: 10.19708/j.ckjs.2018.09.018

摘要

在安全关键软件领域应用基于模型的开发技术时,存在着软件测试充分性的问题.提出了一种基于MBD模型自动生成测试用例、对航空发动机控制软件进行测试的新方法.通过使用MathWorks提供的自动生成测试用例工具箱(SLDV),基于FADEC控制软件的Simulink模型,自动生成满足控制软件模型MC/DC覆盖率100％的测试用例,并在Cppunit测试框架下执行测试用例;通过对比模型输出和测试输出来发现被测对象的问题,确保软件代码与模型的一致性.项目实践表明,该测试方法是软件集成测试的有益补充,提升了软件测试的充分性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈阳		4	6	2.0	2.0
2	周毅		3	5	1.0	2.0
3	蔡峰		1	4	1.0	1.0