Difference between revisions of "Eiffel Mutation Testing Tool"
| Line 9: | Line 9: | ||
== Goals == | == Goals == | ||
| − | We aim to implement a | + | We aim to implement a completely automatic Eiffel mutation testing tool. |
== Steps == | == Steps == | ||
| Line 24: | Line 24: | ||
== Team == | == Team == | ||
Philippe Masson | Philippe Masson | ||
| + | |||
Silvio Kohler | Silvio Kohler | ||
Revision as of 01:15, 23 November 2006
Contents
Overview
The whole goal of Eiffel mutation testing tool is:
- Defining a set of efficient Eiffel mutation operators
- Implementing these mutation operators
- Executing test cases on mutants to evaluate their quality
This tool is mainly used for evaluating the quality of test strategies, especially the evaluation of fault detectablity and redundance.
Goals
We aim to implement a completely automatic Eiffel mutation testing tool.
Steps
- Instrument Eiffel source code to generate mutant schema file
- Create mutant objects from mutant schema file and execute test cases on mutants to calculate the mutation score of test cases
Milestones
Todo
Team
Philippe Masson
Silvio Kohler
