Team Cassis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Software

Keywords : Test generation, CLP, Formal Specification, Animation of Specifications.

Testing Tools

Participants : Fabrice Bouquet, Frédéric Dadeau.

The Testing Tools is a tool-set for animation and test generation from B, JML, Z and State-chart specifications. It consists of two components:

We develop a third tool Test-For-Testing-Toolsto valid the tests. The tool takes as input a code program and a test suite (realized by several approaches such as BZ-TT/random/properties driven tests). The system performs a mutation of the code program and we observe how many mutants are killed with each test suite.


previous
next

Logo Inria