BETRADOK: betekizunen trazabilitate inpaktu-analisi automatikoa eta dokumentazio formalaren sorkuntza automatikoa modeloetan oinarritutako ekosistemetan

Abstract

[EU]Proiektu honetan software ereduetan oinarritzen den ekosistema baten bi funtzionalitate gehitzeko soluzioa proposatu eta inplementatzen da: betekizunen trazabilitatea eta dokumentazio formalen sorrera automatikoa. Ereduetan oinarritzen den ekosistema edo framework batek software generikotik espezifikora joatea ahalbidetzen du. Proiektu honen bitartez CAF Signalling enpresaren produktuetako bat definitzen duen ekosistematik betekizunen trazabilitatea zaindu eta dokumentazio automatikoa sortzen da. Lan honen bitartez aipatutako bi helburu horiek lortzeko bidea deskribatu egiten dira eta horietatik abiatuta sortutako bi produktuen inplementazioa ere azaltzen da. Proiektuaren garapenerako, OpenUP metodologia erabili da eta proiektuaren dokumentazioa eta memoria idazteko CCII-N2016-02 estandarra erabili da.

[ES]Este proyecto propone e implementa una solución para añadir dos importantes funcionalidades a un ecosistema basado en modelos de software: trazabilidad de requisitos y creación de documentación formal automática. El framework o ecosistema que se basa en modelos de software ofrece la posibilidad de obtener un software específico a partir de un software más genérico. Mediante este proyecto se obtiene una solución para trazar requisitos y crear documentación formal para un importante producto de la empresa CAF Signalling. En este trabajo se describe el camino realizado y la implementación de la solución para lograr los dos citados objetivos. Para el desarrollo metodológico del proyecto, se ha usado la metodología OpenUP y el estándar CCII-N2016-02 para la documentación y memoria del proyecto.

[EN]This project proposes and implements a solution that adds two important functionalities to a framework based on software models: automatic requirements traceability and automatic generation of formal documentation. The model-based framework enables the generation of specific software taking into account more generic software. Thanks to this project it is obtained a solution to trace requirements and create documentation for an important product of CAF Signalling. In this work it is described all the decisions taken to construct the solution as well as the implementation of it in order to achieve the two objectives. In order to use a well-known methodology, the project has been developed based on OpenUP and the documentation and memory has been written according to the standard CCII-N2016-02.