（第六章）白盒测试用例设计技术

白盒测试：结构测试，逻辑驱动测试，了解内部工作，测试内部是否按照预定工作。

技术方法：静态白盒法，侵入式法，控制流图法，基路径法，数据定义使用法，程序片法。

静态白盒法：不运行程序，进行代码研读查错。可以尽早发现缺陷，为黑盒提供思路。按照审查严格程度分为同行评审，走查，评审三种。

侵入式法：需要对代码进行修改，按照修改的目的不同分为：程序插桩测试，断言测试，缺陷种植法。

程序插桩测试：在程序中设置断点或打印语句，了解动态特性。

断言测试：检查运行中“不应该”发生的情况。加一条判断来验证是否如预期。

缺陷种植测试：估计驻留的缺陷数量。

路径覆盖法&