LCLint: a tool for using specifications to check code
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
JUnit in Action
A Tool-Supported Approach to Testing UML Design Models
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Model-driven development: the good, the bad, and the ugly
IBM Systems Journal - Model-driven software development
Automatic Generation of Detection Algorithms for Design Defects
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
A synergistic model-driven approach for persistence modeling with UML
Journal of Systems and Software
Hi-index | 0.00 |
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused the DesignWizard Java API that allows us to write design rules as JUnit tests, i.e., to write them as code directly in the programming language. We fully pursued MDA as the approach for generating the design tests and hence we used several MDA artifacts, such as metamodels, models and transformations. A proof of concept of the technique has been implemented and evaluated. We performed several experiments on simple scenarios. Simple designs involving classes, associations, inheritance have been checked. Compared to previous related work, the advantage of our approach lies in the fact that we automatically generate design tests from UML class diagrams to Java code that play the dual role of design test and implementation language. Thus, we check the conformance between the design and the implementation.