Some Issues on Testing Theory and its Applications
Ana Rosa Cavalli, Marc Phalippou · 1995
This paper presents a summary of some issues that appear to be relevant to testing theory and its applications. These issues are linked to formal methods used for test derivation, to the semantic models chosen to represent these specifications, and to the appropriate techniques needed for selecting a reasonable test effort. A discussion is presented in a polemical fashion trying to illustrate the problems related to the translation of one model into another, to non deterministic and partially specified systems, to the size of the specifications and test suites and the ways to reduce them.