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

• 作者: 王雷
• 来源期刊: 北京邮电大学学报
• 学科: 工学
• 关键词: 一致性检测 检测精度 图论 有限状态机 软件验证
• 年，卷（期）: 2019,（4）
• 所属期刊栏目: 论文
• 页码范围: 70-75
• 页数: 6页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.13190/j.jbupt.2018-283

摘要

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