Ttrabajo Bd

Método de prueba de caja blanca del camino básico

Es una técnica propuesta inicialmente por Tom McCabe, que permite al diseñador de casos de prueba obtener una medida de la complejidad lógica deun diseño procedimental. Los casos de prueba obtenidos del conjunto básico garantizarán que durante la prueba se ejecuta por lo menos una vez cada sentencia del programa.

Algunos elementos yconceptos utilizados alrededor de éste método son los siguientes:

Grafo de flujo o grafo del programa: Representa el flujo de control lógico de un programa. Cada nodo representa una o más sentenciasprocedimentales y cada arista representa el flujo de control


Nodos: representan cero, una o varias sentencias en secuencia

Aristas: líneas que unen dos nodos.

Nodos predicado: cuando en unacondición aparecen uno o más operadores lógicos (AND, OR, XOR,...).

Figura No. 1 Ejemplos de grafos de programas o grafos de flujo

[pic]
























Método deprueba de caja blanca de bucles


|Pruebas para Bucles simples |[pic] |
|(n es el número máximo deiteraciones permitidos por el bucle).| |
|En este método sus objetivos son los siguientes: ||
| | |
|Pasar por alto totalmente el bucle| |
|Pasar una sola vez por el bucle ||
|Pasar dos veces por el bucle | |
|Hacer m pasos por el bucle con m < n...