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

A Software Test Method Based on Test Cases Automatically Generated from MBD Model

中文关键词:  MBD  航空发动机控制软件  自动生成用例  软件测试

英文关键词:MBD  aero engine control software  automated test case generation  software testing

中文摘要:

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

英文摘要:

      When using MBD (Model Based Development) method to develop the security-critical software,there is a problem of softwere testing sufficiently.A new test method applying to aero-engine control software based on test cases automatically generated from MBD model is introduced.This method uses Simulink design verifier (SLDV) provided by MathWorks to generate test cases from the Simulink model.These test cases meet the control software model MC/DC coverage by 100% and are executed under the Cppunit test framework.By comparing the test result with the outputs of the MBD model,the consistency of the software code with the model can be judged.Project practice shows that this method is a useful complement to software integration testing and can improve the adequacy of software testing.