软件工程习题六答案      

1．为什么要进行软件检验? 软件检验的主要手段有哪几种?

解：· 对一个软件系统，尤其是规模大、复杂性高的大型软件系统，虽经过了分析、设计和编程阶段但仍会存在错误。为了保证软件系统的质量，就要对软件系统进行检验和测试。

· 软件检验的手段有三类：动态检查、静态检查和正确性证明。

2．为什么要进行软件评审? 怎样有效地进行软件评审?

解：· 进行软件评审主要是人工阅读文档或程序，从而发现其中的错误 ，这对软件的成功是绝对必要的。

· 评审组长在评审会举行前1至2周将评审材料(文档或程序)发给评审员，要求各人仔细阅读，评审员阅毕应给评审组长一个书面通知证实已读过所有材料。

3. 软件测试的基本原则是什么?

解：测试阶段应注意的一些基本原则：

1) 测试用例应该由以下两部分组成：

     ·输入数据。

     ·预期的输出结果。

2) 不仅要选用合理的输入数据作为测试用例，还应选用不合理的输入数据作为测试用例。

3) 除了检查程序是否做了它应做的工作之外，还应检查程序是否还做了它不应做的事情。

4) 应该长期保留所有的测试用例，直至这个程序系统被废弃不用为止。

4．采用白盒法进行测试时，测试用例覆盖路径的种类有哪几种?它们相互之间是什么关系?

解：· 采用白盒法进行测试时，测试用例覆盖路径的种类有：

       Ø 语句覆盖。

       Ø 判定覆盖。

       Ø 条件覆盖。

       Ø 判定／条件覆盖。

       Ø 条件组合覆盖。

· 它们相互之间的关系：

       Ø“语句覆盖”是很不充分的一种标准。

       Ø“判定覆盖”比“语句覆盖”严格，因为如果每个分支都执行过了，则每个语句也就执行过了。

       Ø“条件覆盖”比“判定覆盖”强，因为它使一个判定中的每一个条件都取到了两个不同的结果，而判定覆盖则不保证这一点。

       Ø 满足“条件组合覆盖”的测试用例是一定满足“判定覆盖”、“条件覆盖”和“判定/条件覆盖”的。