基于依赖性的分析web应用的论文切片的研究

《基于依赖性的分析web应用的论文切片的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、摘要程序切片是一种分析和理解程序的技术，通过分析程序语句之间的依赖性关系自动分解源程序。程序切片技术被广泛应用于程序理解、调试、维护、测试以及反向工程等。随着Web技术的不断发展，J2EE、．net等新的W曲集成框架的出现，基于Web的应用系统的规模和复杂性也日益增加，使W

2、eb应用程序的可读性，可理解性受到很大影响。将切片方法运用到web应用程序中，对改善其可读性、可理解性，降低W曲应用程序的分析、测试和维护难度有很好的作用。w曲应用程序是基于W曲，采用HTML、各类脚本、客户端、服务器端编程技术、组件技术等建立的一种应用程序形式。它不同于传统的程序语言(如，C，C+

3、+)构造的程序，因此一些传统的程序分析方法对其并不完全适用。本文在研究、讨论依赖性分析及程序切片原理的基础上，通过分析w曲应用程序的语法和结构特点，给出了基于依赖分析的W曲应用切片方法。论文的主要工作包括：给出了wreb应用程序页面中的和页面间的依赖关系的定义。其中页面中的依赖关系包括嵌入依赖、调用依赖、参数依赖、数据依赖以及控制依赖；而页面间的依赖关系则包括超链接依赖、action依赖、定位依赖、包含依赖、前向依赖、继承依赖、引用依赖及组件依赖；给出了表示W曲应用程序的页面依赖图(PaDG)、结构依赖图(WAStrDG)及系统依赖图(WASDG)的定义以及W曲应用切片

4、及切片准则的定义。PaDG和WAStrDG是构建WASDG的基础，WASDG是计算W曲切片重要的数据结构；通过引入W曲应用程序的依赖图，提出了基于WAS仃DG的前向切片算法、后向切片算法以及基于WASDG的后向切片算法。前者计算的是粗粒度切片，主要用于分析W曲应用结构以获取更高层次的信息，后者计算的是细粒度切片，用于W曲工程的各个领域，如，可降低测试难度，简化W曲程序的理解；实现了一个针对JaVaScript及JSP语言所构造的W曲应用程序分析原型系统WASPS，该系统为W曲应用程序的分析提供了软件平台，借此可获得PaDG，WAStrDG，WASDG以及W曲应用切片。关

5、键词：程序切片依赖性分析Web应用分析Web应用切片ABSTRACTPro伊锄slicingisatechnique，whichc锄beusedto觚alyze锄du11derstaJldapro鲈锄．nc锄decomposetllesourcepro伊锄叭tomaticallybyaIlaIyziIlgdependencerelationbe铆eenstatements．Pr0铲amslicmgh弱manyapplicationsiIlsoRwareengineeringsuch弱pro伊锄underst孤ding，debugging，maintenallce，tes

6、tillg觚dreVerSe％gineering．WithmerapiddeVelopm％tofW曲teclⅡlology，somenewW曲iIlte莎ate鱼蛐eshaveeme唱ed，such鹊J2EE，．netetc．．TheW曲applicationsyst锄becomest00la唱e锄dcompleXt0readiIlg觚duIlders伽1diIlg．nwill沛proVeⅡlereadabili劬mtelligibili哆ofW曲application觚dreducemedifficul哆ofW曲application觚alysis，testing锄d

7、mainten舭ceby印ply洫gslicingtecluliquet0W曲application．W曲applicationpro影吼isb舔ed∞tlleW曲tecllIlolo烈usesHTML觚dcomponenttechnology，codedbyVariouSscript，client&serverpro伊锄millg．Becauseoft11ediff．erencebetween仃．aditionalprogrammingcons仃uctedbyC，C++etc．肌dW曲prO铲am，tlle仃aditionalPro鲫nDependenceGraph觚

8、dSyst锄DependenceGmph撇unsuitableforexpressingofW曲application．nismesisdiscussesmepriIlcipleOfd印endence锄alysis觚dpro伊锄slicing．By孤alyzing锄dsurmnarizingmefeatllreofWebapplicationprogr锄，weestablishaWebapplicationslicingmethodb觞edond印endence锄alysis．Themaillcon仃ibutionsOft11epaper