Using Static Analysis To Improve Automatic Test Generation - Archive ouverte HAL Access content directly
Conference Papers Year : 2000

Using Static Analysis To Improve Automatic Test Generation

Marius Bozga
Constantin Lucian Ghirvu
  • Function : Author

Abstract

Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hindered by the state explosion problem. Our method reduces its magnitude by reconsidering the test case generation at a higher level and by taking advantage of some static analysis techniques, in particular the slicing techniques. The specification is simplified by pipelining a set of three modules, each one implementing a different slicing technique.
Fichier principal
Vignette du fichier
tacas00.pdf (300.1 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00369360 , version 1 (19-03-2009)

Identifiers

Cite

Marius Bozga, Jean-Claude Fernandez, Constantin Lucian Ghirvu. Using Static Analysis To Improve Automatic Test Generation. Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000, Mar 2000, Berlin, Germany. pp.235-250, ⟨10.1007/3-540-46419-0⟩. ⟨hal-00369360⟩
209 View
137 Download

Altmetric

Share

Gmail Facebook X LinkedIn More