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

doi:10.13190/j.jbupt.2018-283

北京邮电大学学报 ›› 2019, Vol. 42 ›› Issue (4): 70-75.doi: 10.13190/j.jbupt.2018-283

基于图论和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-16 Online:2019-08-28 Published:2019-08-26

摘要/Abstract

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

关键词: 一致性检测, 检测精度, 图论, 有限状态机, 软件验证

Abstract: A unified modeling language (UML) model and code consistency checking method based on graph theory and finite state machine (FSM) was proposed. The basic idea of this method was given; the static consistency checking and the dynamic consistency checking algorithms between UML models and code were discussed respectively; a support tool for this method was implemented, and C++ project UMLChecker 1.0 was checked by using this tool. The experimental results show that this method can check consistency between UML models and code, and has a high checking accuracy. For consistency checking in behavioral aspects, checking accuracy rate is improved obviously.

Key words: consistency checking, checking accuracy, graph theory, finite state machine, software verification

中图分类号:

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.

参考文献

[1] Ekanayake E M N K, Kodituwakku S R. Consistency checking of UML class and sequence diagrams[C]//8^th International Conference on Ubi-Media Computing. Jeju:IEEE, 2015:98-103.
[2] 钱成, 燕雪峰, 周勇, 等. 基于状态约简的顺序图和状态图一致性检测[J]. 计算机应用研究, 2014, 31(5):1452-1455. Qian Cheng, Yan Xuefeng, Zhou Yong, et al. Model checking consistency of sequence diagram and state machine based on state reduction[J]. Application Research of Computers, 2014, 31(5):1452-1455.
[3] Straeten R V D, Mens T, Simmonds J, et al. Using description logic to maintain consistency between UML models[C]//Lecture Notes in Computer Science. Seattle:Springer Berlin Hei-delberg, 2003:1-15.
[4] Long Q, Liu Z, Li X, et al. Consistent code generation from UML models[C]//16^th Australian Conference on Software Engineering. Brisbane:IEEE Computer Society, 2005:23-30.
[5] Chama W, Elmansouri R, Chaoui A. Model checking and code generation for UML diagrams using graph transformation[J]. International Journal of Software Engineering & Applications, 2012, 3(6):39-55.
[6] 曾一, 李函逾, 刘慧君, 等. UML模型和Java代码之间的一致性检测方法[J]. 计算机科学, 2015, 42(4):151-155. Zeng Yi, Li Hanyu, Liu Huijun, et al. Consistency detection method between UML model and Java source code[J]. Computer Science, 2015, 42(4):151-155.
[7] Pires W, Ramalho F. UML-based design test generation[C]//ACM Symposium on Applied Computing. Fortaleza:DBLP, 2008:735-740.
[8] Chavez H, Shen W, France R, 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.
[9] 李锋, 陆韬. 任意图同构判定及其应用[J]. 复旦学报(自然科学版), 2006, 45(4):480-484. Li Feng, Lu Tao. Isomorphism judgment of arbitrary graphs and its application[J]. Journal of Fudan University, 2006, 45(4):480-484.
[10] Wendehals L, Orso A. Recognizing behavioral patterns at runtime using finite automata[C]//Proceedings of the 2006 International Workshop on Dynamic Analysis. Shanghai:ACM, 2006:33-40.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 9

编辑推荐

Metrics

本文评价

[1]	啜钢, 梁志波. 考虑用户QoS的基于图论的干扰协调方案[J]. 北京邮电大学学报, 2014, 37(1): 76-79.
[2]	冯水春, 孟新, 毛博年, 卞春江. 基于（16,8）准循环码的星载FPGA有限状态机容错设计[J]. 北京邮电大学学报, 2014, 37(1): 85-89.
[3]	马峻岩周兴社李士宁. 基于FSM的感知节点软件故障检测[J]. 北京邮电大学学报, 2013, 36(2): 107-112.
[4]	龙门,夏靖波,张子阳,郭戎潇. 节点相关的隐马尔可夫模型的网络安全评估[J]. 北京邮电大学学报, 2010, 33(6): 121-124.
[5]	舒挺;孙守迁;王海宁;徐伟强;李文书. 启发式探索的协议测试序列生成[J]. 北京邮电大学学报, 2009, 32(6): 120-124.
[6]	陈天平乔向东郑连清. 图论在网络安全威胁态势分析中的应用[J]. 北京邮电大学学报, 2009, 32(1): 113-117.
[7]	舒挺, 魏仰苏, 吴柏青, 孟兆航. EFSM可执行状态验证序列的生成[J]. 北京邮电大学学报, 2007, 30(2): 84-88.
[8]	徐云斌, 宋鸿升, 张杰, 顾畹仪. 用于多粒度光交换节点的GMPLS信令机制扩展[J]. 北京邮电大学学报, 2004, 27(3): 23-27.
[9]	刘云龙,陈俊亮. 一种新的软件容错方法及应用^*[J]. 北京邮电大学学报, 1998, 21(1): 23-28.