Mutación de expresiones de navegación para testing y reparación

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018.Evaluar la calidad de un conjunto de tests con respecto a su capacidad de detectar potenciales bugs representa un área muy importante en la ingeniería de software. Métricas indirectas para la medición de este potencial incluyen coberturas de código (sentencias, ramas, decisiones, etc) y cobertura de clases de equivalencia sobre las entradas. Mutation testing es una de las métricas que mejor evalúa el potencial de detección de bugs de una test suite, ya que se basa en el uso de fallas artificiales para realizar la evaluación. Los operadores de mutación utilizados, es decir, las funciones que generan las distintas fallas artificiales, tienen un impacto directo en la precisión de la evaluación. En este trabajo se presenta un nuevo operador de mutación, orientado a fallas en lenguajes de programación orientada a objetos, específicamente a la mutación de expresiones de navegación. Este operador, llamado PRVO, es evaluado en el contexto de mutation testing y reparación automática de programas.Evaluating the quality of a tests set with respect to their ability to detect software defects constitutes a main problem in software engineering. Some indirect metrics for the measurement of a test suite quality includes code coverage (sentences, branches, decisions, etc.) and software's inputs space partition coverage. Mutation testing, which is based on the use of artificial defects, is one of the metrics that best evaluates the potential for bugs detection of a test suite. The mutation operators used, i.e. the functions that generate the various artificial defects, have a direct impact on the evaluation's accuracy. In this work we present a new mutation operator, oriented to generate defects related found in object oriented programming languages, specifically the mutation of navigational expressions. This operator, called PRVO, is evaluated in the context of mutation testing and automatic program repair.Fil: Gutiérrez Brida, Simón Emmanuel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina