- 1、本文档共85页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
毕 业 设 计(论 文)
程序动态切片技术研究
专业年级: 07级计算机2班
学 号:
姓 名: 惠军绪
指导老师: 邹 阳
评 阅 人:
6月
中国 南京
摘 要
程序切片技术是一个关键程序分析技术,广泛应用于程序调试、测试和维护等领域。程序切片关键经过寻求程序内部相关特征,从而分解程序,然后对分解所得程序切片进行分析研究,以此达成对整个程序了解和认识目标。而动态程序切片关键是指在某个给定输入条件下,源程序实施路径上全部对程序某条语句或爱好点上变量有影响语句。
面向对象技术仍是现在软件开发方法主流,其中封装、继承、多态、并发等特征全部为程序了解和分析提出了新问题。本文在程序分析评测中引入使用基于依靠图程序切片技术,实现其切片功效,处理在程序了解、程序复杂性度量、程序转换和评测中碰到问题。
本文采取一个基于依靠图面向对象动态程序切片方法,关键算法是以静态程序程序依靠图为基础,先从程序依靠图里提取出对应给定实施历史数据依靠节点和控制依靠节点,使用图可达性算法,计算得出可达语句集,从而取得所需动态切片,对程序进行了解分析。
【关键词】:数据依靠、控制依靠、程序依靠图、程序切片、动态切片
Abstract
Program slicing is an important program analysis techniques, widely used in debugging, testing and maintenance and other fields. Program slicing within the main program by finding the relevant features to break down program, and then proceeds to the decomposition of the analysis of program slicing, in order to achieve the overall objective of understanding and awareness programs. The dynamic program slice is the main input in a given condition, the source of all the program execution path of a statement or point of interest on the variable impact statement.
Object-oriented software development method is still the mainstream, including encapsulation, inheritance, polymorphism, concurrency and other features are the understanding and analysis of the program raised new problems. In this paper, the introduction of evaluation procedures for the analysis of dependence graph-based program slicing techniques to achieve its slice function to solve the program comprehension, program complexity metrics, program transformation and evaluation of problems encountered.
This paper, a dependency graph based on dynamic program slicing of object-oriented approach, the core algorithm is the program that rely on a static picture shows the base, starting with the program dependence graph to extract the corresponding implementation of the history of a given node and the co
您可能关注的文档
- 科技成果鉴定作业流程.doc
- 科技推广综合项目验收工作总结.doc
- 科技管理工作规划方案.doc
- 科技进步奖—东露天矿原煤运输通道专项方案优化及特殊支护基本工艺的应用与研究应用.doc
- 科技进步奖和关键技术总结奖获奖综合项目.doc
- 科技部十城万盏半导体照明应用综合项目工程试点专项方案座谈会.doc
- 科普教室展示专项方案.doc
- 科松公司简介及主要综合项目工程案例.doc
- 科松系列门禁专项方案.doc
- 科目二考试作业流程图片.doc
- 专题06 经济体制(我国的社会主义市场经济体制)-五年(2020-2024)高考政治真题分类汇编(解析版).docx
- 专题11 世界多极化与经济全球化-5年(2020-2024)高考1年模拟政治真题分类汇编(解析版).docx
- 专题03 经济发展与社会进步-5年(2020-2024)高考1年模拟政治真题分类汇编(浙江专用)(解析版).docx
- 专题09 文化传承与文化创新-5年(2020-2024)高考1年模拟政治真题分类汇编(北京专用)(原卷版).docx
- 5年(2020-2024)高考政治真题分类汇编专题08 社会进步(我国的个人收入分配与社会保障)(原卷版).docx
- 专题07 探索世界与把握规律-5年(2020-2024)高考1年模拟政治真题分类汇编(解析版).docx
- 5年(2020-2024)高考政治真题分类汇编专题06 经济体制(我国的社会主义市场经济体制)(原卷版).docx
- 专题11 全面依法治国(治国理政的基本方式、法治中国建设、全面推进依法治国的基本要求)-五年(2020-2024)高考政治真题分类汇编(解析版).docx
- 专题17 区域联系与区域协调发展-【好题汇编】十年(2015-2024)高考地理真题分类汇编(解析版).docx
- 专题01 中国特色社会主义-5年(2020-2024)高考1年模拟政治真题分类汇编(原卷版).docx
最近下载
- 2024-2025学年小学美术一年级上册(2024)冀美版(2024)教学设计合集.docx
- 压力管道使用单位题库-安全总监.docx
- (完整版)西游记模板.ppt
- 学习贯彻《促进高质量充分就业》心得体会.doc
- 南京林业大学2020-2021学年《Python程序设计》期末考试试卷(A卷)及标准答案.docx
- 2022年集美大学软件工程专业《操作系统》科目期末试卷A(有答案).pdf VIP
- NY_T 3917-2021CN柑橘全果果汁(浆)加工技术规程.pdf
- 附件1:中国中铁股份有限公司职业项目经理管理办法(试行).doc
- 小学数学新西师版一年级上册全册教案(2024秋).doc
- 推拿学基础.doc
文档评论(0)