毕业设计(论文) - carch计算机体系结构国家重点实验室

《毕业设计(论文) - carch计算机体系结构国家重点实验室》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、毕业设计（论文）中文题目：图形化程序切片工具的设计英文题目：TheDesignofProgramSlicingVisualization学院：计算机与信息技术专业：计算机科学与技术学生姓名：王雪学号：05281260指导教师：于双元冯晓兵2009年6月日北京交通大学毕业设计（论文）中文摘要程序切片是一种抽象出与给定计算变量有关的语句的分析技术。而非形式的讲，程序切片是指从程序行为的一个子集开始，将其缩小到最小的形式，使这种形式仍能表达原程序中所给定子集的行为。这种被缩小的[8]程序，就叫“切片”。程序切片在程序调试、软件维护和程序理

2、解方面起着重要作用。现在一种广泛使用的程序切片算法是由Horwitz等在文献[5]中提到的。这种方法基于依赖图，使用图可达性算法来自动地计算程序切片，能够获得更好的切片精度。通过图形化的方式给出切片的过程和切片的结果能够提高程序切片工具的实用性。但是，由于依赖图的规模非常的巨大，切片的结果很难在删除的内容:和控制流图依赖图上直观的反映，同时也给切片工具的调试带来了相当的困难。删除的内容:或控制流图本文正是针对这一问题进行讨论。本文首先介绍了程序切片的相关概念，阐述基于依赖图的切片算法。通过实验数据说明规模巨大的依赖图，给图形化程序切

3、片工具带来的挑战，同时用户对程序源码分析的需求，使得本工具需要实现对源码的显示功能，然后介绍切片工具的图形化设计过删除的内容:不得程，使用层次化结构的设计方式，给出两种模式的切片图形化结果。为了满足普通用户需求，在控制流图上给出切片的结果；对于切片调试开发人员，对切片过程产生的大规模依赖图及大量信息表示的图形化给出相应的删除的内容:、控制流图解决办法。本文所论述的程序切片图形化过程已利用画图工具UdrawGraph在Open64编译平台上实现。该工具对中国科学院计算技术研究所计算机系统结构重点实验室基于Open64编译平台上实现的程

4、序分析工具进行图形化，已达到令人比较满意的效果。在本文的最后，给出该工具应用的示例图，展示图形化的效果。关键词：程序切片；依赖图；UdrawGraph；层次化设计；交互I北京交通大学毕业设计（论文）AbstractProgramslicingisamethodtoabstractrelatedstatementsforgivenvariablesofprograms.Informally,programslicingisstartedfromasubsetofaprogram’sbehavior,andreducingthatpro

5、gramtoaminimalformwhichstillproducesthatbehavior.Thereducedprogramiscalleda“slice”[8].Programslicingisusefulinprogramdebugging,softwaremaintenance,andprogramunderstanding.Atpresent,theslicingalgorithm,proposedbyHorwitz,etc[5],iswidelyused.Itmainlyusesdependencegraphsto

6、presentprogramsandcomputesprogramslicesautomaticallybygraphreachabilityalgorithms.Anditsprecisionishigherthanthepreviousalgorithms.Itmakesprogramslicingtoolsmorepracticalifthevisualizationtoolsareusedtoobtaintheprocessandresultoftheprogramslices.However,thedependencegr

7、aphsandcontrolflowgraphsareveryhuge,soitisdifficulttoshowtheresultoftheprogramslicesdirectlybythedependencegraphsorcontrolflowgraphs.Inaddition,italsobringsingreatdifficultiestodebugprogramslicing.Thispapertriestoaddresstheaboveproblems.Thepaperfirstlydescribestheconce

8、ptsofprogramslicingandslicingalgorithmsbasedonthedependencegraphs.Then,experimentresultsareusedtoshowthehugesizesofth