资源描述：
《华东交通大学软件工程实验报告三》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、软件测试实验三一、实验目的学会使用CASE工具完成软件测试用例的设计以及初步完成对单元测试，深刻理解单元测试的基本原理及CASE工具的基本使用。二、实验内容1、单元测试的逻辑覆盖测试验证实验：运用Nunit工具完成对如下例子的单元测试，要求分别完成语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖和路径覆盖测试的测试用例编写以及测试。要求首先按格式编写出该测试所需要的测试用例，然后编写测试程序，对其进行测试，最后把你写的测试用例按格式记录到实验报告中。测试用例的格式如下：{[输入],[期望结果]}，对于本例请遵循如下格式：{[A,B,X
2、],[X]}11(A>1)and(B=0)(A=2)or(X>1)X=X/AX=X+1TTFFabdce图1单元测试逻辑覆盖的验证实验此外，请测试如下情况：(1).如果将第1个判定中的“AND”错写成了“OR”，用数据{[2,0,3],[2.5]}（首先，该组数据满足何种逻辑覆盖）对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。11语句覆盖不能，and要求比or严格，所以and可以满足的数据or也肯定可以满足。11(1).如果将第2个判定中的“x>1”错写成了“x<=1”，则用数据{[2,0,3],[2.5]}对程
3、序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。不能，第二个判定是or只要满足一个条件即可。因为a=2所以第二个条件恒为真。所以不能发现错误。(2).如果将第1个判定中的“AND”错写成了“OR”，则用数据{[3,0,1],[1/3]}和{[2,1,2],[3]}（首先，该组数据满足何种逻辑覆盖）对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。语句覆盖，判定覆盖第一组测试数据不能发现错误，因为第一组数据可以满足判定一的AND判断，肯定可以通过OR判断条件。11第二组测试数据可以发现错误，因为
4、A=2,B=1原本不可以通过路径b，因为只有A满足了条件，B未满足条件，通过AND返回0。由于把AND错写成OR，返回1，影响了X的值，发现错误。(1).如果将第2个判定中的“x>1”错写成了“x<=1”，则用数据{[3,0,1],[1/3]}和{[2,1,2],[3]}）对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。{[3,0,1],[1/3]}可以。经过第1个判断，执行b操作是x=1/3，第2个判断是x<=1,返回1，进行e操作。最后得到的x=4/3,与期望结果不同，提示错误。{[2,1,2],[3]}不可以
5、。第1个判断是B==0不成功，将通过b进行第2个判定，此时x仍为2。因为A==2正确，返回1，进行e操作。最后x=3，与期望结果相同。不能发现“x>1”11错写成了“x<=1”。(1).如果将第2个判定中的“x>1”错写成了“x<=1”，则用数据{[2,0,3],[2.5]}和{[1,1,1],[1]}（首先，该组数据满足何种逻辑覆盖）对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。满足语句覆盖，判断覆盖，条件覆盖，判断/条件覆盖。第一组测试数据不能发现错误，在第2个判定时，因为A==2正确，返回1，进行e操作。最
6、后x=2.5，与期望结果相同。所以不能发现“x>1”错写成了“x<=1”。第二组测试数据可以发现错误，因为A=1,x=1原本不可以通过第2个判定，返回0。但写错后x<=1成立，返回1，影响了X的值，发现错误。(2).如果将第1个判定中的“a>1”错写成了“a<=1”，且把“b=0”错写成了“b<>0”，则用数据{[2,1,1],[2]}和{[1,0,2],[3]}对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。都不能。{[2,1,1],[2]}原本执行路径是abe。出错后执行路径仍为abe，所以不能发现错误。{[1
7、,0,2],[3]}原本执行路径是abe。出错后执行路径仍为abe，所以也不能发现错误。11(1).如果将第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]}对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。可以发现错误。{[2,1,1],[2]}原本执行路径是abe。出错后执行路径仍为abe，所以不能发现错误。{[2,0,2],[2]}原本执行路径是ace。出错后执行路
8、径仍为abe，可以发现错误。{[1,1,1],[1]}原本执行路径是abd。出错后执行路径仍为acd，所以不能发现错误。{[1,0,2],[3]}原本执行路径是ab
