Los métodos de cobertura lógica comunes incluyen los siguientes:
1. Cobertura de declaraciones: este es el método de cobertura más común. Su propósito es probar si el código del programa se ejecuta, pero solo considera las declaraciones de ejecución en el código, excluyendo archivos de encabezado, comentarios, líneas en blanco, etc. En un programa de múltiples ramas, solo puede cubrir una ruta determinada, de modo que cada declaración en la ruta se ejecute al menos una vez. Pero esto ignorará varias combinaciones de ramas.
2. Cobertura de decisiones: también conocida como cobertura de sucursales, el principio es diseñar suficientes casos de prueba para garantizar que cada decisión tenga un valor verdadero al menos una vez y un valor falso durante el proceso de prueba. Aunque la cobertura de decisiones tiene capacidades de prueba más sólidas que la cobertura de declaraciones, todavía tiene la misma unicidad que la cobertura de declaraciones.
3. Cobertura de condiciones de decisión: Se requiere diseñar suficientes casos de prueba para que los posibles valores de todas las condiciones en la declaración de decisión aparezcan al menos una vez, y al mismo tiempo, los posibles resultados. de todas las declaraciones de decisión también aparecen al menos una vez.
4. Modificar la cobertura de la condición de juicio: los puntos de entrada y salida de cada módulo del programa deben considerarse llamados al menos una vez, y el juicio de cada programa debe convertirse al menos una vez a todos los resultados posibles. valores; la decisión del programa se descompone en condiciones booleanas conectadas por operadores lógicos (y, o), y cada condición es independiente del valor del resultado de la decisión.
5. Cobertura de ruta: Haga que cada ruta se ejecute al menos una vez. Cuanto más abajo vayas, mayor será la cobertura.
Las diferencias entre varios métodos de cobertura lógica
1. Cobertura de declaraciones: el objetivo es garantizar que cada declaración ejecutable en el programa se ejecute al menos una vez. Para algunas combinaciones de condiciones, es posible que no sea posible cubrir completamente todas las rutas de prueba. Cobertura de decisiones: el objetivo es garantizar que la rama verdadera y la rama falsa de cada juicio en el programa se ejecuten al menos una vez. Sin embargo, este método a menudo no puede cubrir completamente todas las rutas de prueba.
2. Cobertura de condiciones: El objetivo es garantizar que los valores posibles de cada condición en cada juicio se cumplan al menos una vez. Este método tampoco puede considerar todos los resultados del juicio. Cobertura de decisión condicional modificada: este método requiere diseñar una gran cantidad de casos de prueba para garantizar que cada decisión se pueda procesar correctamente. Cobertura de ruta: el objetivo es garantizar que cada ruta del programa se ejecute al menos una vez. Este método puede probar exhaustivamente la ruta lógica del programa, pero a menudo requiere el diseño de una gran cantidad de casos de prueba.