创业管理（李雪灵）part 2-whitebox资料教程.ppt

;Static White-Box Testing: Examining the Design and Code;Formal Reviews;Formal Reviews;Formal Reviews;Formal Reviews;Formal Reviews;Coding Standards and Guidelines ;Coding Standards and Guidelines;;Coding Standards and Guidelines;Generic Code Review Checklist;Generic Code Review Checklist;Generic Code Review Checklist;Generic Code Review Checklist;Generic Code Review Checklist;Generic Code Review Checklist;Generic Code Review Checklist;Generic Code Review Checklist;Generic Code Review Checklist;Generic Code Review Checklist;Generic Code Review Checklist;Part II: Testing Fundamentals ;Contents;Data flow coverage;Dynamic White-Box Testing;Dynamic White-Box Testing;Dynamic White-Box Testing;Dynamic White-Box Testing Versus Debugging;Test adequacy;Suppose now that a set T containing k tests has been constructed to test P to determine whether or not it meets all the requirements in R . Also, P has been executed against each test in T and has produced correct behavior.; Adequacy is measured for a given test set designed to test P to determine whether or not P meets its requirements. ;Program sumProduct must meet the following requirements:;Suppose now that the test adequacy criterion C is specified as:;For each adequacy criterion C , we derive a finite set known as the coverage domain and denoted as Ce . ;We want to measure the adequacy of T. Given that Ce has n? 0 elements, we say that T covers Ce if for each element e in Ce there is at least one test case in T that tests e. The notion of “tests” is explained later through examples. ;Let us again consider the following criterion: “A test T for program ( P, R ) is considered adequate if for each requirement r in R there is at least one test case in T that tests the correctness of P with respect to r.”;Consider the following criterion: “A test T for program ( P, R ) is considered adequate if each path in P is traversed at least once.”;To measure the adequacy of T