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 .

Keywords: Software verification and validation; test generation; test execution; static analysis; constraint solving; tool comparison

Domains: Computer Science [cs]; Embedded Systems

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⟩