Sciweavers

TACAS
2000
Springer

Using Static Analysis to Improve Automatic Test Generation

14 years 3 months ago
Using Static Analysis to Improve Automatic Test Generation
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 speci cation is simpli ed by pipelining a set of three modules, each one implementing a di erent slicing technique.
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where TACAS
Authors Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Comments (0)