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

• 作者: 张杰 赵飞
• 来源期刊: 航空计算技术
• 关键词: DO-178C 覆盖率分析 MC/DC SimulinkDesignVerifier工具 FADEC软件
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 计算机软件
• 页码范围: 93-96
• 页数: 4页
• 分类号: V233
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张杰		5	5	2.0	2.0
2	赵飞		3	2	1.0	1.0