论文部分内容阅读
介绍了软件测试覆盖的基本概念和不同关键等级软件的测试结构覆盖要求。重点对修正的条件/判定覆盖(MC/DC)要求进行了分析和研究。明确了所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC。说明了如果将一个判定分解为多个等价的判定，对各个部分满足MC/DC的测试集，对整个判定并不一定满足MC/DC。指出了汇编语言程序同样需要考虑MC/DC问题。强调了必须基于软件需求来设计测试用例。讨论了对结构覆盖分析发现问题的分析与解决方法。