Eiffel Mutation Testing Tool

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