Tipos de pruebas de caja blanca

Pruebas de caja blanca
PRUEBAS DE CAJA BLANCA
INTRODUCCIÓN
El  diseño  de  pruebas  para  el  software  o  para  otros  productos  de  ingeniería  puede  requerir
tanto  esfuerzo  como  el  propio  diseño  inicial del producto. Sin embargo,  los ingenieros  del software, a
menudo  tratan  las  pruebas  como  algo  sin  importancia,  desarrollando  casos  de  prueba  que  parezcanadecuados, pero que tienen poca garantía de ser completos.
Recordando  el  objetivo  de  las  pruebas,  debemos  diseñar  pruebas  que  tengan  la  mayor
probabilidad  de  encontrar  el  mayor  número  de  errores  con  la  mínima  cantidad  de esfuerzo  y tiempo
posible.
Cualquier producto de ingeniería puede probarse de una de estas dos formas:
●

Conociendo  la  función  específica  para  la  que fue   diseñado  el  producto.  Para  así  llevar  a
cabo  pruebas  que  demuestren  que  cada  función  es  completamente  operativa  y  buscar
errores en cada función.
● Conociendo  el  funcionamiento  del  producto.  Para  desarrollar  pruebas  que  aseguren  que
“todas  las  piezas  encajan”,  ósea,  que  la  operación  interna  se  ajusta  a  las especificaciones  yque todos los componentes internos se han comprobado de forma adecuada.
Cuando  se  considera  el  software  de  computadora  existen  varios  tipos  de  pruebas  entre  ellas
pero en este caso solo analizaremos las pruebas de caja blanca.
PRUEBAS DE CAJA BLANCA
La  prueba  de  caja  blanca  del  software  (también  llamada  prueba  de  caja  de  cristal)  se  basa
en  el  minucioso  examen  de  los  detalles procedimentales.  Se  comprueban  los  caminos  lógicos  del
software proponiendo  casos de prueba que ejerciten  conjuntos  específicos de  condiciones y/o bucles.
Se  puede  examinar  el  estado  del  programa  en  varios  puntos  para  determinar  si  el  estado  real
coincide con el esperado.
●

Nota:  Las  pruebas  de  caja  blanca  son  diseñadas  después  de  que   exista   un   diseño  decomponente (código fuente). El detalle de la lógica del programa debe estar disponible

En  estas  pruebas  todo  lo  que  tenemos  que hacer es definir todos los caminos lógicos, desarrollar
casos  de  prueba  que  los  ejerciten  y  evaluar  los  resultados,  es  decir,  generar  casos  de  prueba  que
ejerciten  exhaustivamente  la  lógica  del  programa,  la  prueba  exhaustiva  presenta ciertos  problemas
logísticos.  Incluso  para  pequeños  programas,  el  número  de  caminos  lógicos  posibles  puede  ser
enorme.
Por  ejemplo,  considere  un  programa  de  100   líneas  de  código  en  lenguaje  C.  Después  de  la
declaración  de  algunos  datos  básicos,   el  programa  contiene  dos  bucles  que  se  ejecutan  de  1   a  20
veces  cada  uno,  dependiendo  de  las condiciones  especificadas  en  la  entrada.  Dentro  del  bucle
interior, se necesitan cuatro construcciones if­then else.

Equipo 1Página 1

Pruebas de caja blanca
¡Existen aproximadamente  10^14  caminos posibles que se pueden ejecutar en este programa!
●

Nota:  No  es  posible  una  prueba  exhaustiva  sobre todos los caminos del programa, porque elnúmero de caminos es simplemente demasiado grande.
Las  pruebas  de  caja  blanca,  sin  embargo,  no  se  debe  desechar   como  impracticable.  Se  pueden
elegir  y  ejercitar  una  serie  de  caminos  lógicos  importantes.  Se pueden comprobar las estructuras de
datos  más  importantes  para  verificar  su  validez.  Se  pueden  combinar  los  atributos  de  la  prueba  de
caja  blanca  así  como  los  de  caja negra, para llegar a un método que  valide la interfaz del software y
asegure  selectivamente  que  el  funcionamiento  interno del  software es  correcto.  Este  tipo  de pruebas
son  un  método  de  diseño  de  casos  de  prueba  que  usa  la  estructura  de   control  del  diseño
procedimental (construcción de bucles) para obtener los casos de prueba.
  Mediante  los  métodos  de  caja  blanca, ...