An Approach to Checking Consistency between UML Class Model and Its Java Implementation

ISCAS OpenIR

	An Approach to Checking Consistency between UML Class Model and Its Java Implementation
	Chavez, HM; Shen, WW; France, RB; Mechling, BA; Li, GY
	2016
发表期刊	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
ISSN	0098-5589
卷号	42 期号:4 页码:322-344
摘要	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.; 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.
收录类别	SCI
关键词	Class Diagrams Uml Java Model Checking
部门归属	Western Michigan Univ, Comp Sci, Kalamazoo, MI 49008 USA. Colorado State Univ, Comp Sci, Ft Collins, CO 80523 USA. Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China.
语种	英语
WOS记录号	WOS:000375035600002
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/17339
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Chavez, HM,Shen, WW,France, RB,et al. An Approach to Checking Consistency between UML Class Model and Its Java Implementation[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,2016,42(4):322-344.
APA	Chavez, HM,Shen, WW,France, RB,Mechling, BA,&Li, GY.(2016).An Approach to Checking Consistency between UML Class Model and Its Java Implementation.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,42(4),322-344.
MLA	Chavez, HM,et al."An Approach to Checking Consistency between UML Class Model and Its Java Implementation".IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 42.4(2016):322-344.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
07294689.pdf（2284KB）			开放获取	使用许可	请求全文