Diseño y evaluación de operadores de mutación para el lenguaje AsmetaL MuAsmetaL
-
- Spanisch ausgewählt
Fr. 81.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
21.12.2025
Verlag
Ediciones Nuestro ConocimientoSeitenzahl
116
Maße (L/B/H)
22/15/0.7 cm
Gewicht
191 g
Sprache
Spanisch
ISBN
978-620-9-34946-1
La detección de errores en las especificaciones puede ayudar a reducir el coste y el riesgo del desarrollo de software, ya que los defectos no corregidos en las especificaciones se propagarán al código, lo que afectará negativamente a la calidad del producto final. Las pruebas de mutación son una técnica bien establecida basada en fallos para evaluar y mejorar la calidad de los conjuntos de pruebas. Las pruebas de mutación pueden aplicarse a diferentes niveles de abstracción, por ejemplo, el nivel de unidad, el nivel de integración y el nivel de especificación. En este libro se propone un conjunto de operadores de mutación específicos de AsmetaL, clasificados en cuatro categorías. Los operadores propuestos se utilizan para evaluar la adecuación de los conjuntos de pruebas generados con la herramienta ATGT, de acuerdo con diversos criterios de cobertura de pruebas. Se demuestra la aplicabilidad del enfoque propuesto a través de casos prácticos de AsmetaL.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung