Using static analysis to improve automatic test generation
Résumé
Conformance testing is still the main industrial validation technique for telecommunication protocols. In practice, the automatic construction of test cases based on finite-state models is hindered by the state explosion problem. We try to reduce its magnitude by using static analysis techniques in order to obtain smaller but equivalent models.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|