ch4白盒测试技术.ppt

Made By TuYaofeng Part Chapter4 白盒测试技术 4.1白盒测试概述 白盒测试－定义 软件的白盒测试是对软件的过程性细节做细致的检查。这一方法是把测试对象看作一个打开的盒子，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。 因此，白盒测试又也称为结构测试或逻辑驱动测试。 白盒测试－内容 白盒测试方法，主要对程序模块进行如下的检查： 对程序模块的所有独立的执行路径至少测试一次； 对所有的逻辑判定，取“真”与取“假”的两种情况都能至少测试一次； 在循环的边界和允许界限内执行循环体； 测试内部数据结构的有效性，等待。 白盒测试－特征 已知产品内部工作过程，通过测试来检测产品内部动作是否按照编码规格说明书的规定正常进行，而不管它的功能。 白盒法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据 。 白盒测试－特征 白盒法是穷举路径测试。贯穿程序的独立路径数可能是天文数字。因此穷举测试是不可行的。 即使是每条路径都测试了，程序中仍然可能有错误。 原因如下。 白盒测试也是不完善的 原因： 第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。 第二，穷举路径测试不可能