java内存泄漏规约及其工具研究

《java内存泄漏规约及其工具研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、隶韵女·粤硕士学位论文万方数据Java内存泄漏规约及其工具研究万方数据ASTUDYOFSPECIFICATIONANDTOOLFORJAv=f～MEMORYLEAKSDissertationSubmiRedtoSoutheastUniversityFortheAcademicDegreeofMasterofEngineeringBYSupervisedbyAssociateProf．ZhouXiao—yuSchoolofComputerScienceandEngineeringSoutheastUniv

2、ersityNovember2014万方数据东南大学学位论文独创性声明本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得东南大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均己在论文中作了明确的说明并表示了谢意。研究生签名：多纽盔日期：塑!虫!至!!呈东南大学学位论文使用授权声明东南大学、中国科学技术信息研究所、国家图书馆有权保留本人所

3、送交学位论文的复印件和电子文档，可以采用影印、缩印或其他复制手段保存论文。本人电子文档的内容和纸质论文的内容相一致。除在保密期内的保密论文外，允许论文被查阅和借阅，可以公布(包括以电子信息形式刊登)论文的全部内容或中、英文摘要等部分内容。论文的公布(包括以电子信息形式刊登)授权东南大学研究生院办理。研究生签名：燮导万方数据摘要虽然Java语言有自己的垃圾回收机制，但是在Java软件中仍然存在着内存泄漏问题。Java的内存泄漏主要因无用对象没有断开引用造成。它可能影响程序的正常执行，特别是对于那些长期运行

4、的程序，内存泄漏可能造成可用内存不足，影响程序性能，甚至导致程序崩溃。鉴于内存泄漏错误的严重性，必须对其进行研究，寻找解决泄漏的有效方法，从而最终提高软件质量。目前对Java内存泄漏的研究大都集中在发现泄漏现象之后的泄漏原因定位及泄漏修复上，而关于如何通过测试等手段发现泄漏现象的研究极少。不先发现内存泄漏现象的存在，就无法展开泄漏原因的定位及泄漏修复研究。在通过测试发现泄漏现象方面，目前判定程序是否存在泄漏主要依靠测试人员的经验。少数研究利用断言系统为泄漏判定提供部分支持，但它们大都需要用户对软件细节具

5、有深入理解，而且判定是否存在泄漏的断言代码散布在程序中，难以维护。为此，我们定义了一种新的泄漏规约语言LeakSpec，并且开发了一个支持该规约语言的规约检查器LeakSpecTool，将经验性的人工泄漏判定。转化为基于规约语言的自动泄漏判定。泄漏规约语言语法与AspectJ类似，支持针对检查点和事务的规约，具有较强的表达能力与抽象性，利于用户编写自己的规约来钡0试软件中是否存在内存泄漏。同时我们也提供一个运行时(runtime)系统来帮助用户完成对待测试软件的内存信息的获取，使用户能更容易的编写规约文

6、件。Leal【SpecTool工具可以加载用户编写的规约与被测试软件一起运行来完成对内存泄漏的测试发现。利用AOP技术，规约系统可以使用户在不改变源码的基础上完成对软件的内存泄漏测试。我们在开源软件上进行了实验论证，结果表明本文的泄漏规约及工具能比较有效地支持Java软件的内存泄漏发现。关键词：Java，内存泄漏，规约语言，测试，工具万方数据东南火学硕上学位论文AbstractEventhough、Ⅳitllabuilt-ingarbagecollectorinlanguage．Javaprograms

7、maystillsufferfrommemoryleakproblem．Therea$onofsuchmemoryleaksisusuallyduetounclearedreferencestotheuselessobjects．Memoryleaksmayaffectprogramexecution,especiallyforthoselongrunningones．Memoryleaksmayleadtomemoryshortage，degradeprogramperformance,andsome

8、timesevene目tuseout-of-memorycrashes．Theproblemc锄beserious．Weneedtofindeffectivewaystoresolvethoseleaksandtherebyimprovethequalityofsoftware．Currently,mostoftheexistingworkonmemoryleakproblemsfocusesonleakdiagnosingorleakfi