Un entorno de pruebas de mutación en Eclipse

Abstract

Una técnica para medir la efectividad de un conjunto de casos de prueba y ayudar a mejorarlo son las pruebas de mutación. En las pruebas de este tipo, se insertan fallos en un programa para obtener distintas versiones erróneas del mismo. Al error introducido en el programa se le denomina mutación y a las nuevas versiones del programa inicial se les llama mutantes, y se utilizan para comprobar si, dado un conjunto de casos de prueba, éste es capaz de detectar los fallos introducidos en cada mutante. En caso de no detectarlos, el desarrollador debe proporcionar nuevos casos de prueba que detecten los mutantes creados, mejorando de este modo la calidad del conjunto de casos de prueba inicial. El objetivo de este Trabajo de Fin de Grado es construir una herramienta de mutación que genere de forma automática mutantes de un programa escrito en el lenguaje ATL (Atlas Transformation Language), para posteriormente poder medir la eficacia del conjunto de casos de prueba diseñado para probar el programa. ATL es un lenguaje de programación para definir transformaciones de modelos, que son un tipo de programa software cuyos argumentos de entrada y salida son modelos. Se utilizan dentro del paradigma de Desarrollo Dirigido por Modelos, que es un método de desarrollo de software en el que los datos que se manejan son modelos. Las mutaciones que se generan y describen en el presente trabajo están orientadas a este tipo de software.

Mutation testing is a technique to measure the efficacy of a set of test cases and help to improve it. On this kind of testing, faults are injected into a program to get faulty versions of it. Errors introduced in the program are called mutations and the new versions of the original program are called mutants, and they are used to check whether, given a set of test cases, this is able to detect the faults introduced in each mutant. If they are not detected, the developer must provide new test cases that detect the created mutants, thus improving the overall quality of the initial test set. The objective of this Bachelor’s Project is to build a mutation tool to generate automatically mutants of a program written with the ATL language (Atlas Transformation Language), and measure the efficacy of a set of test cases designed for testing the program. ATL is a programming language to implement model transformations, which are programs whose input and output arguments are models. They are used in the context of Model Driven Development, which is a software development method where the manipulated data are models. The mutations generated and described on this work are oriented to this kind of software.