2第2章实例详解.ppt

软件测试 测试概述——举例 例1：三角形问题 测试概述——泛化的伪代码 举例之一（三角形问题） 问题陈述 举例之一（三角形问题） 输入：整数a,b,c，用作三角形的边 输出：由三条边确定的三角形类型：等边、等腰、不等边或非三角形 举例之一（三角形问题） 输入：整数a,b,c，用作三角形的边 举例之一（三角形问题） 问题陈述 讨论 传统实现 结构化实现 举例之一（三角形问题） 问题陈述 讨论 传统实现 结构化实现 举例之一（三角形问题） 问题陈述 讨论 传统实现 结构化实现 举例之二（NextDate） 问题陈述 ①、普通年能被4整除且不能被100整除的为闰年。（如2004年就是闰年,1900年不是闰年） ②、世纪年能被400整除的是闰年。(如2000年是闰年，1900年不是闰年) ③、对于数值很大的年份,这年如果能被3200整除,并且能被172800整除则是闰年。如172800年是闰年，86400年不是闰年(因为虽然能被3200整除，但不能被172800整除)（此按一回归年365天5h4845.5计算）。 举例之三（佣金问题） 问题陈述 举例之三（佣金问题） 问题陈述 举例之三（佣金问题） 举例之三（佣金问题） 问题陈述 讨论 实现 举例之三（佣金问题） 问题陈述 讨论 实现 举例之四（SATM系统） 问题陈述 举例之四（SATM系统） 举例之四（SATM系统） 举例之四（SATM系统） 举例之四（SATM系统） 举例之四（SATM系统） 举例之四（SATM系统） 举例之四（SATM系统） 举例之四（SATM系统） 举例之五（货币转换器） 问题陈述 讨论 举例之六（土星牌挡风玻璃雨刷） 问题陈述 收据口 插卡口 B1 B2 B3 1 2 3 4 5 6 7 8 9 0 取消 现金给付口 存款信封口 请选择交易类型： 余额 存款 取款 如果输错请按“取消”键 现金给付口 现金给付口 请输入帐号 取款必须是 10美元的整数倍 如果输错请按“取消”键 暂时无法取款 进行另一个交易吗？ 是 否 收据口 插卡口 B1 B2 B3 1 2 3 4 5 6 7 8 9 0 取消 现金给付口 存款信封口 请输入帐号 取款必须是 10美元的整数倍 如果输错请按“取消”键 余额不足 请输入一个新帐号 ___________ 如果输错请按“取消”键 正在更新余额， 请从给付器中取现金 新余额正打印在收据 上， 进行另一个交易吗？ 是 否 收据口 插卡口 B1 B2 B3 1 2 3 4 5 6 7 8 9 0 取消 现金给付口 存款信封口 请取走收据和ATM卡 谢谢！ 暂时无法取款 进行另一个交易吗？ 是 否 新余额正打印在收据 上， 进行另一个交易吗？ 是 否 暂时无法存款 进行另一个交易吗？ 是 否 12345 欢迎使用 简单自动柜员机 请插入ATM卡 请选择交易类型： 余额 存款 取款 如果输错请按“取消”键 美元金额 等价于… 计算 巴西 加拿大 欧共体 日本 清除 推出 货币转换器 强调与图形用户界面关联的代码 很好地说明了UML描述和面向对象的实现 * * 例5：货币转换器 例2：NextDate 例4：SATM系统 例6：土星汽车公司的挡风玻璃雨刷 例3：佣金问题 Input变量列表， Output变量列表 输入/输出 表达式关系操作符表达式 简单条件 语句按串行顺序排列 序列 If条件ThenThen子句 Elseelse子句 EndIf 选择 文本 注释 Type类型名称 字段描述列表 End类型名称 数据结构声明 Dim变量As类型 数据声明 变量=表达式 赋值语句 泛化的伪代码结构 语言要素 讨论 传统实现 结构化实现 a b c 等腰三角形 等边三角形 非三角形 不等边三角形 问题陈述 讨论 传统实现 输入的有效性？ 无效输入时的输出？ 结构化实现 输出：由三条边确定的三角形类型：等边、等腰、不等边或非三角形 (1)每条边的长度在1和200之间，即 c1. a=1 a=200 c2. b=1 b=200 c3. c=1 c=200 (2)三条边能构成三角形，即 c4. ab+c c5. ba+c c6. ca+b (1)输入值不满足所有输入条件，则输出消息进行通知。 (2)输入值满足输入条件(1)， 且不满足输入条件(2)，输出“非三角形”； 有三条边相等，输出“等边三角形”； 有两条边相等，输出“等腰三角形”； 各边互不相等，输出“不