论文部分内容阅读
结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能。在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式。以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性。
Structural coverage analysis is based on the needs of the test complement and improve, to discover whether there are unexpected features in the software. In the process of model-based software development, model coverage replaces the traditional code coverage. The automatic generation of test cases by using model checking is the main approach of formal methods in model coverage testing. It covers decision coverage (DC) Conditional Coverage (CC), Modified Conditions / Decision Coverage (MC / DC) and many more. Taking a practical case in the process of aero-engine FADEC software development as an example, this paper uses the Simulink Design Verifier analysis and verification tool to test the coverage of the generated use cases and shows the practicability of the method.