Model Based Testing for Workflow Enabled Applications Translated title: Pruebas basadas en modelos para aplicaciones basadas en workflows

Abstract

In recent years, workflow enabled applications have been used in an increasing number of contexts. This has required the swift development of new workflow languages and of their corresponding engines. However, the tools available to support the development of these engines are insufficient. In particular, the tools to test the implementation of engines have serious limitations, and are not well suited to test workflows. To address this problem we have developed ATF, a framework to build test environments and test suites for workflow engines. ATF is complemented by TDR, a roadmap that specifies the steps to adapt ATF to specific workflow languages and engines; TDR also specifies the steps to develop a complete test suite. This paper presents both the ATF and the TDR, and illustrates their usage in the context of a workflow engine built using the Cumbia platform.

Translated abstract

La aplicación de la tecnología de los workflows a un gran número de contextos ha traído consigo la necesidad de desarrollar rápidamente nuevos lenguajes de workflow con sus correspondientes motores. Sin embargo, las herramientas para apoyar este desarrollo son insuficientes y en particular lo son las que servirían para probar que los motores implementen correctamente la semántica de los lenguajes. Para enfrentar esta limitación, hemos desarrollado ATF, un framework abstracto para el desarrollo de entornos de prueba y escenarios de prueba para nuevos motores y nuevos lenguajes de workflow. ATF es complementado por TDR, una hoja de ruta que especifica los pasos para construir un nuevo ambiente de pruebas basada en ATF. Este artículo presenta tanto ATF como TDR e ilustra la forma en la que se utilizaron para probar un motor de workflow construido sobre la plataforma Cumbia.