Using Static Analysis To Improve Automatic Test Generation

Marius Bozga (1) , Jean-Claude Fernandez (2) , Constantin Lucian Ghirvu (1)

1 VERIMAG - IMAG - VERIMAG
2 LSR - IMAG - Laboratoire Logiciels Systèmes Réseaux

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.

Mots clés: conformance testing; static analysis; slicing; automatic test generation

Domaines: Systèmes embarqués

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⟩