1. Técnicas de inspección.
1.1. Inspección de programas.
1.2. Análisis del código fuente.
1.3. Verificación formal.
2. Depuración.
2.1. Los depuradores conocen los errores de programadores comunes.
2.2. Parte de las herramientas de apoyo al lenguaje.
2.3. Controla la ejecución paso a paso sobre el código del programa.
3. Inspecciones del software.
3.1. Revisiones sistemáticas.
3.1.1. Detección de fallos en los documentos generados.
3.1.2. Detectan 60-90% de los fallos.
3.1.3. Permiten utilizar el conocimiento y dominio del lenguaje.
3.1.4. No son útiles para la detección de niveles de fiabilidad.
4. Inspección del código fuente.
4.1. DEL FLUJO DE CONTROL.
4.1.1. Identifica y señala bucles.
4.2. DE UTILIZACIÓN DE DATOS.
4.2.1. Señala cómo se utilizan las variables del programa.
4.3. DE INTERFACES.
4.3.1. Verifica la declaración de las operaciones y su invocación.
4.4. DE LA TRAYECTORIA.
4.4.1. Identifica las posibles trayectorias del programa.
4.4.2. Presenta las sentencias ejecutadas en cada trayectoria.
5. Concepto.
5.1. Procesos de comprobación y análisis que aseguran que se cumplan las especificaciones del cliente.
5.1.1. VERIFICACIÓN.
5.1.1.1. ¿Estamos construyendo el producto correctamente?.
5.1.2. VALIDACIÓN.
5.1.2.1. ¿Estamos construyendo el producto correcto?.
6. Técnicas.
6.1. INSPECCIONES DE SOFTWARE.
6.1.1. Analizan y comprueban las representaciones del sistema.
6.1.2. Se aplica a todas las etapas de desarrollo.
6.1.3. Se complementan con el análisis del texto fuente o de los documentos.
6.2. PRUEBAS DE SOFTWARE.
6.2.1. Examinar las respuestas del software y su comportamiento operacional.
6.2.2. Técnica dinámica de la validación y verificación.