Topen como soporte para la automatización de especificaciones en TTCN-3

The ever growing complexity of the current software intensive systems requires approaches to increase testing process effectiveness. TTCN-3 is a testing language internationally agreed to define system testing scenarios and their implementation. TOPEN is a validation and operation environment designed to facilitate the definition and execution of tests procedures for complex systems. This paper presents a proposal to automate the generation of a test environment from a TTCN-3 specification, taking TOPEN architecture and functionality as a baseline. Resumen La complejidad creciente de los sistemas actuales intensivos en software requiere de tecnicas que permitan aumentar la efectividad del proceso de pruebas. TTCN-3 es un lenguaje de pruebas consensuado internacionalmente para definir escenarios de pruebas de sistemas y sus implementaciones. TOPEN es un entorno de validacion y operacion, disenado para facilitar el proceso de definicion y ejecucion de pruebas y procedimientos en sistemas complejos. Este articulo presenta una propuesta para automatizar la generacion de un entorno de pruebas a partir de una especificacion TTCN-3, tomando como base la arquitectura y funcionalidad de TOPEN.

[1]  R. Probert,et al.  An Efficient Formal Testing Approach for Web Service with TTCN-3 , 2005 .

[2]  A. Crespo,et al.  Automated integrated support for requirements-area and validation processes related to system development , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[3]  Mario Piattini,et al.  Assisting the definition and execution of test suites for complex systems , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

[4]  Ina Schieferdecker,et al.  From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing , 2005, TestCom.

[5]  Colin Willcock,et al.  An Introduction to TTCN-3 , 2005 .