Pruebas de Caja Blanca.

Pruebas de caja blanca
Definición
Se centran en la estructura de control del programa.
Se derivan de casos de prueba que aseguren que durante la prueba se han ejecutado todas las sentencias delprograma al menos una vez y que se ejercitan todas las condiciones lógicas.
Mediante este tipo de prueba el ingeniero puede:
Garantizar que se ejerciten por lo menos una vez todos los caminosindependientes de cada módulo
Ejercitar todas las decisiones lógicas en sus vertientes verdadera y falsa
Ejecutar todos los bucles en sus límites
Ejercitar las estructuras de datos para asegurar suvalidez
Ejemplos
Prueba del camino básico
Pruebas de la estructura de control
Domain testing
Integration strategies
Mutation testing & Error seeding
Prueba del camino básico
Es una técnica de cajablanca que permite al diseñador de casos de prueba obtener una medida de la complejidad lógica de un diseño procedimental y usar esa medida como guía para la definición de un conjunto básico de caminosde ejecución.
Pruebas de la estructura de control
Amplia la cobertura de la prueba del camino básico y mejora su calidad. Entre éstas se encuentran:
Prueba de condición– Data flow testing
Pruebadel flujo de datos
Prueba de bucles
Domain testing
El objetivo es verificar valores tomados por una variable, una condición, o un índice, para demostrar que están fuera del rango especificado oválido.
También prueba que el programa sólo acepta entradas válidas
Integration strategies
Es una técnica que tiene como objetivo verificar la consistencia entre los programas que conforman una funcióno bien la consistencia entre las
funciones que conforman un módulo o sistema bajo el supuesto de que cada uno de los elementos ha sido probado.

Mutation testing & Error seeding
Error SeedingTechnique
● Se generan un cierto número de errores artificialmente en el código.
● Después de esto, las pruebas se usan para detectar errores y examinar la relación entre los errores reales y los...