软件测试课件9.25--白盒测试技术_hebut.ppt

控制结构测试 路径测试 ?利用流图表示控制逻辑 ?根据流图标识独立路径 ?确定覆盖测试路径上界的计算（环复杂度计算） ?用基本路径法导出测试案例的步骤 条件测试 数据流 测试 循环测试 分支测试：真假分支必须至少执行一次的路径策略 域测试：对于大于、小于和等于值的测试路径策略 由变量的定义到变量的使用，构成DU链，覆盖每个DU链至少一次。用此方法为包含循环和嵌套语句的程序选择测试路径的策略 对于简单循环、嵌套循环、串接循环和无结构循环的路径选择策略 白盒测试工具： 内存资源泄漏检查：Numega中的bouncechecker,Rational的Purify等； 代码覆盖率检查：Numega中的truecoverage,Rational的Purecoverage，Telelogic公司的logiscope,Macabe公司的Macabe等； 开源覆盖率测试软件gCov等。 Parasoft白盒测试工具集 Jtest Java 代码分析和动态类、组件测试 Jcontract Java 实时性能监控以及分析优化 C++ Test C,C++ 代码分析和动态测试 CodeWizard C,C++ 代码静态分析 Insure++ C,C++ 实时性能监控以及分析优化 .test .Net 代码分析和动态测试 　　logiscope　c/c++ Verlog公司的静态、动态分析工具 　　还有testbed、Cantata c/c++等 　　Rational工具集中的puricoverage和purify、quantify  　　Compuware白盒测试工具集 　　BoundsChecker C++,Delphi API和OLE错误检查、指针和泄露错误检查、内存错误检查 　　TrueTime C++,Java,Visual Basic 代码运行效率检查、组件性能的分析 　　FailSafe Visual Basic 自动错误处理和恢复系统 　　Jcheck M$ Visual J++ 图形化的纯种和事件分析工具 　　TrueCoverage C++,Java,Visual Basic 函数调用次数、所占比率统计以及稳定性跟踪 　　SmartCheck Visual Basic 函数调用次数、所占比率统计以及稳定性跟踪 　　CodeReview Visual Basic 自动源代码分析工具 测试用例 IEEE 829标准 编写用于输入的实际数值和预期输出结果数值，测试用例还明确指出使用具体测试用例产生的测试程序的任何限制 白盒测试的发展 设计测试用例，先通过脚本构造被测函数的输入参数，修改特定全局变量，使被测函数处于某特定运行环境下，这两步属于测试驱动。然后调用被函数，最后判断测试结果，因为运行被测函数可能影响输入参数、全局变量与返回值，所以判断用例是否运行通过，观察对象也是这三者。在用例设计过程中，我们并不关心函数内局部变量如何声明，也不关心函数内逻辑过程如何处理，只关心被测对象的输入与输出，这是一种典型的黑盒思维模式。准确来说，4GWM是一种灰盒测试方法，尽管操作方式是黑盒的，但测试设计是白盒的，因为看得见源码，测试设计可以有针对性的进行，测试过程评估也是白盒的，运行一遍用例后，查看哪些代码行有没跑到，再有针对性补充用例。所以，我们从整体来看，4GWM是介于黑盒与白盒之间的灰盒测试。 条件测试 条件测试方法注重于测试程序中的条件。是检查程序模块中所包含逻辑条件的测试用例设计方法。 条件 程序中的条件分为简单条件和复合条件。 简单条件是一个布尔变量或一个可能带有NOT(“！”)操作符的关系表达式。关系表达式的形式如： E1＜关系操作符＞E2 其中E1和E2是算术表达式，而＜关系操作符＞是下列之一：“＜”、“≤”、“=”、“≠”(“！=”)、“＞”、或“≥”。 复合条件由简单条件通过逻辑运算符（AND、OR、NOT）和括号连接而成，不含关系表达式的条件称为布尔表达式。 所以条件的成分类型包括布尔操作符、布尔变量、布尔括弧(括住简单或复杂条件)、关系操作符或算术表达式。 条件测试 条件的错误类型 如果条件不正确，则至少有一个条件成分不正确，这样，条件的错误类型如下： 布尔操作符错误(遗漏布尔操作符，布尔操作符多余或布尔操作符不正确)； 布尔变量错误； 布尔括弧错误； 关系操作符错误； 算术表达式错误。 条件测试 条件测试的目的 条件测试是测试程序条件错误和程序的其他错误。如果程序的测试集能够有效地检测程序中的条件错误，则该测试集可能也会有效地检测程序中的其他错误。此外，如果测试策略对检测条件错误有效，则它也