第7章 Rational系统测试组件的运用.pptVIP

第7章 Rational系统测试组件的运用 7.3 Rational Purify 7.3.1 Rational Purify功能简介 Purify是一个面向VC, VB或者Java开发的测试Visual C/C++和Java代码中与内存有关的错误， 确保整个应用程序的质量和可靠性。在查找典型的Visual C/C++ 程序中的传统内存访问错误，以及 Java 代码中与垃圾内存收集相关的错误方面，Rational Purify 可以大显身手。 功能描述 一、可检查的错误类型 未初始化的局部变量 未申请的内存 使用已释放的内存 数组越界问题 内存丢失问题 堆栈溢出问题 堆栈结构边界错误 错误类型 All error messages 所有错误信息。 All informational messages 所有报告的信息 All warning messages 所有警告的信息。 Allocations deallocation 地址分配和储存单元分配。 Dll messages 动态连接库信息。 Invalid handle 无效，非法的句柄。 Invalid pointer 无效，非法的指针。 错误类型 Memory leaks 内存泄露。 Parameter error 参数错误。 Stack error 堆错误。 Unhandled exception 未处理的例外。 Uninitialized Memory Read (UMR) 未初始化内存读 错误类型 Array Bounds Read (ABR)：数组越界读 Array Bounds Write (ABW)：数组越界写 Beyond Stack Read (BSR)：堆栈越界读 Free Memory Read (FMR)：空闲内存读 Invalid Pointer Read (IPR)：非法指针读 Null Pointer Read (NPR)：空指针读。 错误类型 信息色彩: 红色：内存块没有被分配和初始化 蓝色：内存块已经被分配并且初始化了 黄色：内存块已经被分配并且没有初始化 例子程序hello.c #include windows.h WINAPI WinMain( HINSTANCE hInstance, // handle of current instance HINSTANCE hPrevInstance,// handle of previous instance LPSTR lpszCmdLine,// address of command line int nCmdShow // show state of window ) { int i, length; char *string1 = Hello, Windows; char *string2 = malloc(10); 例子程序hello.c length = strlen(string2); // UMR because string2 is not initialized. for (i = 0; string1[i] != \0; i++) { string2[i] = string1[i]; // ABWs generated on this line. } length = strlen(string2); // ABR generated on this line. MessageBox(NULL, Hello, Windows, The Windows Hello Dialog, MB_OK | MB_ICONINFORMATION); return 0; } 例子程序example.cpp 1 #include iostream 2 using namespace std; 3 int main(){ 4 char* str1=four; 5 char* str2=new char[4]; //not enough space 6 char* str3=str2; 例子程序example.cpp 6 char* str3=str2; 7 coutstr2endl; //UMR 8 strcpy(str2,str1); //ABW 9 coutstr2endl; //ABR 10