Navegación

Búsqueda

Búsqueda avanzada

Resultados de búsqueda para pruebas de mutación

Pruebas de mutación para patrones de consultas Cypher

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.

Autores: Raquel Blanco / Claudio De La Riva / Javier Tuya / 
Palabras Clave: Cypher - modelo de defectos - Neo4j - operadores de mutación - pruebas de mutación - Pruebas sobre bases de datos orientadas a grafos

Pruebas de Mutación de APIs Web: Un Enfoque de Caja Negra

Las Interfaces de Programación de Aplicaciones (APIs) web tienen un papel clave en la integración de aplicaciones, por lo que validar su correcto funcionamiento es crucial. La mayoría de técnicas de generación de casos de prueba en este ámbito son de caja negra y suelen evaluarse con APIs sin código fuente disponible. Por ello, no es posible emplear pruebas de mutación tradicional, y no podemos cuantificar la efectividad de las pruebas si la API no expone ningún error.Este artículo propone un enfoque de caja negra para evaluar la capacidad de detección de errores de las pruebas para APIs web: en lugar de crear variantes defectuosas del código del programa (pruebas de mutación tradicionales), se crean mutantes de las salidas del programa (respuestas HTTP). JSONMutator es la herramienta implementada para llevar a cabo estas mutaciones. Los oráculos de pruebas se aplican sobre dichos mutantes y, a medida que las pruebas fallan, la cobertura de mutación aumenta. Experimentos preliminares sugieren que la herramienta es efectiva para crear mutantes a partir de la salida de APIs web y que existe correlación entre la cobertura de mutación de caja negra y caja blanca.

Autores: Ana B. Sánchez / Alberto Martin-Lopez / Sergio Segura / Antonio Ruiz-Cortés / 
Palabras Clave: APIs Web - JSON - pruebas de mutación

Pruebas de Mutación de Caja Negra para APIs Web

Las Interfaces de Programación de Aplicaciones (APIs) web desempeñan un papel clave en la integración de aplicaciones, por lo que validar su correcto funcionamiento resulta crucial. La mayoría de técnicas de generación de casos de prueba en este ámbito son de caja negra y con frecuencia se evalúan con APIs para las que no se dispone del código fuente. En este escenario, no es posible emplear pruebas de mutación tradicionales, por lo que no es posible cuantificar la efectividad de las pruebas si la API no expone ningún error. En este artículo, proponemos un enfoque de caja negra para evaluar la capacidad de detección de errores de las suites de pruebas para APIs web: en lugar de crear variantes defectuosas del código del programa (API), como en las pruebas de mutación tradicionales, se crean mutantes de las salidas del programa (respuestas HTTP). Los oráculos de pruebas se aplican sobre dichos mutantes y, a medida que las pruebas fallan, la cobertura de mutación aumenta. Experimentos preliminares sugieren que existe correlación entre la cobertura de mutación de caja negra y caja blanca.

Autores: Ana B. Sánchez / Alberto Martín-López / Sergio Segura / Antonio Ruiz-Cortés / 
Palabras Clave: APIs Web - JSON - pruebas de mutación

Mejora de la legibilidad en la generación de casos de prueba mediante búsqueda interactiva

La generación de pruebas es una actividad costosa pero a la vez imprescindible para aumentar la calidad de los proyectos software. Las herramientas de pruebas automatizadas basadas en los principios de la búsqueda evolutiva aún presentan limitaciones a la hora de encontrar fallos en sistemas reales, as+AO0 como en la obtención de código entendible para un ingeniero de pruebas. El uso de enfoques interactivos puede ayudar a paliar estas limitaciones, pues permiten incluir conocimiento y habilidades humanas en la búsqueda. En este trabajo presentamos las posibilidades que la interacción ofrece a la generación automática de casos de prueba, proponiendo un algoritmo evolutivo interactivo capaz de integrar la evaluación del ingeniero de pruebas respecto a la legibilidad de los casos de prueba. Una comparativa inicial frente a la versión no interactiva del algoritmo evidencia que la inclusión de interacción favorece la generación de conjuntos de pruebas más legibles, sin perjudicar la cobertura alcanzada. Fruto de este primer experimento, basado en interacción simulada, planteamos una serie de retos relacionados con el diseño y validación real de algoritmos evolutivos interactivos en el contexto de la generación de pruebas.

Autores: Pedro Delgado-Pérez / Aurora Ramírez / Kevin J. Valle-Gómez / Inmaculada Medina-Bulo / José Raúl Romero / 
Palabras Clave: generación de pruebas - ingeniería del software basada en búsqueda interactiva - pruebas de mutación - pruebas software

Definición de Operadores de Mutación para Sistemas de Información Geográfica

Este artículo presenta la definición de un conjunto de operadores de mutación que reproducen errores probables que pueden ocurrir durante el desarrollo de Sistemas de Información Geográfica. Estos operadores fueron definidos a partir de errores que se identificaron analizando las tecnologías más usadas para implementar este tipo de aplicaciones. Para la creación de los operadores implementamos un prototipo basado en programación orientada a aspectos. Finalmente evaluamos su uso simulando estos errores en dos aplicaciones reales.

Autores: Suilen H. Alvarado / Ignacio García Rodríguez de Guzmán / Miguel R. Luaces / Oscar Pedreira / Ángeles S. Places / Macario Polo / 
Palabras Clave: operadores de mutación - pruebas de mutación - Sistemas de Informacíon Geográfica

No encuentra los resultados que busca? Prueba nuestra Búsqueda avanzada