Propuesta para pruebas dirigidas por modelos usando el perfil de pruebas de UML 2.0

Beatriz

Description

Se presenta una propuesta para pruebas en el contexto de la Ingeniería dirigida por modelos. A partir de los modelos de diseño del sistema en UML, se propone realizar transformaciones a modelos de prueba basados en el perfil de pruebas de UML. Para que la generación de los casos de prueba sea automática, se define una extensión del metamodelo de UML de forma que se puedan anotar los diagramas de secuencia con información que, luego, pueda ser utilizada para generar el oráculo de pruebas. Esta información es anotada en OCL como pre y postcondiciones en el diagrama.
This work presents a proposal for testing in Model Driven Engineering environment. The system design models represented in UML are automatically transformed in testing models conforms with the UML Testing Profile. For automatically generate the test cases, an extension for sequence diagram in UML is defined where pre and pos condition are attached to the models. This information is used later for the test oracle generation. The extension uses OCL to define the pre and pos conditions to the test cases.

Sujets

• Model-based testing

Informations

• Publié par: erevistas
• Publié le: 01 janvier 2008
• Nombre de lectures: 46
• Langue: Español

Extrait

Revista
Española de
Innovación,
Calidad e
Ingeniería del Software

Volumen 4, No. 4, diciembre, 2008



Web de la editorial: www.ati.es
E-mail: [e-mail]
ISSN: 1885-4486

Copyright © ATI, 2008

Ninguna parte de esta publicación puede ser reproducida, almacenada, o
transmitida por ningún medio (incluyendo medios electrónicos, mecánicos,
fotocopias, grabaciones o cualquier otra) para su uso o difusión públicos sin
permiso previo escrito de la editorial. Uso privado autorizado sin restricciones.

Publicado por la Asociación de Técnicos en Informática
ISSN: 1885-4486 © ATI, 2008 1 Revista Española de Innovación, Calidad e Ingeniería del Software, Vol.4, No. 4, 2008
Revista Española de Innovación, Calidad e
Ingeniería del Software (REICIS)


Editores
Dr. D. Luís Fernández Sanz
Departamento de Sistemas Informáticos, Universidad Europea de Madrid
Dr. D. Juan José Cuadrado-Gallego
Departamento de Ciencias de la Computación, Universidad de Alcalá

Miembros del Consejo Editorial

Dr. Dña. Idoia Alarcón Dr. D. José Antonio Calvo-Manzano
Depto. de Informática Depto. de Leng y Sist. Inf. e Ing.Software
Universidad Autónoma de Madrid Universidad Politécnica de Madrid

Dra. Tanja Vos Dña. Mª del Pilar Romay
Instituto Tecnológico de Informática Fundación Giner de los Ríos
Universidad Politécnica de Valencia

Dr. D. Alvaro Rocha Dr. D. Oscar Pastor
Universidade Fernando Pessoa Depto. de Sist. Informáticos y Computación
Universidad Politécnica de Valencia

Dra. Dña. María Moreno Dra. D. Javier Aroba
Depto. de Informática Depto de Ing.El. de Sist. Inf. y Automática
Universidad de Salamanca Universidad de Huelva

D. Antonio Rodríguez Dr. D. Pablo Javier Tuya
Telelogic Depto. de Informática
Universidad de Oviedo

Dra. Dña. Antonia Mas Dr. D. José Ramón Hilera
Depto. de Informática Depto. de Ciencias de la Computación
Universitat de les Illes Balears Universidad de Alcalá


ISSN: 1885-4486 © ATI, 2007 2 Revista Española de Innovación, Calidad e Ingeniería del Software, Vol.4, No. 4, 2008

Contenidos REICIS


Editorial 4
Luís Fernández-Sanz, Juan J. Cuadrado-Gallego
Presentación 5
Luis Fernández-Sanz
TestPAI: Un área de proceso de pruebas integrada con CMMI 6
Ana Sanz, Javier Saldaña, Javier García y Domingo Gaitero
Propuesta para pruebas dirigidas por modelos usando el perfil de 21
pruebas de UML 2.0
Beatriz Pérez-Lamancha, Pedro Reales Mateo, Ignacio García-Rodriguez de
Guzmán y Macario Polo Usaola
Reseña sobre el taller de Pruebas en Ingeniería del Software 2008 37
(PRIS)
Claudio de la Riva
Sección Actualidad Invitada: 39
Apoyo del Ministerio de Industria, Turismo y Comercio (MITYC)
a la modernización de PYMES del sector TIC
Carlos Fernández Gallo, Jefe de Área de Informática, Subdirección General para
la Economía Digital, Ministerio de Industria, Turismo y Comercio

ISSN: 1885-4486 © ATI, 2007 3 Propuesta para pruebas dirigidas por modelos usando el
perfil de pruebas de UML 2.0
Beatriz Pérez Lamancha
Centro de Ensayos de Software (CES), Instituto de Computación,
Universidad de la República de Uruguay
[e-mail]

