文章基本信息

标题：Propuesta para pruebas dirigidas por modelos usando el perfil de pruebas de UML 2.0
本地全文：下载
作者：Beatriz Pérez Lamancha ; Pedro Reales Mateo ; Ignacio García-Rodríguez de Guzmán 等
期刊名称：REICIS. Revista Española de Innovación, Calidad e Ingeniería del Software
电子版ISSN：1885-4486
出版年度：2008
卷号：4
期号：4
页码：7-12
语种：Spanish
出版社：Asociación de Técnicos de Informática
摘要：En la actualidad, UML se presenta como uno de los metalenguajes más utilizados para la especificación de sistemas mediante distintos tipos de modelos. Junto con UML 2, OMG ha propuesto un perfil para la realización de pruebas para que éstas puedan ser especificadas no como un artefacto final, sino como modelos que van anotando los modelos UML 2 generad s en el desarrollo. En este artículo 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.
其他摘要：En la actualidad, UML se presenta como uno de los metalenguajes más utilizados para la especificación de sistemas mediante distintos tipos de modelos. Junto con UML 2, OMG ha propuesto un perfil para la realización de pruebas para que éstas puedan ser especificadas no como un artefacto final, sino como modelos que van anotando los modelos UML 2 generad s en el desarrollo. En este artículo 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.
关键词：Ingeniería dirigida por modelos; Pruebas; Pruebas dirigidas por modelos; oráculo de pruebas.
其他关键词：Ingeniería dirigida por modelos; Pruebas; Pruebas dirigidas por modelos; oráculo de pruebas.