¿Qué tipos de verificaciones existen y para qué?R = Para las verificaciones de sistema se utilizan las Pruebas de Caja Blanca.1. Prueba de camino crítico: Permite obtener una medida de la complejidad lógica de un diseño procedimental, con el objetivo de usar esa medida como guía para la definición de un conjunto básico de caminos de ejecuciónPasos- grafo de flujo (diagramas de flujo)- complejidad ciclomática- Determinar un conjunto de caminos linealmente independientes- Generar Casos de Prueba

2. Prueba de condición: Se centra en la prueba de cada una de la las condiciones de un programa. Existen 2 tipo de condiciones. Simples y Compuestas.- ramificaciones- dominio- operador relacional y de ramificación

3. Prueba de flujo de datos:

4. Prueba de bucles: Es una técnica de prueba de caja blanca que se centra exclusivamente en la validez de las construcciones de bucles. Se pueden definir cuatro clases diferentes de bucles, tal como se ilustra