Pedro Reales Mateo, Ignacio García-Rodriguez de Guzmán, Macario Polo Usaola
Grupo de Investigación ALARCOS, Departamento de Tecnologías y Sistemas de
Información, Universidad de Castilla-La Mancha, España
{pedro.reales,ignacio.grodriguez,macario.polo}@uclm.es

Abstract
This work presents a proposal for testing in Model Driven Engineering environment. The
system design models represented in UML are automatically transformed in testing models
conforms with the UML Testing Profile. For automatically generate the test cases, an
extension for sequence diagram in UML is defined where pre and pos condition are
attached to the models. This information is used later for the test oracle generation. The
extension uses OCL to define the pre and pos conditions to the test cases.

Key words: model based testing, UML 2.0 testing profile, oracle generation
Resumen
Se presenta una propuesta para pruebas en el contexto de la Ingeniería dirigida por
modelos. A partir de los modelos de diseño del sistema en UML, se propone realizar
transformaciones a modelos de prueba basados en el perfil de pruebas de UML. Para que la
generación de los casos de prueba sea automática, se define una extensión del metamodelo
de UML de forma que se puedan anotar los diagramas de secuencia con información que,
luego, pueda ser utilizada para generar el oráculo de pruebas. Esta información es anotada
en OCL como pre y postcondiciones en el diagrama.
1. Introducción
El perfil de pruebas para UML (UML Testing Profile) define un lenguaje para diseñar,
visualizar, especificar, analizar, construir y documentar los artefactos de un sistema de
pruebas. Extiende UML con los conceptos específicos de pruebas, se basa en el
metamodelo de UML y reutiliza su sintaxis definiendo conceptos para: observación del
comportamiento de las pruebas y las actividades durante las pruebas, arquitectura de las
pruebas, datos de pruebas y tiempo [5].
ISSN: 1885-4486 © ATI, 2008 21 Revista Española de Innovación, Calidad e Ingeniería del Software, Vol.4, No. 4, 2008
En este artículo se presenta una propuesta para la generación automática de casos de prueba
en el contexto de Ingeniería dirigida por modelos (Model Driven Engineering). La
metodología se basa en el metamodelo de UML y el perfil de pruebas de UML, realizando
transformaciones desde los modelos UML al modelo de pruebas, utilizando como modelo
de descripción de comportamiento del sistema el diagrama de secuencias de UML. Para la
realización de transformaciones se utiliza el estándar de OMG QVT
(Query/View/Transformation).
Dado que para las pruebas dirigidas por modelos es esencial la automatización de
todo el proceso, uno de los problemas más importantes al que hay que enfrentarse es la
generación automática de los oráculos de las pruebas ya que éstos son dependientes del
dominio de la aplicación. Este hecho hace necesario añadir información adicional a los
modelos que definen el diseño del sistema para poder generar los oráculos. Se presenta una
extensión al metamodelo del diagrama de secuencia de UML para representar la
información dependiente del dominio como pre y postcondiciones anotadas usando OCL
que servirá posteriormente para generar los oráculos de las pruebas. Los diagramas de
secuencia extendidos con pre y postcondiciones son transformados luego en modelos de
prueba que son instancias del perfil de pruebas de UML.
El artículo se estructura de la siguiente manera: sección 2 presenta los principales
trabajos relacionados en los que se basa esta investigación, en la sección 3 se describe la
propuesta para pruebas dirigidas por modelos usando el perfil de pruebas de UML, en la
sección 4 se muestra un ejemplo práctico de dicha metodología y por último en la sección 5
se presentan las conclusiones y trabajo a futuro.
2. Trabajos relacionados
En esta sección se describen los principales trabajos relacionados con nuestra investigación
que se centra en la definición automática de un oráculo para las pruebas, derivando pruebas
en el contexto de la ingeniería dirigida por modelos y generando un modelo de pruebas
basado en el perfil de pruebas de UML.
2.1. Oráculo para las pruebas
El oráculo es el mecanismo de que se dota a cada caso de prueba para determinar, tras su
ejecución, si el sistema que se está probando supera o no el caso. No existe un mecanismo
ISSN: 1885-4486 © ATI, 2007 22
Revista Española de Innovación, Calidad e Ingeniería del Software, Vol.4, No. 4, 2008
que permita describirlo de manera genérica y, en la práctica, se implementa siempre
manualmente [6]. Una de las principales dificultades con las que se encuentra la
investigación en el área del testing, y que, de acuerdo con Bertolino [7], representa un gran
obstáculo para avanzar en su automatización, es la descripción del oráculo. Bertolino hace
referencia al oráculo ideal, que describe como “un método mágico [sic] que proporciona las
salidas para cada caso de prueba, aunque en la práctica se implemente como un motor o
heurística que emite un veredicto de paso o fallo sobre las salidas observadas”.
El trabajo de Baresi y Young, del año 2