教育论文网

基于模型的代码一致性检测方法的研究

硕士博士毕业论文站内搜索    
分类:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文计算机软件论文程序设计、软件工程论文软件工程论文
基于模型的代码一致性检测方法的研究
论文目录
 
摘要第1-4页
Abstract第4-9页
1 绪论第9-15页
  1.1 研究背景及意义第9-10页
  1.2 国内外研究现状分析第10-12页
  1.3 论文的研究内容和主要工作第12-13页
  1.5 论文的组织安排第13-15页
2 模型与代码的一致性分析的基本理论第15-25页
  2.1 UML基本概念第15-17页
    2.1.1 UML在软件工程中的应用第15页
    2.1.2 UML在一致性检测中的应用第15-17页
  2.2 基于面向对象的一致性检测第17-18页
    2.2.1 面向对象概述第17页
    2.2.2 面向对象机制对一致性检测的影响第17-18页
  2.3 代码分析方法第18-19页
    2.3.1 词法分析第18-19页
    2.3.2 语法分析第19页
  2.4 UML模型与代码间的映射关系第19-23页
    2.4.1 属性和方法的映射第19-20页
    2.4.2 类间关系的映射第20-23页
  2.5 一致性检测的基础理论第23-24页
  2.6 本章小结第24-25页
3 模型与代码的一致性检测方法的研究第25-55页
  3.1 模型与代码一致性检测的主要流程第25-26页
  3.2 UML模型的形式化定义第26-29页
    3.2.1 类图的形式化定义第26-27页
    3.2.2 时序图的形式化定义第27-28页
    3.2.3 时序调用图的形式化定义第28-29页
  3.3 基于面向对象机制的一致性检测第29-33页
    3.3.1 基于继承机制的一致性检测第29-30页
    3.3.2 基于多态机制的一致性检测第30-33页
  3.4 UML模型解析方法的设计第33-36页
    3.4.1 UML类图解析第33-34页
    3.4.2 UML时序图解析第34-35页
    3.4.3 时序图到时序调用图的转换第35-36页
  3.5 代码信息的提取及相关预处理第36-42页
    3.5.1 代码调用图的定义和描述第37-38页
    3.5.2 代码信息存储结构的设计第38-39页
    3.5.3 代码信息解析方法设计第39-42页
  3.6 一致性检测算法的设计第42-51页
    3.6.1 静态一致性检测算法第43-47页
    3.6.2 动态一致性检测算法第47-51页
  3.7 不一致性检测报告生成第51-54页
    3.7.1 不一致性类型分类第51-53页
    3.7.2 不一致性检测报告生成方法第53-54页
  3.8 本章小结第54-55页
4 基于一致性检测框架的工具实现与验证第55-73页
  4.1 一致性检测框架的设计第55-56页
  4.2 建模工具和模型解析方法第56-57页
    4.2.1 建模工具第56页
    4.2.2 XML文件解析方法第56-57页
  4.3 一致性检测工具的实现第57-63页
    4.3.1 模型与代码的解析第57-59页
    4.3.2 时序调用图SD-CG和代码调用图CCG的生成第59-61页
    4.3.3 调用图多态性扩展第61-62页
    4.3.4 模型与代码的一致性检测第62-63页
  4.4 实验验证及结果分析第63-71页
    4.4.1 实验模型第63-66页
    4.4.2 模型与代码信息的提取结果第66-67页
    4.4.3 调用图的生成及多态性扩展第67-69页
    4.4.4 代码与模型一致性检测结果第69-71页
    4.4.5 实验结果分析第71页
  4.5 本章小结第71-73页
5 总结与展望第73-75页
  5.1 总结第73-74页
  5.2 进一步工作第74-75页
致谢第75-77页
参考文献第77-81页
附录第81页
  A. 作者在攻读硕士学位期间发表的论文题目第81页

本篇论文共81页,点击这进入下载页面
 
更多论文
基于模型的代码一致性检测方法的研
基于智能手机的植物科普系统设计与
基于UML的软件复杂性度量方法和工具
萘超临界萃取工艺与萘油绿色分离研
面向资源的信息分享系统研究与实现
基于WF的工作流框架的设计和应用
Web下的可控图形组件设计平台
基于iOS平台的室内足位与路径引导系
固相萃取新材料的研制及在痕量重金
双控制河段船舶通行指挥系统的设计
基于SOPC的嵌入式Linux操作系统移植
军用物资仓储物流可视化管理系统设
电压和电解液对阳极氧化铝模板孔间
基于ARM11的嵌入式肺癌气体检测系统
基于Android平台的车间层装备信息交
稀土纳米荧光开关材料的制备与表征
商业银行统一报表平台的设计与实现
液相法制备高性能LiFePO4
淮河流域防汛抗旱气象保障系统的设
差分吸收光谱法测量臭氧浓度的研究
面向企业生产车间的劳动考核系统的
基于无线传感网络的声源定位技术研
宽带自服务产品的设计与实现
基于B/S架构报表生成与图形化的研究
石墨炉原子吸收光谱法测定地下水中
基于新技术的办公自动化管理系统的
气相色谱法与液相色谱法测定地下水
哈尔滨周边地区土壤中27种挥发性有
重金属污染在不同水体淡水鱼中的分
基于C/S架构的实验室管理系统的设计
畜禽养殖业规划环境影响评价——以
特种设备作业人员理论考试机考化的
复合纳米生物材料处理重金属—有机
大庆油田工程建设有限公司进销存管
污泥脱水及干燥研究
基于ASP.NET的物业服务平台的设计与
基于J2EE的企业关键指标分析系统的
高盐高氟废水综合治理的研究
高新技术企业认定管理系统的设计与
萃取结晶法处理环氧树脂废水
改性和造粒矿渣处理染料废水的研究
基于J2EE的旅游信息服务系统
基于Android平台的固定资产管理系统
高炉渣干式离心粒化数值模拟研究
基于ASP.NET的校园物品交易系统的设
水解发酵在剩余污泥减量化中的应用
基于B/S模式毕业设计管理系统的设计
循环再利用高温液态炉渣的项目规划
锦州石化公司燃煤锅炉新建脱硝装置
基于Android系统的情景模式转换器的
基于ASP的程序提交与自动批改系统的
农业灌溉退水环境影响评价方法及案
流量红包业务平台的设计与研究
ZnO-TiO2光催化性能试验
商业银行信用评级系统的设计与实现
混凝—超滤膜法处理聚驱采油废水工
社区矫正定位管理系统的设计与实现
流化吸附法去除水中苯酚的材料及工
基于Java的中小型酒店管理系统设计
微波诱导敏化剂的制备及其对焦化废
基于ASP.NET的黑河药厂营销管理系统
基于高效复合降解菌系的生物活性炭
某农村交易平台的iOS客户端设计与实
SBBR工艺处理制药废水的试验研究
税务稽查案件指挥协调系统的设计与
废旧LiCoO2锂离子电池回
家用财务管理系统的设计与实现
MEA溶液中添加固体颗粒物对CO
事业单位固定资产信息管理系统的设
赤霉素废水处理工艺案例的研究
油库周界监控系统的设计与实现
污泥预处理提升剩余污泥与菌糠共发
 
模型解析论文 代码解析论文 调用图论文 多态性扩展论文 一致性检测论文
版权申明:目录由用户麦**提供,www.51papers.com仅收录目录,作者需要删除这篇论文目录请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved