基于FSM的UML模型与代码一致性动态检测  

Dynamic Detection of UML Model and Code Consistency Based on FSM

作　　者：王雷 张帅[1,2,3] 宋慧娜 WANG Lei;ZHANG Shuai;SONG Huina(School of Mathematics and Computer Science,Yan’an University;Shaanxi Key Laboratory of Intelligent Processing for Big Energy Data;Joint Laboratory of Yan’an University and Shanghai Pactera (Big Data Application Development Direction),Yan’an University,Yan’an 716000,China)

机构地区：[1]延安大学数学与计算机科学学院 [2]陕西省能源大数据智能处理省市共建重点实验室 [3]延安大学上海文思海辉联合实验室(大数据应用开发方向),陕西延安716000

出　　处：《延安大学学报（自然科学版）》2021年第4期54-60,共7页Journal of Yan'an University：Natural Science Edition

基　　金：国家自然科学基金项目(62041212);陕西省教育厅科研计划项目(21JK0988);延安大学博士科学研究启动项目(YDBK2019-51);延安大学科研计划项目(YDY2019-16);陕西省能源大数据智能处理省市共建重点实验室开放基金项目(IPBED22)。

摘　　要：为解决统一建模语言(UML,unified modeling language)模型与源代码一致性检测缺少动态分析的问题,讨论了一种基于有限状态机(FSM,finite state machine)的UML模型与代码一致性动态检测方法。该方法执行源代码并捕获方法调用跟踪,将捕获的方法调用与UML顺序图转换得到的FSM进行匹配,以此来检测动态行为的一致性。在三个开源项目上进行了实验,分别发现了31、45和69处不一致,检出率分别达到93.94%、88.24%和90.79%。实验结果表明,在基于图论的一致性静态检测的基础上,该方法可以对UML模型与代码的一致性进行动态检测,且具有较高的检测准确率。In order to solve the problem of the lack of dynamic analysis of detection of unified modeling language(UML)model and code consistency,a dynamic detection method of UML model and code consistency based on finite state machine(FSM)was discussed in detail.This method executes the source code and captures the method call traces,matching the captured method calls with the FSM acquired from the UML sequence diagram transformation to detect the consistency of the dynamic behavior.Three open source projects were tested,and 31,45,and 69 inconsistencies were found,respectively,with the detectable rates reaching 93.94%,88.24%,and 90.79%,respectively.The results showed that in the foundation of the static consistency checking based on graph theory,this method can dynamically detect the consistency of the UML model and the code,and has a high checking accuracy.

关 键 词：一致性检测 动态检测 有限状态机 函数调用 软件验证 UML模型 

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