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

摘要：

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

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

所属期刊栏目：47

分类号：V233(航空发动机（推进系统）)

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

在线出版日期：2017-06-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：93-96