la boba

Pruebas de caja blanca
Las pruebas de caja blanca (también conocidas como pruebas de caja de cristal o pruebas estructurales) se centran en los detalles procedimentales del software, por lo que su diseño está fuertemente ligado al código fuente. El testeador escoge distintos valores de entrada para examinar cada uno de los posibles flujos de ejecución del programa y cerciorarse de que sedevuelven los valores de salida adecuados.
Al estar basadas en una implementación concreta, si ésta se modifica, por regla general las pruebas también deberán rediseñarse.
Aunque las pruebas de caja blanca son aplicables a varios niveles —unidad, integración y sistema—, habitualmente se aplican a las unidades de software. Su cometido es comprobar los flujos de ejecución dentro de cada unidad (función,clase, módulo, etc.) pero también pueden testear los flujos entre unidades durante la integración, e incluso entre subsistemas, durante las pruebas de sistema.
A pesar de que este enfoque permite diseñar pruebas que cubran una amplia variedad de casos de prueba, podría pasar por alto partes incompletas de la especificación o requisitos faltantes, pese a garantizar la prueba exhaustiva de todoslos flujos de ejecución del código analizado.
Las principales técnicas de diseño de pruebas de caja blanca son:
Pruebas de flujo de control
Pruebas de flujo de datos
Pruebas de bifurcación (branch testing)
Pruebas de caminos básicos
Prueba del camino básico: es una técnica propuesta inicialmente por Tom McCabe la cual le permite al diseñador de casos de prueba obtener una medida de lacomplejidad lógica de un diseño procedimental y usar esa medida como guía para la definición de un conjunto básico de caminos de ejecución. 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.
Prueba de la estructura de control: dentro de éste tipo de prueba se contempla el método del camino básico mencionadoanteriormente pero además existen otras pruebas asociadas que permiten ampliar la cobertura de la prueba y mejorar su calidad. Estas son:
1.
Prueba de condición: es un método de diseño de casos de prueba que ejercita las condiciones lógicas contenidas en el módulo de un programa. Algunos conceptos empleados alrededor de esta prueba son los siguientes:
-
Condición simple: es una variablelógica o una expresión relacional ( E1 < operador - relacional > E2).
-
Condición compuesta: está formada por dos o más condiciones simples, operadores lógicos y paréntesis.
En general los tipos de errores que se buscan en una prueba de condición, son los siguientes:
-
Error en operador lógico (existencia de operadores lógicos incorrectos, desaparecidos, sobrantes).
-
Error en variablelógica.
-
Error en paréntesis lógico.
-
Error en operador relacional.
-
Error en expresión aritmética.

2.
Prueba del flujo de datos: selecciona caminos de prueba de un programa de acuerdo con la ubicación de las definiciones y los usos de las variables del programa.

3.
Prueba de bucles: es una técnica que se centra exclusivamente en la validez de las construcciones de bucles(bucles simples, anidados, concatenados y no estructurados).

3.1
Bucles simples. Se les aplica el siguiente conjunto de pruebas:
-
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 (donde n es el número máximo de pasos permitidos por el bucle).
-
Hacer n - 1, n y n + 1 pasos por elbucle.

3.2
Bucles anidados. Si se empleara el mismo enfoque de prueba de bucles simples a los bucles anidados, el número de pruebas aumentaría considerablemente por lo cual Beizer sugiere emplear el siguiente enfoque:
-
Comenzar por el bucle más interior. Establecer o configurar los demás bucles con sus valores mínimos.
-
Llevar a cabo las pruebas de bucles simples para el bucle...