华东交通大学软件工程实验报告三.doc

软件测试实验三一、 实验目的学会使用CASE工具完成软件测试用例的设计以及初步完成对单元测试，深刻理解单元测试的基本原理及CASE工具的基本使用。二、 实验内容1、单元测试的逻辑覆盖测试验证实验：运用Nunit工具完成对如下例子的单元测试，要求分别完成语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖和路径覆盖测试的测试用例编写以及测试。要求首先按格式编写出该测试所需要的测试用例，然后编写测试程序，对其进行测试，最后把你写的测试用例按格式记录到实验报告中。测试用例的格式如下： 输入, 期望结果，对于本例请遵循如下格式： A,B,X,X(A1) and (B=0)(A=2) or (X1)X = X/AX = X+1TTFFabdce图1 单元测试逻辑覆盖的验证实验此外，请测试如下情况：(1). 如果将第1个判定中的“AND”错写成了“OR”，用数据2,0,3,2.5（首先，该组数据满足何种逻辑覆盖）对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。 语句覆盖不能，and要求比or严格，所以and可以满足的数据or也肯定可以满足。(2). 如果将第2个判定中的“x1”错写成了“x1”错写成了“x=1”，则用数据3,0,1,1/3和2,1,2,3）对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。3,0,1,1/3可以。经过第1个判断，执行b操作是x=1/3，第2个判断是x 1”错写成了“x1”错写成了“x1”错写成了“x=1”。第二组测试数据可以发现错误，因为A=1,x=1原本不可以通过第2个判定，返回0。但写错后x 1”错写成了“a=1”，且把“b=0”错写成了“b0”，则用数据2,1,1,2和1,0,2,3对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。都不能。2,1,1,2原本执行路径是abe。出错后执行路径仍为abe，所以不能发现错误。1,0,2,3原本执行路径是abe。出错后执行路径仍为abe，所以也不能发现错误。(7). 如果将第1个判定中的“a1”错写成了“a=1”，且把“b=0”错写成了“b0”，则用数据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。出错后执行路径仍为abe，可以发现错误。1,1,1,1 原本执行路径是abd。出错后执行路径仍为acd，所以不能发现错误。1,0,2,3原本执行路径是abe。出错后执行路径仍为abe，所以也不能发现错误。2、循环结构测试现有一个简单循环，需要对其进行测试，其程序伪代码如下：Int i,a;Input(i,a);While(i4) a *= 2； a += 3;Else If(a1) a -= 4; else a += 5;i+;a *=4;Output(a);要求为该程序设计满足简单循环的所有测试用例，记录到实验报告中。测试用例：11,1,4、10,1,-4、9,1,16、5,1,676、3,1,2788、2,1,5604、1,1,11236、0,1,225003、等价类划分及边界值测试的验证实验：有如下算法A和B均是非负整型变量(注：int型)，如果10A100，则B=A*20-5，如果0A=100，则B=A*100-200，请分别用等价类划分方法和边界值分析方法设计测试用例，然后编写测试程序完成测试。并把测试结论写入到实验报告中。等价类划分方法：输入条件的等价类划分输入条件有效等价类无效等价类A的类型 非负整型变量10A100 非负整型变量0A=100 负数 有非数字字符有效等价类测试用例ID输入期望结果备注150输入有效覆盖有效等价类25输入有效覆盖有效等价类3150输入有效覆盖有效等价类无效等价类测试用例ID输入期望结果备注