静态代码和模型检测一致性的设计研究

• 作者: 王丹
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: 一致性检测 静态代码 预处理
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 应用研究
• 页码范围: 45
• 页数: 1页
• 分类号: TP39
• 字数: 1629字
• 语种: 中文

摘要

针对代码与模型之间的不一致性问题,本文提出了一种基于UM L模型和Java代码之间的一致性检测方法.首先,给出了怎样检测模型与代码一致性的步骤,对模型检测中所要用到的模型和代码进行预处理,其次设计出模型代码一致性检测的框架,在本文的后面重点研究静态的模型与代码一致性.对静态检测设计了算法,进行了一致性验证研究.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王丹		7	7	2.0	2.0