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

王雷; 张帅; 宋慧娜

首页> 中文期刊> 《延安大学学报（自然科学版）》 >基于FSM的UML模型与代码一致性动态检测

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为解决统一建模语言(UML,unified modeling language)模型与源代码一致性检测缺少动态分析的问题,讨论了一种基于有限状态机(FSM,finite state machine)的UML模型与代码一致性动态检测方法.该方法执行源代码并捕获方法调用跟踪,将捕获的方法调用与UML顺序图转换得到的FSM进行匹配,以此来检测动态行为的一致性.在三个开源项目上进行了实验,分别发现了31、45和69处不一致,检出率分别达到93.94％、88.24％和90.79％.实验结果表明,在基于图论的一致性静态检测的基础上,该方法可以对UML模型与代码的一致性进行动态检测,且具有较高的检测准确率.

著录项

来源
《延安大学学报（自然科学版）》 |2021年第4期|54-60|共7页
作者
王雷; 张帅; 宋慧娜;
展开▼
作者单位

延安大学数学与计算机科学学院;

陕西省能源大数据智能处理省市共建重点实验室;

延安大学上海文思海辉联合实验室(大数据应用开发方向) 陕西延安 716000;

延安大学数学与计算机科学学院;

陕西省能源大数据智能处理省市共建重点实验室;

延安大学上海文思海辉联合实验室(大数据应用开发方向) 陕西延安 716000;

延安大学数学与计算机科学学院;

陕西省能源大数据智能处理省市共建重点实验室;

延安大学上海文思海辉联合实验室(大数据应用开发方向) 陕西延安 716000;

展开▼
原文格式 PDF
正文语种 chi
中图分类软件工程;
关键词
一致性检测; 动态检测; 有限状态机; 函数调用; 软件验证; UML模型;

相似文献

中文文献
外文文献
专利

1. 基于UML模型的多态性与Java接口代码信息一致性检测的方法 [J] . 余双双 ,曾一 ,刘慧君 . 计算机应用与软件 . 2017,第002期
2. UML模型和Java代码之间的一致性检测方法 [J] . 曾一 ,李函逾 ,刘慧君 . 计算机科学 . 2015,第004期
3. 基于有限状态机理论的UML模型一致性检测方法研究 [J] . 刘舒婷 . 电子技术与软件工程 . 2015,第021期
4. 基于多个域的UML模型的一致性检测 [J] . 许培嘉 ,赵合计 . 计算机工程与设计 . 2005,第005期
5. 基于Event-B形式化分析UML模型一致性 [J] . 夏志龙 ,高尚 . 江苏科技大学学报（自然科学版） . 2017,第003期
6. UML模型和Java代码之间的一致性检测方法 [C] . ZENG Yi ,曾一 ,LI Han-yu . 2014湖北省计算机学会学术年会 . 2014
7. 基于动态逻辑的UML模型一致性检验 [A] . 郑炳喜 . 2008

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

摘要

著录项

相似文献

相关主题

期刊订阅