1 Alcance
2
Referencias normativas
2.1 Pruebas de conformidad
2.2 Técnicas de descripción formal
3
Definiciones
3.1 Términos tomados de otras normas conexas
3.2 Términos definidos en esta Recomendación
4
Abreviaturas
5
Conceptos matemáticos y convenios de notación
5.1 Conjuntos
5.2 Notaciones lógicas
5.3 Relaciones
5.4 Funciones
6
Significado de la conformidad
6.1 Introducción
6.2 Especificaciones
6.3 Implementaciones
6.4 Conformidad de una implementación con una especificación
formal
7
Conceptos de pruebas
7.1 Introducción
7.2 Arquitectura de prueba
7.3 Modelo formal de la arquitectura de prueba
7.4 Ejecución de pruebas
8
Pruebas de conformidad
8.1 Introducción
8.2 Definición de pruebas de conformidad
8.3 Generación de pruebas
8.4 Reducción del tamaño de las sucesiones de pruebas
8.5 Cobertura de fallos
8.6 Coste de las sucesiones de pruebas
9
Cumplimiento
9.1 Introducción
9.2 Cumplimiento con la cláusula 6: Significado de la conformidad
9.3 Cumplimiento con la cláusula 7: Conceptos de pruebas
9.4 Cumplimiento con la cláusula 8: Pruebas de conformidad
Anexo A
A.1 Especificaciones
A.2 Opciones de implementación y especificaciones instanciadas
A.3 Implementaciones y modelos de implementaciones
A.4 Conformidad mediante relaciones de implementación
A.5 Conformidad mediante requisitos
A.6 Arquitectura de prueba
A.7 Especificaciones de pruebas
A.8 Referencias