Claret: um artefato central para engenharia de requisitos e teste baseado em modelos.

Abstract

The construction of test cases in the traditional way has been, to a large extent, a slow and costly process in financial terms. In this sense, the automatic generation of model-based tests emerges as a viable alternative to solve such mishaps. The system requirements specification is an activity from the requirements engineering whose output diagrams, or detailed documents as the use cases. In particular, the use case document can serve as a strong candidate for a central model in the process of automatic generation of tests. However, the chosen model should provide sufficient information to allow the automatic generation of testing and at the same time be succinct enough not to generate additional cost and effort to requirements engineering. The solution proposed in this research aims to integrate the automatic generation of model-based testing with requirements engineering, through the proposal of a domain-specific language notation with the support of tools aimed at the automatic generation of both meta-templates to assist the creation of test cases as formatted documents of use case.