PIRES, Waldemar; http://lattes.cnpq.br/8662463350773114; FERREIRA NETO, Waldemar Pires.
Resumo:
In this work we propose and investigate a completely automatic technique to execute
conformance verification between an implementation in Java and its design expressed
by UML class diagram. This verification is performed through design tests, a kind of automatic test capable of verifing conformance of an implementation against design rules expressed by code. We define a design test templates to eachmost usual UML class diagram artifacts. And, we developed the UDT tool (UML Design Tester) 100% MDAbased, this tool is able to apply the templates over the class diagram elements in order to automatically generate the specific design tests for each of these elements. Concluding, we evaluated our technique using as case study that verifies the conformance between a real (Findbugs) system and its generated by reverse engineering.