软件工程实践者研究chaptercn传统软件测试.pptVIP

These slides are designed to accompany Software Engineering: A Practitioner’s Approach, 7/e (McGraw-Hill 2009). Slides copyright 2009 by Roger Pressman. * Data Flow Testing The data flow testing method [Fra93] selects test paths of a program according to the locations of definitions and uses of variables in the program. Assume that each statement in a program is assigned a unique statement number and that each function does not modify its parameters or global variables. For a statement with S as its statement number DEF(S) = {X | statement S contains a definition of X} USE(S) = {X | statement S contains a use of X} A definition-use (DU) chain of variable X is of the form [X, S, S], where S and S are statement numbers, X is in DEF(S) and USE(S), and the definition of X in statement S is live at statement S These slides are designed to accompany Software Engineering: A Practitioner’s Approach, 7/e (McGraw-Hill 2009). Slides copyright 2009 by Roger Pressman. * Loop Testing Nested Loops Concatenated Loops Unstructured Loops Simple loop These slides are designed to accompany Software Engineering: A Practitioner’s Approach, 7/e (McGraw-Hill 2009). Slides copyright 2009 by Roger Pressman. * Loop Testing: Simple Loops Minimum conditions—Simple Loops 1. skip the loop entirely 2. only one pass through the loop 3. two passes through the loop 4. m passes through the loop m n 5. (n-1), n, and (n+1) passes through the loop where n is the maximum number of allowable passes These slides are designed to accompany Software Engineering: A Practitioner’s Approach, 7/e (McGraw-Hill 2009). Slides copyright 2009 by Roger Pressman. * Loop Testing: Nested Loops Start at the innermost loop. Set all outer loops to their minimum iteration parameter values. Test the min+1, typical, max-1 and max for the innermost loop, while holding the outer loops at their minimum values. Move out one loop and set it up as in step 2, holding all other