删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

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

本站小编 Free考研考试/2021-12-25

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

王雷
中国矿业大学(北京) 机电与信息工程学院, 北京 100083
收稿日期:2018-11-16出版日期:2019-08-28发布日期:2019-08-26

作者简介:王雷(1988-),男,讲师,E-mail:wanglei0823@foxmail.com.
基金资助:国家自然科学基金项目(60873093);国家科技重大专项项目(2017ZX05018-005);延安大学科研计划项目(YDY2019-16)

Consistency Checking Between UML Models and Code Based on Graph Theory and FSM

WANG Lei
School of Mechanical Electronic and Information Engineering, China University of Mining and Technology, Beijing 100083, China
Received:2018-11-16Online:2019-08-28Published:2019-08-26







摘要/Abstract


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

引用本文



王雷. 基于图论和FSM的UML模型与代码一致性检测[J]. 北京邮电大学学报, 2019, 42(4): 70-75.
WANG Lei. Consistency Checking Between UML Models and Code Based on Graph Theory and FSM[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2019, 42(4): 70-75.





PDF全文下载地址:

https://journal.bupt.edu.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3360
相关话题/代码 北京 科研 北京邮电大学 实验

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 一种基于行为集成学习的恶意代码检测方法
    一种基于行为集成学习的恶意代码检测方法胥小波1,2,张文博1,何超1,罗怡11.中国电子科技网络信息安全有限公司,成都610041;2.中国电子科技集团公司第三十研究所,成都610041收稿日期:2018-12-22出版日期:2019-08-28发布日期:2019-08-26作者简介:胥小波(198 ...
    本站小编 Free考研考试 2021-12-25
  • 一种基于CFI保护的Android Native代码保护框架
    一种基于CFI保护的AndroidNative代码保护框架张文1,刘文灵2,李晖2,陈泽2,牛少彰11.北京邮电大学智能通信软件与多媒体北京市重点实验室,北京100876;2.北京邮电大学网络空间安全学院,北京100876收稿日期:2018-01-15出版日期:2018-12-28发布日期:2018 ...
    本站小编 Free考研考试 2021-12-25
  • 透明光网络耦合干扰系统实验研究
    透明光网络耦合干扰系统实验研究谭俊1,2,陈伟1,2,刘建国1,3,张一鸣1,2,祝宁华1,21.中国科学院半导体研究所固态光电信息技术实验室,北京100083;2.中国科学院大学材料科学与光电技术学院,北京100049;3.中国科学院大学电子电气与通信工程学院,北京100049收稿日期:2017- ...
    本站小编 Free考研考试 2021-12-25
  • 面向Android二进制代码的缺陷预测方法
    面向Android二进制代码的缺陷预测方法董枫,刘天铭,徐国爱,郭燕慧,李承泽北京邮电大学网络空间安全学院,北京100876收稿日期:2017-11-30出版日期:2018-02-28发布日期:2018-01-04作者简介:董枫(1990-),男,博士生,E-mail:dongfeng@bupt.e ...
    本站小编 Free考研考试 2021-12-25
  • 电磁混响室场均匀性评定方法的实验研究
    电磁混响室场均匀性评定方法的实验研究郭晓涛,何昭,王少华,王立峰中国计量科学研究院,北京100029收稿日期:2016-09-10出版日期:2017-08-28发布日期:2017-07-10作者简介:郭晓涛(1986-),男,副研究员,E-mail:guoxiaotao@nim.ac.cn.基金资助 ...
    本站小编 Free考研考试 2021-12-25
  • Euclid实验数据对相互作用暗能量模型的预测限制
    doi:10.12202/j.0476-0301.2020132马晓娇,代纪平,夏俊卿,北京师范大学天文系,100875,北京基金项目:国家重点研发计划资助项目(2017YFA0402600)详细信息通讯作者:夏俊卿(1983—),男,博士,教授.研究方向:宇宙学的理论模型分析和实验数据处理.E-m ...
    本站小编 Free考研考试 2021-12-25
  • 基于TPB的北京市居民低碳通勤选择机制研究
    doi:10.12202/j.0476-0301.2019250张昱,孙岩,刘学敏,北京师范大学地理科学学部,北京师范大学资源经济与政策研究中心,100875,北京基金项目:国家社会科学基金重大资助项目(15ZDA055)详细信息通讯作者:刘学敏(1963—),男,博士,教授.研究方向:区域经济、城 ...
    本站小编 Free考研考试 2021-12-25
  • 基于低温量热器的无中微子双贝塔衰变探测实验国内外研究进展
    doi:10.12202/j.0476-0301.2019329丁道龙1,2,,程建平1,曾鸣3,刘圆圆1,2,,1.北京师范大学核科学与技术学院,射线束技术教育部重点实验室,100875,北京2.北京市辐射中心,100875,北京3.清华大学工程物理系,100084,北京基金项目:中央高校基本科研 ...
    本站小编 Free考研考试 2021-12-25
  • 植株形态对单植株前后风速变化影响的风洞实验
    doi:10.12202/j.0476-0301.2020003张文,亢力强,,张琴,李彩云,邹学勇北京师范大学地理科学学部,地表过程与资源生态国家重点实验室/防沙治沙教育部工程研究中心,100875,北京基金项目:国家自然科学基金资助项目(41871003)详细信息通讯作者:亢力强(1976-), ...
    本站小编 Free考研考试 2021-12-25
  • 北京市通州区降雨时空特征分析
    doi:10.12202/j.0476-0301.2019255李宝1,2,于磊1,3,,,潘兴瑶1,3,鞠琴2,张宇航1,2,赵立军4,杨默远1,31.北京市水科学技术研究院,100048,北京2.河海大学水文水资源学院,210098,江苏南京3.北京市非常规水资源开发利用与节水工程技术研究中心, ...
    本站小编 Free考研考试 2021-12-25