软件测试-3白盒测试及其用例的设计.pptVIP

第3章 白盒测试及其用例的设计 3.1 三角形、NextDate、佣金问题实现 3.2 白盒测试方法 3.3 白盒测试的基本概念 3.4 白盒测试覆盖指标 3.5 最少测试用例数计算 3.6 基本路径测试 3.7 数据流测试 3.8 白盒测试方法总结 本章教学目标 理论环节 学习理解白盒测试方法的基本概念 学习理解白盒测试的覆盖理论 学习掌握白盒测试的路径表达 学习掌握白盒测试的基本路径测试法 学习掌握白盒测试的数据流测试法 实践环节 通过案例运用学习掌握覆盖问题的解决方法 运用基本路径测试方法进行实际程序测试 3.1 测试案例单元级分析 案例的程序代码表示——泛化伪代码表示法 独立于程序语言，去掉不必要的细节 两层结构：单元和模块 语言要素和语法特点（详见教材表2-1） 部分泛化伪代码 部分泛化伪代码 案例一 三角形问题 输入条件： 要求输入三个整数a、b、c，必须满足以下条件： 条件1 1≤a≤100 条件4 a b+c 条件2 1≤b≤100 条件5 b a+c 条件3 1≤c≤100 条件6 c a+b 输出结果： （1）如果不满足条件4、条件5和条件6中的一个，则程序输出为“非三角形NotATriangle”。 （2）如果三条边相等，则程序输出为“等边三角形Equilateral”。 （3）如果恰好有两条边相等，则程序输出为“等腰三角形Isosceles”。 （4）如果三条边都不相等，则程序输出为“不等边三角形Scalene”。 结构化实现 Program NextDate2 Improved version Dim tomorrowDay,tomorrowMonth,tomorrowYear As Integer Dim day,month,year As Integer Dim c1,c2,c3 As Boolean Do Output(“Enter today’s date in the form MM DD YYYY”) Input(month,day,year) c1=(1=day)AND(day=31) c2=(1=month)AND(month=12) c3=(1812=year)AND(year=2012) If NOT(c1) Then Output(“Value of day not in the range 1..31”) EndIf If NOT(c2) Then Output(“Value of month not in the range 1..12”) EndIf If NOT(c3) Then Output(“Value of year not in the range 1812..2012”) EndIf Until c1 AND c2 AND c3 Case month Of Case 1:month is 1,3,5,7,8 Or10 ’31 day months(except Dec.) If day31 Then tomorrowDay=day+1 Else tomorrowDay=1 tomorrowMonth=month+1 EndIf Case 2:month is 4,6,9 Or11 ’30 day months If day30 Then tomorrowDay=day+1 Else If day=30 Then tomorrowDay=1 tomorrowMonth=month+1 Else Output(“Invalid Input Date”) EndIf EndIf Case 3:month is 12 ‘December If day31 Then tomorrowDay=day+1 Else tomorrowDay=1 tomorrowMonth=1 If year=2012 Then Output(“Invalid Input Date”) Else tomorrowyear=year+1 EndIf Case 4:month is 2 ‘February If day28 Then tomorrowDay=day+1 Else If day=28 Then If(year is a leap year) Then t