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

作者：安媛; 陆云峰^*

来源：自动化仪表, 2019, 40(06): 76-79.

DOI：10.16086/j.cnki.issn1000-0380.2019030113

• 嵌入式软件
• 软件测试
• MC/DC
• 结构覆盖
• 逻辑控制
• 仪控
• VectorCAST
• 最小测试用例集

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