第二章软件测试 举例.pptVIP

第二章 举例 泛化的伪代码 三角形问题 三角形问题 传统实现 传统实现的程序流程图 结构化实现数据流图 第二种实现伪代码 第三种实现伪代码 NextDate函数 讨论 第一种实现方案 第二种实现方案 第二种实现方案 佣金问题 讨论 实现 SATM系统 SATM系统的15个屏幕 讨论 货币转换器 土星牌挡风玻璃雨刷 练习 总结 * 计算机软件测试 … … … … Do循环体Until条件 后测试重复 Do while条件循环体End while 预测试重复 For计数器=开始To结束 计数器控制的重复 If条件Then then子句Elseelse子句EndIf 选择 Output(变量列表) 输出 Input(变量列表) 输入 变量=表达式 赋值语句 Dim 变量 As 类型 数据声明 Type类型名称 字段描述列表 end类型名称 数据结构声明 文本 注释 泛化的伪代码结构 语言要素 计算机软件测试 简单版本：三角形问题接受三个整数a、b、c作为输入，用做三角形的边。程序的输出是由这三条边确定的三角形类型，即等边三角形，等腰三角形，不等边三角形或非三角形。 计算机软件测试 改进版本：三角形问题接受三个整数a、b、c作为输入，用做三角形的边。整数a、b、c必须满足以下条件： C1. 1≤a ≤200 C4. a b + c C2. 1≤b ≤200 C5. b a + c C3. 1≤c ≤200 C6. c a + b 程序的输出是由这三条边确定的三角形类型，即等边三角形，等腰三角形，不等边三角形或非三角形。 如果输入值没有满足这些条件中的任何一个，则程序会通过输出消息来进行通知，例如“c的取值不再允许取值的范围内。”如果a、b、c的取值满足C1、C2、C3，则给出以下四种相互排斥输出中的一个： 1.如果三条边相等，则程序的输出是等边三角形。 2.如果恰好有两条边相等，则程序的输出是等腰三角形。 3.如果没有两条边相等，则程序的输出是不等边三角形。 4.如果C4、C5、C6中有一个条件不满足，则程序输出的是非三角形。 计算机软件测试 Program triangl1 Fortran-iike version Dim a,b,c,match As INTEGER Output(“Enter 3 integers which are sides of a triangle) Input(a,b,c) Output(Side A is ,a) Output(Side B is ,b) Output{Side C is ,c) match = 0 If a = b ‘(1) Then match = match + 1 ‘(2) Endlf If a = c ‘(3) Then match = match + 2 ‘(4) Endlf If b=c ‘(5) Then match = match + 3 ‘(6) Endlf If match = 0 ‘(7) Then If (a+b) = c ‘(8) Then Output(Not A Triangle) ‘(12.1) Else If (b+c) = a ‘(9) Then Output(Not A Triangle) ‘(12.2)