Cobertura lógica
¿Qué son las pruebas de cobertura lógica?
La lógica corresponde a la estructura interna del código y esta prueba se adopta para aplicaciones críticas para la seguridad, como los softwares utilizados en la industria de la aviación. Esta prueba verifica el subconjunto del número total de asignaciones de verdad a las expresiones.
Fuentes de cobertura lógica:
La cobertura lógica proviene de cualquiera de las fuentes mencionadas a continuación:
Decisiones en programas
Máquinas de estado finito y gráficos de estado
Requirements