Automatic generation of symbolic test purposes
Résumé
We present a technique dedicated to compute automatically sets of test purposes from IOSTS specification. A coverage criterion, namely the inclusion criterion, is defined. Inclusion criterion is dedicated to decide whether set of test purposes are sufficiently complete or not. Test case generation is then studied.