Showing papers by "Nicolae Goga published in 2002"

Test Selection, Trace Distance and Heuristics

Abstract: Two heuristic principles for test selection are proposed: the reduction heuristic and the cycling heuristic. The first assumes that few outgoing transitions of a state show essentially different behaviour. The second assumes that the probability to detect erroneous behaviour in a loop decreases after each correct execution of the loop behaviour. We formalize these heuristic principles and we define a coverage function which serves as a measure for the error-detecting capability of a test suite. For this purpose we introduce the notion of a marked trace and a distance function on such marked traces.