面向对象程序的波动分析及其在程序切片中的应用.pdfVIP

而向对象程序的波动分析及」在〔程序切片中的应用 摘 要 \乙。向对象技术已成为软件发展的一个，要方。，面向对象程序设计语、越 来越吸引了人们的注意，因为它使得人们能够写出更加灵活、可复}I!和易维护 的程序。从SMALLTALK到现在-I分流行的C+-1-,Java,已有许多不同版木 的面向对象语言。面向对象程序特有的层次结构及消息传递，使得程序的IIIWl 读性迥然于传统的结构程序设计语言，类、对象、继承、多态、动态定连等概 念的出现，向静态程序分析提出新的挑战，它们使得为命令式语言程序开发的 表示技术和分析技术不足以表示而向对象程序。如果能够给出明确理解的对象 及JC关系，将对我们的学习和理解面向对象语言带来很大的方便。 软件理解也是今天软件产业的一个示要课题，软件理解就是通过一定的设 施和方法来弄消一个程序是 “做什么”以及 “如何做”，理解一个软件系统实 际土是抽象该系统的更高层描述的过程。它在软件维护与引进方而有着T要的 U);:义。 程序切片是一种程序分析技术，它是通过把程序减少到只包含与某个特定 计算相关的那些语句来分析程序的。切片回答了 “!哪些程序语句潜在地影np 量 v在语句s的值?”这样一个问题。程序切片自动计算这些依赖，在程肠一flit 解 木文针刘 C曰涪舀的特点，浑人分fi7rrIlqIilXl;gf16(1j419r51NIP]6fi,ll人杀， 黑罗试“试一“软f4lolp_一YIrT.#,E‘成和’件“罐煲‘币等方‘filxi]P 捉出1IIJ于软件理解的00程序的波动概念，建立1一种波动分折模型，)I给:出 了一利，波动分析方法。另外，将波动分析与传统程序切片技术相结合，Nfl门’ 针对 C++程序的纂于波动分析的程序切片方法。C++程序的波动分析与程序切片 系统 RAPS/C++,足该方法的实现系统。JI:中波动分析与程序切片两个子系统相 互辅助，可为分析、理解与维护C++软件提供支持。 而向对象程序的波动分析及J在〔程序切片中的应川 Abstract Object-Orientedtechnologyhasbecomeanimportantdirectionofsoftware development.MoreandmoreattentionhasbeenpaidtoObject-Oriented programminglanguagebecauseitgiveprogrammersthepowertoproducebetter programwhichismoreflexible,andmoreeasytoreuseandmaintain.Therearemany differentversionsofObject-Orientedlanguages,suchasSmalltalkandpopularC++, Java.Becauseofitscharacteristichierarchystructureandmessagedelivery,the comprehensionof00programsdiffersfromthatoftraditionalprograms.New conceptionssuchasClass,object,inheritance,polymorphis，二anddynamicbinding giveanchallengetostaticprogranranalysis,andmakethetraditionalpresentation andanalysistechnologybasedoncommandlanguageinsufficienttopresent()() program.Ifwecansupplytangibleinheritancerelationsandmessagedelivery relations,itwilldoagreatfavortoourstudyandcomprehensionof00languages Softwarecomprehensionisalsoanimportantsubjectinsoftwareindustrytoday Theobjectiveistofindoutwhattodoandhowtodoofaprog，二，nviasome facilityan