MC/DC准则在嵌入式软件测试中的应用

• 作者: 安媛 陆云峰
• 来源期刊: 自动化仪表
• 学科: 工学
• 关键词: 嵌入式软件 软件测试 MC/DC 结构覆盖 逻辑控制 仪控 VectorCAST 最小测试用例集
• 年，卷（期）: 2019,（6）
• 所属期刊栏目: 专题五:核电仪控系统平台研发与V&V技术
• 页码范围: 76-79
• 页数: 4页
• 分类号: TH-86
• 字数: 2865字
• 语种: 中文
• DOI: 10.16086/j.cnki.issn1000-0380.2019030113

摘要

MC/DC准则被广泛应用于高安全性的嵌入式软件独立验证和确认中,是一种实用而高效的软件结构覆盖率验证准则.基于嵌入式软件测试的特点与MC/DC的基本概念,提出了MC/DC的最小测试集的形成方法.结合工程应用实例,利用自动化测试工具实现MC/DC测试流程.MC/DC准则在核电仪控系统中的成功应用,对于航空、军工、机器人等高安全性和高可靠性领域有着很好的借鉴作用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆云峰		4	2	1.0	1.0
2	安媛		3	0	0.0	0.0