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

Analysison Model-based Structural Coverage for FADEC Software

作　　者：赵飞 张杰 

机构地区：[1]中国航发控制系统研究所,江苏无锡214063

出　　处：《航空计算技术》2017年第2期93-96,共4页Aeronautical Computing Technique

基　　金：国防科工局技术基础科研项目资助(JSZL2015601C008)

摘　　要：结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能。在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(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.

关 键 词：DO-178C 覆盖率分析 MC/DC SIMULINK Design Verifier工具 FADEC软件 

分 类 号：V233[航空宇航科学与技术—航空宇航推进理论与工程]