资源描述:
《程序动态片技术研究.doc》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、毕业设计(论文)程序动态切片技术研究专业年级:07级计算机2班学号:0706010234姓名:惠军绪指导教师:邹阳评阅人:2011年6月中国南京摘要程序切片技术是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。程序切片主要通过寻找程序内部的相关特性,从而分解程序,然后对分解所得的程序切片进行分析研究,以此达到对整个程序理解和认识的目的。而动态程序切片主要是指在某个给定输入的条件下,源程序执行路径上所有对程序某条语句或兴趣点上的变量有影响的语句。面向对象技术仍是目前软件开发方法的主流,
2、其中封装、继承、多态、并发等特征都为程序的理解与分析提出了新的问题。本文在程序的分析评测中引入使用基于依赖图的程序切片技术,实现其切片功能,解决在程序理解、程序复杂性度量、程序转换和评测中遇到的问题。本文采用一种基于依赖图的面向对象的动态程序切片方法,核心算法是以静态程序的程序依赖图为基础,先从程序依赖图里提取出对应给定执行历史的数据依赖节点和控制依赖节点,使用图可达性算法,计算得出可达语句集,从而获得所需的动态切片,对程序进行理解分析。【关键词】:数据依赖、控制依赖、程序依赖图、程序切片、动态切片
3、AbstractProgramslicingisanimportantprogramanalysistechniques,widelyusedindebugging,testingandmaintenanceandotherfields.Programslicingwithinthemainprogrambyfindingtherelevantfeaturestobreakdownprogram,andthenproceedstothedecompositionoftheanalysisofprog
4、ramslicing,inordertoachievetheoverallobjectiveofunderstandingandawarenessprograms.Thedynamicprogramsliceisthemaininputinagivencondition,thesourceofalltheprogramexecutionpathofastatementorpointofinterestonthevariableimpactstatement.Object-orientedsoftwa
5、redevelopmentmethodisstillthemainstream,includingencapsulation,inheritance,polymorphism,concurrencyandotherfeaturesaretheunderstandingandanalysisoftheprogramraisednewproblems.Inthispaper,theintroductionofevaluationproceduresfortheanalysisofdependencegr
6、aph-basedprogramslicingtechniquestoachieveitsslicefunctiontosolvetheprogramcomprehension,programcomplexitymetrics,programtransformationandevaluationofproblemsencountered.Thispaper,adependencygraphbasedondynamicprogramslicingofobject-orientedapproach,th
7、ecorealgorithmistheprogramthatrelyonastaticpictureshowsthebase,startingwiththeprogramdependencegraphtoextractthecorrespondingimplementationofthehistoryofagivennodeandthecontroldependencedatadependenceNodes,usingthegraphaccessibilityalgorithmcalculateds
8、tatementssetuptoobtainthenecessarydynamicslicing,programunderstandingoftheanalysis.朗读显示对应的拉丁字符的拼音朗读显示对应的拉丁字符的拼音 字典翻译以下任意网站·ArteToreo-西班牙语·ZeitOnline-德语·PhiladelphiaInquirer-美国·LosAngelesTimes-美国·News.de-德语·TheWashingtonPost-美国·G1Globo-巴