RUEBA DE APLICACIONES

CONVENCIONALES
Jeury Suarez Hernandez
 Métodos de prueba basados en
gráficos
El primer paso en la prueba de caja negra es entender los objetos que se
modelan en software y las relaciones que conectan a dichos objetos. Una vez
logrado esto, el siguiente paso es definir una serie de pruebas que verifiquen
“que todos los objetos tengan la relación mutua esperada” [Bei95].
Dicho de otra forma, la prueba de software comienza con la creación de un
gráfico de objetos importantes y sus relaciones, y luego diseña una serie de
pruebas que cubrirán el gráfico, de modo que cada objeto y relación se revise y
se descubran errores. Para lograr estos pasos, comience por crear un gráfico:
una colección de nodos que representen objetos, enlaces que representen las
relaciones entre objetos, nodos ponderados que describan las propiedades de
un nodo (por ejemplo, un valor de datos o comportamiento de estado
específicos) y enlaces ponderados que describan alguna característica de un
enlace.
Los nodos se representan como círculos conectados
mediante ligas que tienen algunas formas diferentes
■ Un enlace bidireccional, también llamado enlace simétrico, implica que la
relación se aplica en ambas direcciones. Los enlaces paralelos se usan
cuando entre los nodos gráficos se establecen algunas relaciones
diferentes. Como ejemplo simple, considere una porción de un gráfico para
una aplicación de un procesador de palabras (figura 18.8b) donde
■ Objeto #1 = newFile (selección de menú)
■ Objeto #2 = documentWindow
■ Objeto #3 = documentText
■ En la figura, una selección de menú en newFile genera una ventana de
documento. El nodo ponderado de documentWindow proporciona una lista
de los atributos de ventana que se esperan cuando se genere la ventana.
El enlace ponderado indica que la ventana debe generarse en menos de
1.0 segundo. Un enlace no dirigido establece una relación simétrica entre
la selección de menú newFile y documentText, y los enlaces paralelos
indican relaciones entre documentWindow y documentText.
Beizer [Bei95] describe algunos métodos de
prueba de comportamiento que pueden usar
gráficos:
■ Modelado de flujo de transacción. Los nodos representan pasos en
alguna transacción (por ejemplo, los pasos requeridos para hacer una
reservación en una aerolínea con el uso de un servicio en línea) y los
enlaces representan la conexión lógica entre los pasos (por ejemplo,
ingresarInformaciónVuelo se sigue de
validaciónProcesamientoDisponibilidad). El diagrama de flujo de datos
(capítulo 7) puede usarse para auxiliar en la creación de gráficos de
este tipo.
■ Modelado de estado finito. Los nodos representan diferentes estados
del software observables por el usuario (por ejemplo, cada una de las
“pantallas” que aparecen cuando un
■ empleado ingresa información conforme toma una orden telefónica) y
los enlaces representan las transiciones que ocurren para moverse
de estado a estado (por ejemplo, pedidoInformación se verifica
durante inventarioBusquedaDisponibilidad, y es seguido de la entrada
clienteFacturaInformación).
■ Modelado de flujo de datos. Los nodos son objetos datos y los
enlaces son las transformaciones que ocurren para traducir un objeto
datos en otro. Por ejemplo, el nodo retención de impuesto FICA (FTW)
se calcula a partir de los ingresos brutos (IB), usando la relación FTW
= 0.62 x IB.
■ Modelado de temporización. Los nodos son objetos
■ programa y los enlaces son las conexiones secuenciales entre dichos
objetos
 Partición de equivalencia
La partición de equivalencia es un método de prueba de caja negra que divide el
dominio de entrada de un programa en clases de datos de los que pueden derivarse
casos de prueba. Un caso de prueba ideal descubre de primera mano una clase de
errores (por ejemplo, procesamiento incorrecto de todos los datos carácter) que de otro
modo podrían requerir la ejecución de muchos casos de prueba antes de observar el
error general.
Las clases de equivalencia pueden definirse de acuerdo con los siguientes
lineamientos:
1. Si una condición de entrada especifica un rango, se define una clase de
equivalencia válida y dos inválidas.
2. Si una condición de entrada requiere un valor específico, se define una clase de
equivalencia válida y dos inválidas.
3. Si una condición de entrada especifica un miembro de un conjunto, se define una
clase de equivalencia válida y una inválida.
4. Si una condición de entrada es booleana, se define una clase válida y una inválida.
 Análisis de valor de frontera

■ Un mayor número de errores ocurre en las fronteras del dominio de entrada y no en el

“centro”. Por esta razón es que el análisis de valor de frontera (BVA, del inglés boundary
value analysis) se desarrolló como una técnica de prueba. El análisis de valor de frontera
conduce a una selección de casos de prueba que revisan los valores de frontera. El
análisis de valor de frontera es una técnica de diseño de casos de prueba que
complementan la partición de equivalencia.
■ Prueba de arreglo ortogonal
La prueba de arreglo ortogonal puede aplicarse a problemas en los que el dominio de
entrada es relativamente pequeño pero demasiado grande para alojar la prueba exhaustiva.
El método de prueba de arreglo ortogonal es particularmente útil para encontrar los fallos
de región, una categoría de error asociada con lógica defectuosa dentro de un componente
de software.
Para ilustrar el uso del arreglo ortogonal L9, considere la función send para
una aplicación de fax. A la función send pasan cuatro parámetros: P1, P2,
P3 y P4.
Cada uno toma tres valores discretos.
Por ejemplo, P1 toma los valores:
P1 = 1, enviar ahora
P1 = 2, enviar una hora más tarde
P1 = 3, enviar después de medianoche

P2, P3 y P4 también tomarían los valores de 1, 2 y 3, que significan otras