Paper Info
Title
An Approach to Checking Consistency between UML Class Model and Its Java Implementation.
Abstract
Model Driven Engineering (MDE) aims to expedite the software development process by providing support for transforming models to running systems. Many modeling tools provide forward engineering features, which automatically translate a model into a skeletal program that developers must complete. Inconsistencies between a design model and its implementation, however, can arise, particularly when a final implementation is developed dependently on the code from which it was generated. Manually checking that an implementation conforms to its model is a daunting task. Thus, an MDE tool that developers can use to check that implementations conform to their models can significantly improve a developer's productivity. This paper presents a model-based approach for testing whether or not an implementation satisfies the constraints imposed by its design model. Our model-based testing approach aims to efficiently reduce the test input space while supporting branch coverage criteria. To evaluate the approach's ability to uncover inconsistencies, we developed a prototypical tool and applied it to the Eclipse UML2 projects. We were able to uncover inconsistencies between the models and their implementations using the tool.
Year
DOI
Venue
2016
10.1109/TSE.2015.2488645
IEEE Trans. Software Eng.
Keywords
Field
DocType
Unified modeling language,Java,Software,Object oriented modeling,Testing,Semantics
Code coverage,Model checking,Programming language,UML tool,Unified Modeling Language,Model-driven architecture,Computer science,Real-time computing,Applications of UML,Software development process,Class diagram
Journal
Volume
Issue
ISSN
42
4
0098-5589
Citations 
PageRank 
References 
2
0.36
15
Authors
5
Name
Order
Citations
PageRank
Hector Miguel Chavez161.47
Wuwei Shen213916.29
Robert B. France33315271.06
Benjamin A. Mechling450.77
Guangyuan Li5567.19