软件测试 Software Tes.ppt

Software Testing Chapter 3 Structural Testing Contents 3.1 Basic Concepts 3.2 Logic Coverage 3.3 Control Flow Graph 3.4 Case 3.5 Exercise 3.1 Basic Concepts Structural testing Also called glass box testing or white-box testing, or logic-driven testing. It is a testing method that according to the internal logical procedures and coding structure design test data. Test all logical paths. Through different points inspect procedures states, to determine whether the actual states consistent with the expected states. Grasp the detailed knowledge of the system, applied to the field of development. 3.1 Basic Concepts White-box Testing Difficulties For multiple choices and nesting cycle of the procedure, the number of different possible paths is astronomical. cycle≤20times Different paths is 520,if the implementation time of each path is 1 ms , 3024years are needed. 3.1 Basic Concepts Why we can’t use exhaustive testing? Path exhaustive testing methods could not detect whether the procedure itself violated design specifications, whether it is a wrong procedure. Path exhaustive testing procedure can’t detect the wrong because of path omission. Path exhaustive testing can not discovery some errors associated with the data. 3.1 Basic Concepts White-box testing must follow several principles: All independent path in a module must be implemented at least once. All logic values require test two cases: true and false. Inspection procedures of internal data structure, and ensuring the effectiveness of its structure. Run all cycles within operational range. 3.2 Logic Coverage Logic coverage Statement coverage Decision coverage Condition coverage Condition/decision coverage Condition combination coverage Path coverage 3.2 Logic Coverage—Statement Coverage Statement coverage（语句覆盖） Statement coverage is to design a number of test cases, running the tested procedures, making each executable statement implement at least once. In diagram, all the executable statements are in th