作者:王雷一致性检测检测精度图论有限状态机软件验证
摘要:提出了一种基于图论和有限状态机(FSM)的统一建模语言(UML)模型与代码一致性检测方法.给出了该方法的基本思路;分别讨论了UML模型与代码静态一致性检测和动态一致性检测算法;实现了该检测方法的支撑工具,并使用该工具对C++项目UMLChecker 1.0进行了检测.实验结果表明,所提方法可对UML模型与代码的一致性进行检测,且具有较高的检测精度.通过对静态行为和动态行为的一致性检测可知,检测精度明显提升.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社