RationalPurify使用教程.ppt.ppt

《RationalPurify使用教程.ppt.ppt》由会员分享，可在线阅读，更多相关《RationalPurify使用教程.ppt.ppt（44页珍藏版）》请在三一办公上搜索。

1、使用Rational Purify,清华大学出版社,目录,Purify概述 Purify具体功能描述 Purify使用举例Purify主要参数设置,Purify概述,程序代码中，与内存有关的问题可以分成两大类：内存访问错误和内存使用错误。内存访问错误包括读内存错误和写内存错误。读内存错误可能让程序模块返回意想不到的结果，从而导致后续的程序模块运行异常。内存使用错误主要是指程序模块申请的内存没有正确释放，系统可用内存逐渐减少，使程序运行逐渐减慢，直至停止。,Purify概述(续),Purify使用具有专利的OCI（Object Code Insertion，目标代码插入）技术，在被测试的目标程序

2、中插入一些函数，这些函数主要是内存检测的语句。这些语句放置在程序代码中所有内存操作之前，一旦在程序运行时发现内存问题，它们就会报告问题信息。Purify主要检测以下类型的内存错误：数组内存是否越界读/写、是否使用了未初始化的内存、是否对已释放的内存进行读/写、是否对空指针进行读/写、内存泄漏等。Rational Purify能自动找出错误的准确来源和位置，如果有源代码，可以从Purify中启动相应的编辑器，快速修复错误。Rational Purify可以从功能、可靠性和性能等多个方面反映应用程序的质量。,Purify的特色,提供了一套内存使用状况分析工具，自动找出Visual C/C+和Jav

3、a 代码中与内存有关的错误 Purify 的WinCheck 功能会检查应用程序每次COM 方法和Windows API的调用，包括GDI 句柄检查和Windows资源泄漏及错误指针的检查Rational Purify不但能检查可访问源代码的内存错误，还能检查程序库中无权访问的源代码错误。使用Purify的PowerCheck功能可以定制错误检查规则，可以按模块调整所需的检查级别。Rational Purify与Microsoft Visual Studio 集成，程序员在开发工具中就可以获得Purify的自动调试以及源代码编辑功能。,目录,Purify概述 Purify具体功能描述 Puri

