Técnicas Combinatorias y de Mutación para Testing de Sistemas Software

Argumento de Técnicas Combinatorias y de Mutación para Testing de Sistemas Software

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 estructurales o de caja blanca

2.3 pruebas unitarias

2.4 pruebas de integración

2.5 pruebas de sistema

2.6 ejercicios

Capítulo 3. Criterios de cobertura para artefactos software

3.1 criterios de cobertura

3.2 utilidad de los criterios de cobertura

3.3 un posible modelo de trabajo

3.4 criterios de cobertura para código fuente

3.5 criterios de cobertura para máquinas de estado

3.6 ejercicios

Capítulo 4. Valores de prueba

4.1 clases o particiones de equivalencia

4.2 valores límite (boundary values)

4.3 conjetura de errores (error-guessing)

4.4 aplicación de las técnicas al conjunto de datos de salida

4.5 criterios de cobertura para valores de prueba

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.2 el oráculo

5.3 estrategias de combinación

5.4 ctweb, una aplicación web para testing combinatorio

5.5 ejercicios

Capítulo 6. Pruebas mediante mutación

6.1 conceptos importantes

6.2 operadores de mutación

6.3 principios de la mutación

6.4 el proceso de pruebas utilizando mutación

6.5 técnicas de reducción de costes en el testing con mutación

Capítulo 7. Herramienta bacterio: manual de utilización

7.1 licencia

7.2 software externo

7.2.1 asm

7.3 un vistazo al proceso de pruebas con bacterio

7.4 configuración y ejecución

7.5 análisis de resultados

Capítulo 8. Autoevaluación

8.1 preguntas

8.2 soluciones

Índice alfabético