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

摘要

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