Resumen

Las pruebas negativas abordan el importante problema de evaluar la capacidad de un sistema para hacer frente a situaciones inesperadas. Estas situaciones, si no se gestionan, pueden provocar fallos en el sistema que, en algunos casos, pueden tener consecuencias catastróficas. Este artículo presenta un enfoque basado en pruebas de mutación para la generación de casos de prueba que soporten pruebas negativas. La aplicación de este enfoque puede proporcionar, de forma sistemática y sin sesgo humano, casos de prueba que comprueben eficazmente una amplia gama de situaciones inesperadas. Así, puede contribuir a mejorar un sistema probado. El artículo define formalmente los operadores de mutación utilizados para controlar el proceso de generación, describe un marco genérico para la generación y ejecución de los casos de prueba y explica cómo interpretar los resultados.

• Materias:Electroquímica Corriente dinámica híbrida Termomecánica Sistemas ciberfísicos
• Subjects:Electrochemistry Hybrid dynamic current Thermomechanics Cyber-physical systems
• Palabras claves:casos de prueba, situaciones inesperadas, Ofertas de pruebas negativas, enfoque, generación, documento, Tales situaciones, consecuencias catastróficas, proceso de generación, marco genérico
• Keywords:test cases, unexpected situations, Negative testing deals, approach, generation, paper, Such situations, catastrophic consequences, generation process, generic framework