Data Flow Testing in the Presence of Unexecutable Paths
Data Flow Testing in the Presence of Unexecutable Paths
Phyllis G Frankl
The book Data Flow Testing in the Presence of Unexecutable Paths was written by author Phyllis G Frankl Here you can read free online of Data Flow Testing in the Presence of Unexecutable Paths book, rate and share your impressions in comments. If you don't know what to write, just answer the question: Why is Data Flow Testing in the Presence of Unexecutable Paths a good or bad book?
What reading level is Data Flow Testing in the Presence of Unexecutable Paths book?
To quickly assess the difficulty of the text, read a short excerpt:
The FDF criteria satisfy the applicability property: For any subprogram P and any FDF criterion C*, there is some (possibly empty) test T which satisfies C*. However, the question of whether a particular T satisfies C for subprogram P is undecidable. In going from the family DF to the family FDF, we have traded the undecidability of the existence question, "is there any test which is C- adequate for P?" for the undecidability of the recognition problem "is a given test C-adequate for P?" Observ...e that for any DF criterion C, C => C*. We now investigate the inclusion relations ALL-PATHS ALL-DU-PATHS ALL-USES ALL-C-USES/ SOME-P-USES ALL-PUSES/ SOME-C-USES ALL- DEFS ALL-P-USES ALL-EDGES ALL-NODES Figure 4 8 THE FEASIBLE DATA FLOW TESTING CRITERIA fdcu(x, i) = {]■ € dcu(x, i) | the association (i, j, x) is executable} fdpu(x, i) = {(j, k) i dpu(x, i) | the association (i, (j, k), x) is executable} Test T satisfies criterion C for subprogram P if for each node i and each x € def(i) the set ^of paths executed by T covers the following associations: CRITERION (all-defs)* REQUIRED ASSOCIATIONS if fdcu(x, i) U fdpu(x, i) * ({> then some (i, j, x) s.
User Reviews: