Using static analysis to improve automatic test generation - IMAG Accéder directement au contenu
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2003

Using static analysis to improve automatic test generation

Marius Bozga
  • Fonction : Auteur
Jean-Claude Fernandez
  • Fonction : Auteur
Lucian Ghirvu
  • Fonction : Auteur

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.
Fichier principal
Vignette du fichier
main.pdf (340.87 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04580695 , version 1 (23-05-2024)

Identifiants

Citer

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu. Using static analysis to improve automatic test generation. International Journal on Software Tools for Technology Transfer, 2003, 4 (2), pp.142-152. ⟨10.1007/S10009-002-0098-X⟩. ⟨hal-04580695⟩
1 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More