Test Adequacy Assessment Flashcards
A criterion C is a ____ test adequacy criterion if the corresponding coverage domain Ce depends solely on requirements R for the program P under test
Black-box
A criterion C is a ____ test adequacy criterion if the corresponding coverage domain Ce depends solely on program P under test
White-box
Given that Ce has n >= 0 elements, we say that T ____ Ce if for each element e’ in Ce there is at least one test case in T that tests e’
Covers
T is considered ____ with respect to C if it covers all elements in the coverage domain
Adequate
T is considered ____ with respect to C if it covers k elements of Ce where k < n
Inadequate
The fraction k/n is known as the ____ of T with respect to C, P, and R
Coverage
In case the program contains a loop, then it is adequate to traverse the loop body zero times and once
Modified Path Coverage Criterion
An element of the coverage domain is ____ if it cannot be covered by any test in the input domain of the program under test
Infeasible
T/F An algorithm exists that would analyze a given program and determine if a given element in the coverage domain is infeasible or not
F, no such algorithm exists
T/F It is usually the tester who determines whether or not an element of the coverage domain is infeasible
T
T/F Feasibility can be demonstrated by executing the
program under test against a test case and showing
that the element under consideration is covered
T
T/F Infeasibility can be demonstrated by program
execution against a finite number of test cases
F, it cannot
T/F An attempt to enhance a test set by executing a test t aimed at covering element e of program P may fail
T
A ____ C is considered infeasible for predicate pr if there exists no input values for the variables in pr that satisfy C
Constraint
T/F Infeasibility is the same as reachability
F