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

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

作　　者：王雷[1] WANG Lei(School of Mechanical Electronic and Information Engineering,China University of Mining and Technology,Beijing 100083,China)

机构地区：[1]中国矿业大学(北京)机电与信息工程学院

出　　处：《北京邮电大学学报》2019年第4期70-75,共6页Journal of Beijing University of Posts and Telecommunications

基　　金：国家自然科学基金项目(60873093);国家科技重大专项项目(2017ZX05018-005);延安大学科研计划项目(YDY2019-16)

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

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]