Chapter 8 testing the programs.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Chapter 8 Testing the Programs other method: a,b,c “F” nonnumeric data W: criteria for classify the test data 该分类原则只适用于black box法 P422—1,2,3 1 . 每一个可能的输入数据（测试用例）必属于某一 分类。 2 . 各个分类之间没有交集。 3 . 每个类的特定测试用例可以代表这个类。 （有时我们可以适当放松这个约束，即：如果一个 数据元素成员属于一个类并经运行显示了一个错 误，则该类的任意元素成员运行显示同样错误的 概率较高 接近100% 。） * Chapter 8 Testing the Programs U: drawbacks of black box and white box black box: uncertainty in finding a particular error （黑盒法以SRS为依据，有一定的盲目 性和不确定性，不可能揭示所有的错误） white box: pay too much effort but still difficult in giving test case when internal logic is too complex （该法以模块内部逻辑为依据，当内部逻辑过于复 杂时，则不能给出好的或合适的测试用例） C: combining black-and white-box testing to generate test data（黑盒与白盒法相结合产生测试用例） X: method : black box + white box + other method Y: example: ----“input positive value” black box + other method P422—7 dots * Chapter 8 Testing the Programs ? test thoroughness（测试的彻底性） about white box A: three methods: X: statement coverage testing（语句 覆盖 测试） ----给出的测试用例能使模块中每一语句至少执行一遍 Y: branch testing（分支测试） Z: path testing（路径测试） B: example—Fig8.7 statement: x k result 0 1-2-3-4-5-6-7 1 test case branch: 1-2-3-4-5-6-7 and 1-2-4-5-6-1 2 test cases path: 1-2-3-4-5-6-7 + 1-2-3-4-5-6-1 + 1-2-4-5-6-7 + 1-2-4-5-6-1 4 paths--- 4 test cases * Fig 8.7 Logic flow. POINTER FALSE X X + 1 POINTER TRUE CALL SUB X, POINTER,RESULT PRINT RESULT X K? RESULT 0? NO YES NO YES 3 1 2 4 5 6 7 * Chapter 8 Testing the Programs ? supplemental material * A: black box X: equivalence partitioning Y: boundary value analysis Z: error guessing U: cause-effect diagram example: B: white box X: 4 logical coverage methods : statement, branch, condition, condition combination * Chapter 8 Testing the Programs Y: 3 path coverage methods node: edge: path: Z: the difference between logical coverage and path coverage C: example * Sidebar 8.4 Fault Discovery Efficiency at Contel IPC 17.3%