1

RUEBA
8 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