白盒测试工具及其使用方法ppt课件.ppt

文档介绍：白盒测试工具及其使用方法为什么要进行白盒测试?如果所有软件错误的根源都可以追溯到某个唯一原因,那么问题就简单了。然而,事实上一个bug常常是由多个因素共同导致的,如下图所示。假设此时开发工作已结束,程序送交到测试组,没有人知道代码中有一个潜在的被0除的错误。若测试组采用的测试用例的执行路径没有同时经过x=0和y=5/x进行测试,显然测试工作似乎非常完善,测试用例覆盖了所有执行语句,也没有被0除的错误发生。、C++、Java、Ada软件质量分析工具Audit;代码规范性检测工具Rulechecker;测试覆盖率统计工具TestCheckerParasoftjtestjava代码静态分析、接口函数测试、自回归测试C++TestC、C++.CodeWizardC、C++代码规则检测Insure++C、C++内存检查,puwareDevPartnerC++,Java,VisualBasic代码覆盖率分析工具TrueCoverage,代码效率分析工具TrueTime和内存分析检查工具BoundsCheckerIbmRationalPurifyPlusJava、C/C++、代码覆盖率分析工具pureCoverage,abeIQC、C++、Java、Ada、用于静态结构分析、代码复杂度和覆盖率分析,abe Test ,McCabe QA ,McCabe Reengineering等组件LDRATestBedC、C++、Ada静态结构分析、代码检查、覆盖率分析PRQAQAC、C++、Java代码检查GimpelPC-LintC、C++代码检查PolySpacePolySpaceC、C++、Ada代码静态分析北航QESATC++、Java代码动态测试和覆盖率分析AppliedMicrosystemsCodeTest嵌入式硬件测试工具,可进行内存检查、覆盖率分析、代码性能分析开源JUNITJava单元测试,ount..test;..*;.;ount{ /** *取一个数的绝对值 * ****@paramn ****@return */ publicstaticintabs(intn){ returnn>0?n:(-n); } /** *两个数相加 * ****@paramm ****@paramn ****@return */ publicstaticintaddition(intm,intn){ returnm+n; }}:.test;..*;.;.;.;ount{ ***@SuppressWarnings("unused") ount; ***@Before publicvoidsetUp()throwsException{ account=ount(); }