基于图论和FSM的UML模型与代码一致性检测

王雷

中国矿业大学(北京) 机电与信息工程学院, 北京 100083

收稿日期:2018-11-16出版日期:2019-08-28发布日期:2019-08-26

作者简介:王雷(1988-),男,讲师,E-mail:wanglei0823@foxmail.com.
基金资助:国家自然科学基金项目（60873093）；国家科技重大专项项目（2017ZX05018-005）；延安大学科研计划项目（YDY2019-16）

Consistency Checking Between UML Models and Code Based on Graph Theory and FSM

WANG Lei

School of Mechanical Electronic and Information Engineering, China University of Mining and Technology, Beijing 100083, China

Received:2018-11-16Online:2019-08-28Published:2019-08-26

摘要/Abstract

摘要： 提出了一种基于图论和有限状态机（FSM）的统一建模语言（UML）模型与代码一致性检测方法.给出了该方法的基本思路；分别讨论了UML模型与代码静态一致性检测和动态一致性检测算法；实现了该检测方法的支撑工具，并使用该工具对C++项目UMLChecker 1.0进行了检测.实验结果表明，所提方法可对UML模型与代码的一致性进行检测，且具有较高的检测精度.通过对静态行为和动态行为的一致性检测可知，检测精度明显提升.
中图分类号:
TP311.5

引用本文

王雷. 基于图论和FSM的UML模型与代码一致性检测[J]. 北京邮电大学学报, 2019, 42(4): 70-75.
WANG Lei. Consistency Checking Between UML Models and Code Based on Graph Theory and FSM[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2019, 42(4): 70-75.





PDF全文下载地址:

https://journal.bupt.edu.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3360