Publication: Marco de pruebas de mutación de disparadores en PostgreSQL
Loading...
Official URL
Full text at PDC
Publication Date
2021-09-25
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Exportar
Abstract
El uso de las pruebas de mutación ha acaparado mucha atención durante las últimas décadas como técnica para determinar la calidad de los conjuntos de pruebas utilizados durante el proceso de validación de sistemas. Las pruebas de mutación se basan en la incorporación de pequeños cambios sintácticos en el código para simular fallos que programadores experimentados podrían realizar durante la fase de desarrollo o de mantenimiento del sistema. En este trabajo se ha desarrollado un marco de pruebas de mutación para disparadores dentro del ámbito de las bases de datos. En este contexto, los disparadores son fragmentos de código que se ejecutan automáticamente cuando se producen determinadas acciones sobre las tablas a las que se encuentran asociados. Por una parte se ha definido un conjunto de operadores de mutación sobre cláusulas específicas de estos objetos. Por otra parte se ha automatizado la aplicación de la técnica de pruebas de mutación a disparadores diseñados en PostgreSQL. La herramienta desarrollada permite evaluar la calidad de diferentes conjuntos de pruebas para detectar los errores inducidos por los operadores de mutación así como compararlos.
In the last decades the use of mutation tests has been playing a very important role in determining the quality of the test cases used during the system validation process. Mutation testing consists of inserting small syntactic changes into the code to simulate some bugs that experienced programmers might make during the development or maintenance phase of a system. In this work, a set of mutation tests for triggers has been done within the scope of databases. In this scenario, triggers are snippets of code which are automatically executed when certain actions occur on the tables to which they are asociated. On the one hand, a group of mutation operators has been defined on specific clauses of these objects. On the other hand, the application of the mutation testing technique to triggers has been automated to be used in PostgreSQL. The tool created allows us to evaluate the quality of different test cases to detect the errors caused by the mutation operators as well as to compare them.
In the last decades the use of mutation tests has been playing a very important role in determining the quality of the test cases used during the system validation process. Mutation testing consists of inserting small syntactic changes into the code to simulate some bugs that experienced programmers might make during the development or maintenance phase of a system. In this work, a set of mutation tests for triggers has been done within the scope of databases. In this scenario, triggers are snippets of code which are automatically executed when certain actions occur on the tables to which they are asociated. On the one hand, a group of mutation operators has been defined on specific clauses of these objects. On the other hand, the application of the mutation testing technique to triggers has been automated to be used in PostgreSQL. The tool created allows us to evaluate the quality of different test cases to detect the errors caused by the mutation operators as well as to compare them.
Description
Trabajo Fin Máster en Ingeniería Informática, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación, Curso 2020/2021.