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

作者：赵飞; 张杰

来源：航空计算技术, 2017, 47(02): 93-96.

• DO-178C
• 覆盖率分析
• MC/DC
• Simulink Design Verifier工具
• FADEC软件

结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能。在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式。以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性。

• 单位
  中国航发控制系统研究所