SElecture14 黑盒测试方法.ppt

* 1 2 11 3 23 21 22 ∨ ~ ∧ ~ E 因果图 * 1 2 3 4 5 6 7 8 条件（原因） 1 1 1 1 1 0 0 0 0 2 1 1 0 0 1 1 0 0 3 1 0 1 0 1 0 1 0 中间结果 11 1 1 1 1 0 0 动作（结果） 22 0 0 0 0 1 1 21 1 0 1 0 0 0 23 0 1 0 1 0 1 测试用例 A2 AV B4 BT V4 RW 判定表 FORTRAN语言的语法规定是非常严格的。在一个程序行中，第1－5列是标号区，第6列是续行区。 如果前6列是空白，则执行动作A。 如果第1－5列有标号且是正确的标号，则执行动作B后再执行动作A；反之，若是错误的标号，则执行动作C。 如果第6列不是空白而是字母C，则执行动作D后再执行A；反之，执行动作C。 原因： 1－前6列是空白 2－第1－5列是正确的标号 3－第6列是字母C 结果： 动作A—正确执行 E1:执行动作A 动作B－处理标号 E2:执行动作B后再执行动作A 动作C－错误处理 E3:执行动作C 动作D－处理续行 E4:执行动作D后再执行A * 因果图 * 1 2 E1 3 E4 E3 E2 ∨ ~ ~ O E1:执行动作A E2:执行动作B后再执行动作A E3:执行动作C E4:执行动作D后再执行A 1－前6列是空白 2－第1－5列是正确的标号 3－第6列是字母C 判定表 1 2 3 4 5 6 7 8 条件 1 Y Y Y Y N N N N 2 Y Y N N Y Y N N 3 Y N Y N Y N Y N 结果 E1 X E2 X E3 X E4 X 测试用例 * * 1 3 4 条件（原因） 1 1 0 0 2 0 1 0 3 0 0 1 动作（结果） A 1 1 1 B 0 1 0 C 1 1 1 D 0 0 1 测试用例 第1－5列 第6列 第1－5列 第6列 第1－5列 第6列 空白 空白 xyz 123 空白 空白 空白 空白 C ? 判定表 例，有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下： 若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。” * (1) 分析这一段说明，列出原因和结果原因: 1. 售货机有零钱找 2. 投入1元硬币 3. 投入5角硬币 4. 押下橙汁按钮 5. 押下啤酒按钮 建立中间结点，表示处理中间状态11. 投入1元硬币且押下饮料按钮12. 押下〖橙汁〗或〖啤酒〗的按钮13. 应当找5角零钱并且售货机有零钱找14. 钱已付清 * 结果： 21. 售货机〖零钱找完〗灯亮 22. 退还1元硬币 23. 退还5角硬币 24. 送出橙汁饮料 25. 送出啤酒饮料(2) 画出因果图。所有原因结点列在左 边，所有结果结点列在右边。 (3) 由于 2 与 3 ，4 与 5 不能同时发生， 分别加上约束条件E。(4) 因果图 * 　 * (5) 转换成判定表 * * * * * * 举例 根据下面给出的规格说明，利用等价类划分的方法，给出足够的测试用例。 “一个程序读入3个整数，把这三个数值看作一个三角形的3条边的长度值。这个程序要打印出信息，说明这个三角形是不等边的、是等腰的、还是等边的。” * * 有效等价类 无效等价类 输入条件 3个整数 整数（1） a为非整数（12）、b为非整数（13）、c为非整数（14）、ab为非整数（15）、bc为非整数（16）、ca为非整数（17）、 abc为非整数（18） 3个数（2） 只给a（19）、只给b（20）、只给c（21）、只给ab（22）、只给bc（23）、只给ca（24）、给出3个以上（25） 非0数（3） a＝0（26）、b=0（27）、 c=0（28）、a=b=0（29）、b=c=0（30