实验7 单元测试的逻辑覆盖测试验证实验

实验7 软件测试实验

一、 实验目的

深刻理解软件测试的目的，熟知软件测试的基本方法和基本策略。

二、 实验内容

单元测试的逻辑覆盖测试验证实验：运用Nunit工具完成对如下例子的单元测试，要求分别完成语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖和路径覆盖测试的测试用例编写以及测试。要求首先按格式编写出该测试所需要的测试用例，然后编写测试程序，对其进行测试，最后把你写的测试用例按格式记录到实验报告中。

测试用例的格式如下：

{[输入], [期望结果]}，对于本例请遵循如下格式： {[A,B,X],[X]}

a b F (A>1) and (B=0) X = X/A T c d F (A=2) or (X>1) T e X = X+1

图1 单元测试逻辑覆盖的验证实验

此外，请测试如下情况：

(1). 如果将第1个判定中的“AND”错写成了“OR”，用数据{[2,0,3],[2.5]}（首先，该组数据满足何种逻辑覆盖）对程序进行测试，可否发现错误？为什么？

(2). 如果将第2个判定中的“x>1”错写成了“x<=1”，则用数据{[2,0,3],[2.5]}对程序进行测试，可否发现错误？为什么？

语句覆盖

不能and要求比or严格，所以and可以满足数据or也肯定可以满足

(3). 如果将第1个判定中的“AND”错写成了“OR”，则用数据{[3,0,1],[1/3]}和{[2,1,2],[3]}（首先，该组数据满足何种逻辑覆盖）对程序进行测试，可否发现错误？为什么？ 语句覆盖 ，判定覆盖

第一组测试数据不能发现错误，因为第一组数据可以满足判定的AND判断，勀的那个可以通过or吧、判定条件。 第二组测试数据可以发现错误，因为A=2.B=1原本不可以通过路径B，因为只有A满足了条件，B未满足条件，通过AND返回0，由于把AND错写成OR,返回影响了X的值，发现错误

(4). 如果将第2个判定中的“x>1”错写成了“x<=1”，则用数据{[3,0,1],[1/3]}和{[2,1,2],[3]}）对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。

(5). 如果将第2个判定中的“x>1”错写成了“x<=1”，则用数据{[2,0,3],[2.5]}和{[1,1,1],[1]}（首先，该组数据满足何种逻辑覆盖）对程序进行测试，可否发现错误？为什么？

(6). 如果将第1个判定中的“a>1”错写成了“a<=1”，且把“b=0”错写成了“b<>0”，则用数据{[2,1,1],[2]}和{[1,0,2],[3]}对程序进行测试，可否发现错误？为什么？

(7).

如果将第1个判定中的“a>1”错写成了“a<=1”，且把“b=0”错写成了“b<>0”，则用数据{[2,1,1],[2]}、{[2,0,2],[2]}、{[1,1,1],[1]}和{[1,0,2],[3]}对程序进行测试，可否发现错误？为什么？

能发现错误