基于模型的FADEC软件结构覆盖率分析

摘要

结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能.在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式.以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性.%The purpose of the structuralcoverage analysis is to complement the requirements-based testing.It can find unintended functions.During the software development based model,some scholars proposed the idea that using model coverage instead ofcode coverage.The application of model checkingtechniques to automatic generate test case is the major approach of using formal method in model-based structuralcoveragetest,including decisioncoverage,conditioncoverage and MC/DC coverage.This paper takes an actual case which was from the development of the FADEC software for an areo-engine as example.And taked the use of Simulink Design Verifier tool,the coverage rate of the test case to the model has been verified,the result demonstrated that the method ispractical.