%0 Journal Article
%A 王雷
%T 基于图论和FSM的UML模型与代码一致性检测
%D 2019
%R 10.13190/j.jbupt.2018-283
%J 北京邮电大学学报
%P 70-75
%V 42
%N 4
%X 提出了一种基于图论和有限状态机（FSM）的统一建模语言（UML）模型与代码一致性检测方法.给出了该方法的基本思路；分别讨论了UML模型与代码静态一致性检测和动态一致性检测算法；实现了该检测方法的支撑工具，并使用该工具对C++项目UMLChecker 1.0进行了检测.实验结果表明，所提方法可对UML模型与代码的一致性进行检测，且具有较高的检测精度.通过对静态行为和动态行为的一致性检测可知，检测精度明显提升.
%U https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2018-283