Modelado y derivación automática de código para pruebas de software

Abstract

El Perfil de Pruebas UML (en inglés UML 2.0 Testing Profile, U2TP) permite especificar y modelar dominios de pruebas posibilitando además derivar dichos modelos a código ejecutable en forma automática. En este artículo presentamos una propuesta para automatizar las transformaciones de modelos de pruebas estructurales y de comportamiento a código JUnit dentro del contexto de Pruebas de software Dirigidas por Modelos (en inglés ModelDriven Testing, MDT). Para lograrlo, extendemos el metamodelo UML 2 para definir un lenguaje de modelado para dominios de prueba. Este lenguaje permite agregar anotaciones sobre los diagramas UML con información adicional que luego es utilizada para generar los casos de pruebas correspondiente. Además, presentamos las reglas formales de transformación de modelos U2TP a código de pruebas JUnit. Estas reglas están implementadas a través de un componente de software en forma de plug-in de Eclipse utilizando MOFScript.