3.2.3导出测试用例
根据上面的计算方法,可得出四个独立的路径:
路径1:3-13
路径2:3-5-6-12-3-13
路径3:3-5-7-9-12-3-13
路径4:3-5-7-10-12-3-13
根据上面的独立路径,去设计输入数据,使程序分别执行到上面四条路径。
3.2对等区间(等价类划分)
对等区间划分是一种黑盒测试方法,该方法也成为等价类划分;
对等区间划分是软件测试用例设计的非常形式化的方法。它将被测软件的输入输出划分成一些区间,被测软件对一个特定区间的任何值都是等价的。形成测试区间的数据不只是函数/过程的参数,也可以是软件可以访问的全局变量,系统资源等,这些变量或资源可以是以时间形式存在的数据,或以状态形式存在的输入输出序列。
对等区间划分假定位于单个区间的所有值对测试都是对等的,应该为每个区间的一个值设计一个测试用例。
考虑前面的平方根函数的测试用例区间,有2个输入区间和2个输出区间,表示如下:
可以用2个测试用例测试4个区间:
测试用例1:输入4,返回 2 //区间 ii和a
测试用例2:输入-10,返回0,输出"Square root error - illegal negative input" //区间i和b