Técnicas combinatorias y de mutación para testing de sistemas software - Beatriz Pérez Lamancha

. .

Résumé :
Las pruebas de software son un elemento fundamental para garantizar la calidad de los sistemas que se construyen. Sin embargo, es frecuente que tanto los gestores como los desarrolladores, presionados por los p lazos de entrega, no las ejecuten con la suficiente profundidad y no s e detecten errores que, a la hora de pasar el sistema a producci?n, ev idencien problemas con los usuarios. En la literatura t?cnica y en tod os los planes de estudio de Inform?tica se incluyen una serie de t?cni cas de prueba bien conocidas (clases de equivalencia, valores l?mite, etc.). Adem?s de recordar estos conceptos, este libro describe con pro fundidad estrategias combinatorias para testing, presentando ejercicio s y dando al texto un enfoque muy pr?ctico y claro, con la finalidad d e que sus contenidos puedan ser aplicados con facilidad. En una segund a parte del libro se describen las pruebas mediante mutaci?n que, dura nte a?os, han sido objeto de investigaci?n pero que, ahora, se revelan ya como una t?cnica muy ?til aplicable a nivel industrial. El libro r esultar? de utilidad tanto para gestores, desarrolladores y equipos de testers, que podr?n repasar y actualizar sus conocimientos, si bien e s tambi?n especialmente adecuado como texto para las asignaturas de in genier?a de software.AUTORES PREFACIO PR?LOGO CAP?TULO 1. CONCEPTOS FUNDAMENTALES 1.1 IMPOSIBILIDAD DE LAS PRUEBAS EXHAUSTIVAS 1.2 ERROR, DEFECTO O FALTA Y FALLO 1.3 CASO DE PRUEBA 1.4 OBJETIVO DE LAS PRUEBAS CAP?TULO 2. NIVELES DE PRUEBA 2.1 PRUEBAS DE CAJA NEGRA 2.2 PRUEBAS E STRUCTURALES O DE CAJA BLANCA 2.3 PRUEBAS UNITARIAS 2.4 PRUEBAS DE INT EGRACI?N 2.5 PRUEBAS DE SISTEMA 2.6 EJERCICIOS CAP?TULO 3. CRITERIOS D E COBERTURA PARA ARTEFACTOS SOFTWARE 3.1 CRITERIOS DE COBERTURA 3.2 UT ILIDAD DE LOS CRITERIOS DE COBERTURA 3.3 UN POSIBLE MODELO DE TRABAJO 3.4 CRITERIOS DE COBERTURA PARA C?DIGO FUENTE 3.4.1 Cobertura de sente ncias 3.4.2 Cobertura de decisiones, de ramas o de todos los arcos 3.4 .3 Cobertura de condiciones 3.4.4 Cobertura de condiciones/decisiones (Decision/Condition coverage o DCC) 3.4.5 Cobertura m?ltiple de condic iones (Multiple Condition Coverage, MCC) 3.4.6 Cobertura modificada de condiciones/decisiones (Modified Condition/ Decision Coverage, MC/DC 3.5 CRITERIOS DE COBERTURA PARA M?QUINAS DE ESTADO 3.5.1 Cobertura de estados 3.5.2 Cobertura de transiciones 3.5.3 Cobertura de pares de tr ansiciones 3.5.4 Cobertura de secuencia completa 3.6 EJERCICIOS CAP?TU LO 4. VALORES DE PRUEBA 4.1 CLASES O PARTICIONES DE EQUIVALENCIA 4.2 V ALORES L?MITE (BOUNDARY VALUES) 4.3 CONJETURA DE ERRORES (ERROR-GUESSI NG) 4.4 APLICACI?N DE LAS T?CNICAS AL CONJUNTO DE DATOS DE SALIDA 4.5 CRITERIOS DE COBERTURA PARA VALORES DE PRUEBA 4.5.1 Cada uso (each use ) 4.5.2 Todos los pares (pairwise) 4.5.3 Todas las tuplas de n element os (n-wise) 4.6 EJERCICIOS CAP?TULO 5. ESTRATEGIAS DE COMBINACI?N PARA LA OBTENCI?N DE CASOS DE PRUEBA 5.1 ESTRUCTURA DE UN CASO DE PRUEBA 5 .1.1 Ejemplo 5.2 EL OR?CULO 5.2.1 Obtenci?n de casos de prueba con or? culos a partir de m?quinas de estado 5.3 ESTRATEGIAS DE COMBINACI?N 5. 3.1 Todas las combinaciones (All combinations) 5.3.2 Cada elecci?n (Ea ch choice) 5.3.3 AETG (Automatic Efficient Test Generator) 5.3.4 PROW (Pairwise with Restrictions, Order and Weight) 5.3.5 Antirandom 5.3.6 Algoritmo del peine (Comb) 5.3.7 Algoritmos aleatorios 5.4 CTWEB, UNA APLICACI?N WEB PARA TESTING COMBINATORIO 5.5 EJERCICIOS CAP?TULO 6. PR UEBAS MEDIANTE MUTACI?N 6.1 CONCEPTOS IMPORTANTES 6.2 OPERADORES DE MU TACI?N 6.3 PRINCIPIOS DE LA MUTACI?N 6.4 EL PROCESO DE PRUEBAS UTILIZA NDO MUTACI?N 6.5 T?CNICAS DE REDUCCI?N DE COSTES EN EL TESTING CON MUT ACI?N 6.5.1 Reducci?n de costes en la generaci?n de mutantes 6.5.2 Red ucci?n de costes en la ejecuci?n 6.5.3 Reducci?n de cost...

Sommaire:
Las pruebas de software son un elemento fundamental para garantizar la calidad de los sistemas que se construyen. Sin embargo, es frecuente que tanto los gestores como los desarrolladores, presionados por los p lazos de entrega, no las ejecuten con la suficiente profundidad y no s e detecten errores que, a la hora de pasar el sistema a producci?n, ev idencien problemas con los usuarios. En la literatura t?cnica y en tod os los planes de estudio de Inform?tica se incluyen una serie de t?cni cas de prueba bien conocidas (clases de equivalencia, valores l?mite, etc.). Adem?s de recordar estos conceptos, este libro describe con pro fundidad estrategias combinatorias para testing, presentando ejercicio s y dando al texto un enfoque muy pr?ctico y claro, con la finalidad d e que sus contenidos puedan ser aplicados con facilidad. En una segund a parte del libro se describen las pruebas mediante mutaci?n que, dura nte a?os, han sido objeto de investigaci?n pero que, ahora, se revelan ya como una t?cnica muy ?til aplicable a nivel industrial. El libro r esultar? de utilidad tanto para gestores, desarrolladores y equipos de testers, que podr?n repasar y actualizar sus conocimientos, si bien e s tambi?n especialmente adecuado como texto para las asignaturas de in genier?a de software.AUTORES PREFACIO PR?LOGO CAP?TULO 1. CONCEPTOS FUNDAMENTALES 1.1 IMPOSIBILIDAD DE LAS PRUEBAS EXHAUSTIVAS 1.2 ERROR, DEFECTO O FALTA Y FALLO 1.3 CASO DE PRUEBA 1.4 OBJETIVO DE LAS PRUEBAS CAP?TULO 2. NIVELES DE PRUEBA 2.1 PRUEBAS DE CAJA NEGRA 2.2 PRUEBAS E STRUCTURALES O DE CAJA BLANCA 2.3 PRUEBAS UNITARIAS 2.4 PRUEBAS DE INT EGRACI?N 2.5 PRUEBAS DE SISTEMA 2.6 EJERCICIOS CAP?TULO 3. CRITERIOS D E COBERTURA PARA ARTEFACTOS SOFTWARE 3.1 CRITERIOS DE COBERTURA 3.2 UT ILIDAD DE LOS CRITERIOS DE COBERTURA 3.3 UN POSIBLE MODELO DE TRABAJO 3.4 CRITERIOS DE COBERTURA PARA C?DIGO FUENTE 3.4.1 Cobertura de sente ncias 3.4.2 Cobertura de decisiones, de ramas o de todos los arcos 3.4 .3 Cobertura de condiciones 3.4.4 Cobertura de condiciones/decisiones (Decision/Condition coverage o DCC) 3.4.5 Cobertura m?ltiple de condic iones (Multiple Condition Coverage, MCC) 3.4.6 Cobertura modificada de condiciones/decisiones (Modified Condition/ Decision Coverage, MC/DC 3.5 CRITERIOS DE COBERTURA PARA M?QUINAS DE ESTADO 3.5.1 Cobertura de estados 3.5.2 Cobertura de transiciones 3.5.3 Cobertura de pares de tr ansiciones 3.5.4 Cobertura de secuencia completa 3.6 EJERCICIOS CAP?TU LO 4. VALORES DE PRUEBA 4.1 CLASES O PARTICIONES DE EQUIVALENCIA 4.2 V ALORES L?MITE (BOUNDARY VALUES) 4.3 CONJETURA DE ERRORES (ERROR-GUESSI NG) 4.4 APLICACI?N DE LAS T?CNICAS AL CONJUNTO DE DATOS DE SALIDA 4.5 CRITERIOS DE COBERTURA PARA VALORES DE PRUEBA 4.5.1 Cada uso (each use ) 4.5.2 Todos los pares (pairwise) 4.5.3 Todas las tuplas de n element os (n-wise) 4.6 EJERCICIOS CAP?TULO 5. ESTRATEGIAS DE COMBINACI?N PARA LA OBTENCI?N DE CASOS DE PRUEBA 5.1 ESTRUCTURA DE UN CASO DE PRUEBA 5 .1.1 Ejemplo 5.2 EL OR?CULO 5.2.1 Obtenci?n de casos de prueba con or? culos a partir de m?quinas de estado 5.3 ESTRATEGIAS DE COMBINACI?N 5. 3.1 Todas las combinaciones (All combinations) 5.3.2 Cada elecci?n (Ea ch choice) 5.3.3 AETG (Automatic Efficient Test Generator) 5.3.4 PROW (Pairwise with Restrictions, Order and Weight) 5.3.5 Antirandom 5.3.6 Algoritmo del peine (Comb) 5.3.7 Algoritmos aleatorios 5.4 CTWEB, UNA APLICACI?N WEB PARA TESTING COMBINATORIO 5.5 EJERCICIOS CAP?TULO 6. PR UEBAS MEDIANTE MUTACI?N 6.1 CONCEPTOS IMPORTANTES 6.2 OPERADORES DE MU TACI?N 6.3 PRINCIPIOS DE LA MUTACI?N 6.4 EL PROCESO DE PRUEBAS UTILIZA NDO MUTACI?N 6.5 T?CNICAS DE REDUCCI?N DE COSTES EN EL TESTING CON MUT ACI?N 6.5.1 Reducci?n de costes en la generaci?n de mutantes 6.5.2 Red ucci?n de costes en la ejecuci?n 6.5.3 Reducci?n de cost...