Pruebas de mutación para patrones de consultas Cypher

Abstract

Probar aplicaciones que acceden a la base de datos orientada a grafos Neo4j utilizando su lenguaje de consulta Cypher supone nuevos retos debido a sus características distintivas respecto a una base de datos relacional. En este trabajo se definen un conjunto de operadores de mutación diseñados a partir de un modelo de defectos, que considera una tipología de defectos derivada de los patrones de las consultas Cypher. Además de operadores de mutación sintácticos, se han elaborado operadores de mutación semánticos, que utilizan la información de un modelo conceptual para generar los mutantes.