Paper07

XV Jornadas de Ingeniería del Software y Bases de Datos
JISBD 2006
José Riquelme - Pere Botella (Eds)
© CIMNE, Barcelona, 2006

MODELOS DE PRUEBAS PARA PRUEBAS DEL SISTEMA
Javier J. Gutiérrez, María J. Escalona, Manuel Mejías y Antonia M. Reina
Departamento de Lenguajes y Sistemas Informáticos
Universidad de Sevilla
Escuela Superior de Ingeniería Informática
Avd. Reina Mercedes sn. 41012.España.
{javierj, escalona, risoto, reinaq}@lsi.us.es

Palabras clave: Pruebas del sistema, modelos de prueba, generación de pruebas.
Resumen. Uno de los objetivos de la fase de pruebas del sistema es verificar que el
comportamiento externo del sistema software satisface los requisitos establecidos por los
clientes y futuros usuarios del mismo. A medida que aumenta la complejidad de los
sistemas softwarey aumenta la demanda de calidad, se hacen necesarios procesos y
métodos que permitan obtener buenos conjuntos de pruebas del sistema. Este trabajo
describe los modelos necesarios para generar de manera sistemática un conjunto de
pruebas que permitan verificar la implementación de los requisitos funcionales de un
sistema software.

1. INTRODUCCIÓN
La fase de pruebas del sistema tiene como objetivoverificar el sistema software para
comprobar si este cumple sus requisitos. Dentro de esta fase pueden desarrollarse varios tipos
distintos de pruebas en función de los objetivos de las mismas. Algunos tipos son pruebas
funcionales, pruebas de usabilidad, pruebas de rendimiento, pruebas de seguridad, etc. Este
trabajo se centra en pruebas funcionales de aplicaciones con interfaces gráficas. Estaspruebas
verifican que el sistema software ofrece a los actores humanos la funcionalidad recogida en su
especificación.
Una de las técnicas más empleadas para la especificación funcional de sistemas software son
los casos de uso. Las principales ventajas de los casos de uso son que ocultan los detalles
internos del sistema, son rápidos de construir, fáciles de modificar y entender por los clientesy futuros usuarios del sistema [2] y pueden aplicarse a distintos tipos de sistemas [3] y [5].
Actualmente, existe un amplio número de propuestas que describen cómo generar pruebas del
sistema a partir de los casos de uso. Aunque la generación de pruebas se adapta a la filosofía
propuesta por MDA, tal y como mostraremos a continuación, ninguna de estas propuestas
define su proceso en base a lastécnicas de MDA. Por este motivo, una de las principales

Javier J. Gutiérrez, María J. Escalona, Manuel Mejías y Jesús Torres

carencias es la falta de modelos que recojan la información necesaria en el proceso de
generación de pruebas. Este trabajo se centra en la definición de un conjunto de modelos que
den soporte al proceso de generación de pruebas del sistema desde una perspectiva MDA.
Laestructura de este trabajo se define a continuación. En la sección 2 se definen las ideas
generales de un proceso de generación de pruebas del sistema. En la sección 3 se detallan los
distintos modelos necesarios para la generación de pruebas. En la sección 4 se definen la
herramienta que hemos desarrollado. En la sección 5 se resumen otros trabajos relacionados.
Finalmente, en la sección 6 se exponenlas conclusiones y trabajos futuros.
2. EL PROCESO DE GENERACIÓN DE PRUEBAS DEL SISTEMA
Toda prueba consta tradicionalmente de tres elementos: interacciones entre el sistema y la
prueba, valores de prueba y resultados esperados. Los dos primeros elementos permiten
realizar la prueba y el tercer elemento permite evaluar si la prueba se superó con éxito o no.
Un proceso de pruebas constageneralmente de cuatro fases: la fase de diseño de pruebas, la
fase de codificación, la fase de ejecución y la fase de análisis de los resultados.
El objetivo de un proceso de generación de pruebas del sistema es desarrollar las dos primeras
fases y obtener esos tres elementos a partir del modelo de requisitos del propio sistema bajo
prueba. Dicho proceso toma como punto de partida los requisitos y, a...