2．Purify的原理及使用
IBM Rational PurifyPlus是一组程序运行时的分析软件。她包括了程序性能瓶颈分析软件Quantify， 程序覆盖面分析软件PureCoverage，和本文的主角：程序运行错误分析软件Purify。Purify可以发现程序运行时的内存访问，内存泄漏和其他难以发现的问题。
同时她也是市场上唯一支持多种平台的类似工具，并且可以和很多主流开发工具集成。Purify可以检查应用的每一个模块，甚至可以查出复杂的多线程或进程应用中的错误。另外她不仅可以检查C/C++，还可以对Java或.NET中的内存泄漏问题给出报告。
2.1 Purify的原理
程序运行时的分析可以采用多种方法。Purify使用了具有专利的目标代码插入技术（OCI：Object Code Insertion）。她在程序的目标代码中插入了特殊的指令用来检查内存的状态和使用情况。这样做的好处是不需要修改源代码，只需要重新编译就可以对程序进行分析。
对于所有程序中使用的动态内存，Purify将它们按照状态进行归类。这可以由下图来说明（来自[DEV205]）：
参见本文中以上给出的代码，在程序第5行执行后，str2处于黄色状态。当在第7行进行读的时候，系统就会报告一个访问未初始化内存错误（Uninitialized Memory Read）。因为只有在绿色状态下，内存才可以被合法访问。
为了检查数据越界错误（ABR，ABW），Purify还在每个分配的内存前后插入了红色区域。这样一来，超过边界的访问指令必定落在非法区域，从而触发ABR或者ABW错误报告。这里需要指出一点。访问未初始化内存错误UMR在某些情况下其实是合法的操作，例如内存拷贝。所以在分析报告时可以把UMR放到最后，或者干脆从结果中滤除。
2.2 Purify的使用
这里简单介绍一下Purify在Windows和UNIX环境下的使用。
在Windows中，只要运行Purify，填入需要分析的程序及参数就可。Purify会自动插入检测代码并显示报告。报告的格式如下（来自[DEV205]）：
蓝色的图标代表一些运行的信息，比如开始和结束等。黄色是Purify给出的警告。通常UMR会作为警告列出。红色则代表严重的错误。每一种相同的错误，尤其是在循环中的，会被集中在一起显示，并且标明发生的次数。由每个错误的详细信息，用户可以知道相应的内存地址和源代码的位置，并直接修改。另外用户还可以设置不同的滤过器，用来隐藏暂时不关心的消息。
在UNIX系统中，使用Purify需要重新编译程序。通常的做法是修改Makefile中的编译器变量。下面是用来编译本文中程序的Makefile：
CC=purify gccall: pplusdemopplusdemo: pplusdemo.o $(CC) -o pplusdemo pplusdemo.o -lstdc++pplusdemo.o: pplusdemo.cpp $(CC) -g -c -w pplusdemo.cppclean: -rm pplusdemo pplusdemo.o
首先运行Purify安装目录下的purifyplus_setup.sh来设置环境变量，然后运行make重新编译程序。需要指出的是，程序必须编译成调试版本。在gcc中，也就是必须使用"-g"选项。在重新编译的程序运行结束后，Purify会打印出一个分析报告。它的格式和含义与Windows平台大同小异。
文章来源于领测软件测试网 https://www.ltesting.net/