4、fy使用举例Purify主要参数设置,可检查的错误类型,堆阵相关错误如未初始化内存的读取和复制错误，以及数组越界读写错误）堆栈相关错误如未初始化内存的读取和复制错误，以及堆栈越界读写错误）垃圾内存收集Java 代码中相关的内存管理问题COM 相关错误如COM API/接口调用失败,可检查的错误类型(续),指针错误如无效指针和空指针的读写错误内存使用错误如释放内存的读写错误、内存泄漏和释放内存匹配错误Windows API 相关错误如Windows API 函数参数错误和返回值错误句柄错误如泄漏和句柄使用错误,可检测的错误代码,ActiveX(OLE/OCX）控件COM 对象ODBC 构件Jav

5、a 构件、applet、类文件、JAR 文件,可检测的错误代码（续）,Visual C/C+源代码Visual Basic 应用程序内嵌的Visual C/C+构件第三方和系统DLL支持com调用的应用程序中的所有Visual C/C+构件,测试信息说明,信息色彩，Purify对源程序中有内存问题的代码使用不同的颜色标识。红色：内存块没有被分配和初始化蓝色：内存块已经被分配并且已初始化黄色：内存块已经被分配但是没有初始化,测试信息说明（续）,名称缩写注：下面是可引起内存不可读或不可写的名称缩写：Array Bounds Read(ABR)：数组越界读Beyond Stack Read(BSR)

6、：堆栈越界读Free Memory Read(FMR)：空闲内存读Invalid Pointer Read(IPR)：非法指针读Null Pointer Read(NPR)：空指针读Uninitialized Memory Read(UMR)：未初始化内存读,目录,Purify概述 Purify具体功能描述 Purify使用举例Purify主要参数设置,程序,#include using namespace std;int main()char*str1=four;char*str2=new char4;/没考虑字符串终止符0也要占内存空间，导致后面数/组越界错误 char*str3=str2

7、;coutstr2endl;/UMR，str2没有赋值，对未初始化的内存读（Uninitialized/Memory Read）strcpy(str2,str1);/ABW，str2空间不足，数组越界写（Array Bounds Write）coutstr2endl;/ABR，str2空间不足，数组越界读（Array Bounds Read）delete str2;str20+=2;/FMR and FMW，对已经释放内存读以及对已经释放内存写（Free/Memory Read、Free Memory Write）delete str3;/FFM，再次释放已经被释放的空间(Free Freed

8、 Memory)return 0;,第一步：启动Purify,第二步：在Purify中运行被测程序,选择File菜单中的Run命令后，出现如图3-2所示的Run Program对话框,第三步,在Program name中选择被测对象exp11.exe后，点击“Run”，运行程序。运行前选择工作目录，工作目录默认为被测程序所在的目录；如果被测程序有命令行参数，在Command-line arguments项中输入；在Collect项中选择要收集的信息类别；选择是否在调试器下运行程序运行结束，出现Purify检测结果如下,测试结果,结果说明,通过此窗口，可以看到在程序运行期间检测到的与内存有关的错

9、误：第3、4、5行，黄色标注读未初始化内存（UMR）第6、8行，红色标注数组越界导致内存不可读（ABR）第7行，红色标注数组越界导致内存不可写（ABW）第9行，红色标注对已经释放的内存读（FMR）第10行，红色标注对已经释放的内存写（FMW）第11行，红色标注再次释放已经释放的内存（FFM）其他行，蓝色标注运行过程信息和测试摘要信息。,结果说明（续）,双击Data Browser窗口中的错误或提示前面的“”号，可以看到该错误的详细信息。如果被测程序包含源代码，则在该错误的详细信息中列出错误的代码行并解释造成错误的原因。例如，点击第7行前面的“+”号，会展开如图3-4所示的错误说明。其中，ABW

10、指明了错误类型，Error location 指出错误在源代码中的位置，Allocation location指出错误的内存分配位置,结果说明（续）,结果说明（续）,继续点击Error location前面“+”号后，再点击main前面的“+”号，出现下如图所示的错误位置提示。,结果说明（续）,保存测试信息。在工作目录中生成一个.pfy 文件，其中保存了DataBrowser 窗口中的数据，以便进行数据共享。无论是否保存测试信息，都将在工作目录中生成一个文本文件，形成测试日志。,目录,Purify概述 Purify具体功能描述 Purify使用举例Purify主要参数设置,Settings项中

11、的default setting,Error and Leaks标签，用于设置内存错误和泄漏参数。,Show first message only：仅在相同的错误第一次出现时显示相关信息。Show UMC message：显示UMC（Uninitialized Memory Copy）信息，默认情况下，Purify不显示UMC信息。Memory leaks：程序退出时报告内存泄漏信息。Memory in use：程序退出时报告内存使用情况信息。Handles in use：程序退出时报告句柄使用情况信息。Show maximum call stack detail：显示最大调用堆栈信息。Len

12、gth for error：设置错误堆栈长度。,Length for allocation：通过设置Purify最大调用堆栈层数，确定与程序中发现的错误一致的内存分配位置。Deferred free queue：延迟自由队列。Length：延迟自由队列长度。Threshold：保留在延迟自由队列中内存块大小设置，超过该尺寸的内存块被立即释放，而不会保留在延迟自由队列中。Red zone length：设置亏损区长度。,PowerCheck标签，定制错误检查规则,The module doesnt contain debugging info：检查不包含调试信息的模块The module is

13、largerKB：只检查大于K字节的模块Default coverage level：对于同时进行的代码覆盖分析，此处设置覆盖级别，如“代码行”或“函数”，以便更好地控制错误检查和数据覆盖。Line：覆盖级别为代码行。Function：覆盖级别为函数。Exclude all modules in Windows directory：排除所有Windows目录下的模块。,Files标签,设置相关文件的路径及填写附加信息,Advanced标签,Leak scan interval：被测程序发生内存泄漏后，设置Purify报告内存泄漏信息等待的时间。如果设置为0，Purify仅在被测程序退出时一次性

14、报告所有内存泄漏信息,Settings项中的Preferences,Runs标签 Workspace标签 JVM标签 Source Code标签,Runs标签,Show instrumention progress：对本地非托管代码测试时，是否显示检测对话框。Show instrumention warnings：对本地非托管代码测试时，在不同的程序文件中多次检测到相同的警告信息，是否每次都显示警告信息对话框。如果希望Purify在发现警告信息后能够持续检测，不选择此项，可以随后在属性窗口的日志标签中查看此类警告信息。Show LoadLibrary instrumention progres

15、s：对VC+、VB等本地代码进行测试，当工具文件需要调用工具列表时，是否显示工具对话框。Confirm run concellation：点击File菜单下Cancel Run命令或者点击按钮中途取消运行时，是否每次都显示确认消息。,Runs标签（续）,Create automatic merge：创建自动合并。Use defaule filter set：下次运行本地非托管代码，是否使用当前的过滤器设置。Use case sensitive path name：设置Purify对路径名是否区分大小写。Break on warnings in addition to error：测试本地非托管

16、代码时，选择此项，无论错误还是警告出现，Purify都会中断并启动查错工具；不选择此项，仅仅错误出现时Purify才会中断并启动查错工具，同时，启动“Use the following debugger”中用户指定的调试器调试错误代码，如果没有指定调试器，则使用系统中注册的调试器。注意：Purify不支持Visual Studio.NET作为本地非托管代码的调试器。Use the following debugger：设置用户指定的调试器。,Workspace标签,Workspace标签（续）,Show Welcome Screen at startup：独立启动Purify软件时，每次显示欢

17、迎窗口。Purify与Visual Studio集成使用时，不管此处如何设置，都不显示欢迎窗口。Show directories in file names：在输出窗口显示文件名时，是否同时显示该文件的路径。Usesounds：出现下列事件时，是否播放提示音：错误、警告、欢迎屏幕、检测开始、检测结束、程序开始、程序结束。Warn on unsaved data：关闭或退出一个没有保存测试数据的程序时，是否显示警告消息对话框。Expand call stacks：选择此项后，用户点击错误窗口中的“+”图标查看错误时，Purify自动扩展其中的每个函数调用分支，其中不包含源代码。,Workspac

18、e标签（续）,Create data browsers hidden：选择此项，Purify创建数据浏览窗口时，并不显示该浏览窗口。Show commas in numbers：在数字显示中是否使用逗号作为分隔符。Show Guide to Using Memory Profiling：运行Purify的内存概要分析程序时，显示“Guide to Using Memory Profiling in Purify”向导，该向导包含了一些简单指令和相关信息，以协助用户更好更快地启动该功能。Discard excess memory profiling：Purify自动丢弃在浏览窗口中显示的集成运行

19、数据，程序运行结束后，仅显示快照和差异比较条目。Sync Call Graph from Rrference：函数调用曲线图中选择的方法与对象参考曲线图中选择的对象是否自动同步。,Workspace标签（续）,Show Object List View：显示数据浏览器窗口中的对象列表视图。对象列表视图显示了内存概要分析程序运行期间分配的方法对象的详细信息。Show in Navigator：选择程序运行期间在Navigator窗口中要显示的信息，如日期、时间、错误数量、检测到的警告信息、内存泄漏的字节数、用户指定的命令行参数等。Sort Memory Items in Error View：选

20、择Purify消息在错误视图中的排列次序。消息可以按照泄漏的字节数排列（降序），也可以按照模块名称排列（升序），如果两者都选择，先按照模块名排序，相同的模块名按泄漏的字节数排序。,JVM标签,测试Java程序时，用户在该标签中选择Java虚拟机，个性化Java虚拟机。,Source Code标签,Show C+class names：错误视图中显示的C+函数名同时包含类名。Show C+argument lists：错误视图中显示的C+函数名包含参数列表。Confirm recently changed source：Purify在检测到源文件改变后，是否显示消息。Show instructi

21、on pointers：在错误视图中是否显示调用堆栈条目的指令地址。例如：如果显示指令地址，会有类似下列的输出：CStockApp:CStockApp(void)Stock.cpp:155 ip=0 x0040dd11；如果不显示指令地址，则会显示如下：CStockApp:CStockApp(void)Stock.cpp:155Show instruction pointers offset：在错误视图中是否显示函数指令地址的相对偏移量。,Source Code标签（续）,Spaces per：显示源代码时，Purify使用几个空格表示tab字符。Lines of source：在含有错误的代码行之前以及之后，突出几行用以显示源代码（包括空白行）。Use Microsoft Visual Studio editor：使用微软的 Visual Studio 编辑器查看源代码。Use Purify source viewer：使用Purify的查看器查看源代码。Use the following editor：用户自己设置一个查看源代码的编辑器。,Source Code标签（续）,View当中的Create Filter,略,