July 12, 1999
Tivoli, Rome
10
Component
Interface
Methods:
m1, m2, …,mk
Exceptions:
e1, e2, …,ek
Test
Adequacy Criteria
100% Method Coverage
# methods executed
# methods defined
100% Exception Coverage
# exceptions raised
# exceptions defined
100% iMutation Score
# distinguished mutants
total # imutants - #equivalent imutants
Proposed Test Adequacy Criteria