软件测试5-白盒测试课题.ppt

* * 集合T满足程序P的全使用(all use)准则，当且仅当 对于所有变量v∈V，T包含从v的每个定义结点到v的所有使用的定义清除路径 * * * 白盒测试工具 Java语言：Junit C++：CppUnit、VisualUnit等 内存资源泄漏检查：Rational的Purify等； 代码覆盖率检查：Rational的PureCoverage，Telelogic公司的logiscope,Macabe公司的Macabe等； 开源覆盖率测试软件gCov、Coverlipse等； 回顾 逻辑覆盖的方法 基路径测试 循环测试 数据流测试 程序插装法 课后思考：NextDate public void nextday( ){ switch( this.month){ case 1,3, 5, 7, 8, 10: if( this.day == 31){ this.month = this.month + 1; this.day = 1; } else{ this.day = this.day + 1; } break; case 4, 6, 9,11: if( this.day == 30){ this.month = this.month + 1; this.day = 1; } else{ this.day = this.day + 1; } break; case 12: if( this.day == 31){ this.month = 1; this.day = 1; this.year = this.year + 1; }else{ this.day = this.day + 1; } break; case 2: if( this.isleap()){ if(this.day == 29) { this.day = 1; this.month = 3; } else{ this.day = this.day + 1; } } else{ if(this.day == 28){ this.day = 1; this.month = 3; } else{ this.day = this.day + 1; } } break; } } 要求： 请采用基路径方法进行测试用例设计 * * 静态方法是指不运行被测程序本身，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析，找出欠缺和可疑之处，例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错，并为测试用例选取提供指导。 * 无论哪种测试覆盖，即使其覆盖率达到百分之百，都不能保证把所有隐藏的程序欠缺都揭露出来。 * 数据流测试用做路径测试的“真实性检查” * * * * * 定义清除路径：当定义结点和使用结点中间没有其它定义结点的时候为定义清除路径。 * * * * * * * * * * * * * * * * * * * * 16 佣金问题的程序图 7 13 8 9 10 11 12 14 15 17 18 19 26 29 30 31 32 40 34 38 20 21 22 23 24 25 27 28 39 35 36 37 33 41 42 佣金问题的DD-路径 表10-2 佣金问题变量的定义/使用结点 表10-3 部分定义/使用路径 佣金问题定义/使用路径 stocks的定义-使用路径 DEF（stocks,15) USE( stocks,17) 15，16，17是一个关于stocks的定义-使用路径。Stock没有其他定义节点，因此这条路径是定义清除路径 类似地，lockPrice、stockPrice、barrelPrice、barrels、lockSales、sto