Um Método para a Geração de Instâncias de Testes a Partir de Regras de Negócio Expressadas em OCL (A Method for Generation of Tests Instances of Models from Business Rules Expressed in OCL)

Edilson Mendes Bizerra (, Denis Silva Silveira (, Maria Lencastre Pinheiro Menezes Cruz (, Fernando José Araújo Wanderley (

1Universidade de Pernambuco
2Universidade Federal de Pernambuco

This paper appears in: Revista IEEE América Latina

Publication Date: Sept. 2012
Volume: 10,   Issue: 5 
ISSN: 1548-0992

In this paper proposes a method for the generation of tests instances from business rules of a system, expressed using OCL. The aim of this method is to give one a better support for test activities like, for example, the generation of tests instances to test models in the initial phases of the software development lifecycle, showing the inconsistencies and ambiguities in earlier in the project. A differential of this method, compared to others with similar intention, is that, beyond the generation of the test cases, the generated tests could be validated and be followed in an automatized way through the USE tool. To help in the execution of the proposed method, the TestiMonium tool was implemented and integrated to the environment.

Index Terms:
Software Testing, Model Based Test Generation, UML, OCL   

Documents that cite this document
This function is not implemented yet.

[PDF Full-Text (519)]