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

论文摘要

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

论文目录

文章来源

类型: 期刊论文

作者: 王雷

关键词: 一致性检测,检测精度,图论,有限状态机,软件验证

来源: 北京邮电大学学报 2019年04期

年度: 2019

分类: 信息科技,基础科学

专业: 数学,计算机软件及计算机应用

单位: 中国矿业大学(北京)机电与信息工程学院

基金: 国家自然科学基金项目(60873093),国家科技重大专项项目(2017ZX05018-005),延安大学科研计划项目(YDY2019-16)

分类号: TP311.52;O157.5

DOI: 10.13190/j.jbupt.2018-283

页码: 70-75

总页数: 6

文件大小: 357K

下载量: 83

相关论文文献

• [1].信号一致性检测报警在电视播出中的应用[J]. 现代电视技术 2018(02)
• [2].TD-LTE终端射频一致性检测[J]. 现代电信科技 2015(03)
• [3].分布式数据不一致性检测的实现与优化[J]. 智能计算机与应用 2015(03)
• [4].一致性协议在分布式数据库系统中的应用[J]. 华东师范大学学报(自然科学版) 2018(05)
• [5].分布式大数据不一致性检测[J]. 软件学报 2016(08)
• [6].参与组织需求与协同业务过程一致性验证方法[J]. 计算机集成制造系统 2018(07)
• [7].远程测试系统数据不一致性检测算法的研究[J]. 遥测遥控 2008(02)
• [8].业务协同中组织需求的建模与一致性验证[J]. 计算机集成制造系统 2018(09)
• [9].关于异地数据库传输数据一致性检测仿真[J]. 计算机仿真 2019(02)
• [10].分布式文件系统副本一致性检测研究[J]. 计算机研究与发展 2012(S1)
• [11].SQL Server基于扇区的数据页IO一致性检测算法研究[J]. 广东技术师范学院学报 2011(03)
• [12].智能电能表通信协议及功能一致性检测方法的设计[J]. 电测与仪表 2010(S1)
• [13].浅谈装备多轴线一致性检测方法[J]. 中国新技术新产品 2019(21)
• [14].基于状态约简的顺序图和状态图一致性检测[J]. 计算机应用研究 2014(05)
• [15].多光轴一致性检测技术进展及其分析[J]. 红外与激光工程 2010(03)
• [16].基于函数依赖的数据一致性检测方法[J]. 数字技术与应用 2016(01)
• [17].光伏电池不一致性检测及其应用[J]. 中国电机工程学报 2012(19)
• [18].多框架知识的不一致性检测及其修正算法[J]. 计算机工程与应用 2016(23)
• [19].基于关联规则挖掘的气象观测设备一致性检测算法[J]. 电子测量与仪器学报 2017(10)
• [20].基于Artifact快照序列的行为一致性检测方法[J]. 软件学报 2015(03)
• [21].基于扩展足迹矩阵的一致性检测[J]. 山东科技大学学报(自然科学版) 2018(02)
• [22].基于Petri网的模型偏差域识别与模型修正[J]. 计算机研究与发展 2016(08)
• [23].光学瞄具三轴一致性检测系统研究[J]. 长春理工大学学报(自然科学版) 2014(01)
• [24].异地备份系统数据一致性检测方法[J]. 计算机工程与设计 2010(17)
• [25].配电网络连接线一致性的不断电检测技术[J]. 电测与仪表 2016(S1)
• [26].一种基于角点特征的场景锁定新方法[J]. 舰船科学技术 2013(12)
• [27].上下文不一致性检测及消除的研究[J]. 计算机科学 2011(09)
• [28].大间距轴线一致性检测技术进展与分析[J]. 光电工程 2019(02)
• [29].船舶异常行为的一致性检测算法[J]. 交通运输工程学报 2017(05)
• [30].面向软件定义网络的入侵容忍控制器架构及实现[J]. 计算机应用 2015(12)

标签：一致性检测论文;  检测精度论文;  图论论文;  有限状态机论文;  软件验证论文;