DO-178C对结构覆盖的适航要求

王云明
http://yunmingwang.cn/?p=2858

【欢迎转载,转载时请保留该声明】

摘要

结构覆盖分析是保证测试充分性的重要手段之一。虽然大家对结构覆盖并不陌生,但是在实践工程中却发现有大量的工程师对结构覆盖存在较大的误区,特别是在判定覆盖和MC/DC覆盖方面。这些误区对满足DO-178C的适航要求带来了重大的障碍。本文旨在分析DO-178C标准所定义的准确的结构覆盖的适航要求,以树立统一的、正确的结构覆盖的观念,帮助大家在民机型号的研发中少走弯路。

关键词

结构覆盖、语句覆盖、判定覆盖、MC/DC覆盖、分支覆盖、耦合覆盖、需求覆盖

1.  背景

为保证测试的充分性,DO-178C提出了三位一体的测试覆盖要求:需求覆盖、耦合覆盖、结构覆盖。

作为保证测试充分性的重要手段之一,结构覆盖分析是DO-178C中比较重要的软件验证活动。但是,有很多工程师对结构覆盖的认识有较大的误区。特别是在判定覆盖和MC/DC覆盖方面,甚至有部分工具的开发商以及DO-178B的编委会成员也有许多错误的认识(请参见[CAST10]的原话)。

虽然有许多工具可以帮助我们来执行结构覆盖分析活动,但是不同工具对同样的代码和同样的测试用例,得到的结构覆盖分析结果却常常大相径庭。这也是因为行业中不同的工具开发商对结构覆盖分析有不同的理解所造成的。

为此,本文试图深入分析DO-178C对结构覆盖的适航要求,以期中国的民用航空界人士能够形成统一的、正确的结构覆盖适航要求认识,以推进民机型号的顺利开展。

One thought on “《DO-178C对结构覆盖的适航要求》

  1. 暮雪孤蝉说道:

    新文章出来了,先下载再学习,多谢了!

发表评论

您的电子邮箱地址不会被公开。 必填项已用*标注