Software Factory Testing Tools: an Analysis Framework

Emmanuel Ledinot (1) , Michel Nakhlé (2) , Philippe Robin

1 Dassault Aviation
2 C-S - Concepteur, intégrateur et opérateur de systèmes critiques

This paper compares seven tools devoted to software verification and validation that are being developed by several participants of MoDriVal project 1 .

Mots clés: Software verification and validation; test generation; test execution; static analysis; constraint solving; tool comparison

Domaines: Informatique [cs]; Systèmes embarqués

Emmanuel Ledinot, Michel Nakhlé, Philippe Robin. Software Factory Testing Tools: an Analysis Framework. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France. ⟨insu-02270104⟩