Foundations of Software Testing: Fundamental Algorithms and Techniques

Test Adequacy Assessment

An ordered data context ODC(k) for node n is considered covered when

all elementary data contexts in ODC(k) are covered.

Given a test set T for program P subject to requirements R, formal

definitions of test adequacy with respect to data context and ordered

data context coverage are as follow:

Elementary data context coverage

Given a program P subject to requirements R, and having a data-flow

graph containing n nodes, the data context coverage of T with respect

to (P, R) is computed as:

EDC

c

(EDC − EDC

i

)

where EDC is the number of elementary data contexts in P, EDC

c

is the number of elementary data contexts covered, and EDC

i

is the ...