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.
Main Author: | |
---|---|
Other Authors: | |
Format: | info:eu-repo/semantics/publishedVersion |
Language: | spa |
Published: |
2020
|
Subjects: | |
Online Access: | http://hdl.handle.net/11086/14590 |
_version_ | 1801215537205739520 |
---|---|
author | Gutiérrez Brida, Simón Emmanuel |
author2 | Aguirre, Nazareno Matías |
author_facet | Aguirre, Nazareno Matías Gutiérrez Brida, Simón Emmanuel |
author_sort | Gutiérrez Brida, Simón Emmanuel |
collection | Repositorio Digital Universitario |
description | 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. |
format | info:eu-repo/semantics/publishedVersion |
id | rdu-unc.14590 |
institution | Universidad Nacional de Cordoba |
language | spa |
publishDate | 2020 |
record_format | dspace |
spelling | rdu-unc.145902023-12-13T19:24:53Z Mutación de expresiones de navegación para testing y reparación Gutiérrez Brida, Simón Emmanuel Aguirre, Nazareno Matías Ingeniería de software Operadores de mutación Expresiones de navegación Reparación de programas Software verification and validation Software testing and debugging Software defect analysis Software and its engineering 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. info:eu-repo/semantics/publishedVersion Fil: Gutiérrez Brida, Simón Emmanuel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. 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. info:eu-repo/semantics/publishedVersion Fil: Gutiérrez Brida, Simón Emmanuel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. 2020-02-04T19:40:20Z 2020-02-04T19:40:20Z 2018-11 doctoralThesis http://hdl.handle.net/11086/14590 spa Atribución-NoComercial-CompartirIgual 4.0 Internacional http://creativecommons.org/licenses/by-nc-sa/4.0/ |
spellingShingle | Ingeniería de software Operadores de mutación Expresiones de navegación Reparación de programas Software verification and validation Software testing and debugging Software defect analysis Software and its engineering Gutiérrez Brida, Simón Emmanuel Mutación de expresiones de navegación para testing y reparación |
title | Mutación de expresiones de navegación para testing y reparación |
title_full | Mutación de expresiones de navegación para testing y reparación |
title_fullStr | Mutación de expresiones de navegación para testing y reparación |
title_full_unstemmed | Mutación de expresiones de navegación para testing y reparación |
title_short | Mutación de expresiones de navegación para testing y reparación |
title_sort | mutacion de expresiones de navegacion para testing y reparacion |
topic | Ingeniería de software Operadores de mutación Expresiones de navegación Reparación de programas Software verification and validation Software testing and debugging Software defect analysis Software and its engineering |
url | http://hdl.handle.net/11086/14590 |
work_keys_str_mv | AT gutierrezbridasimonemmanuel mutaciondeexpresionesdenavegacionparatestingyreparacion |