有关白盒测试说法的疑惑

Cynthia

。“白盒”法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。第二，穷举路径测试不可能查出程序中因遗漏路径而出错。第三，穷举路径测试可能发现不了一些与数据相关的错误。

请问第三点具体是什么意思？
“但即使每条路径都测试了仍然可能有错误。穷举路径测试可能发现不了一些与数据相关的错误。“

xingcyx

是的，我的理解和celine版主的一样。

celine

白盒测试也称结构测试或逻辑驱动测试,白盒测试的主要方法有逻辑驱动、基路测试等;黑盒测试也称功能测试或数据驱动测试,找你的说的那个第三点，我觉得应该叫灰盒测试，介于黑、白盒测试之间。
“穷举路径测试可能发现不了一些与数据相关的错误。”我觉得是不能验证数据的完整性。

xingcyx

我的理解是当程序还需要检查数据相关性的时候，这时候穷举路径测试就无法发现这类错误了。

Kapok

而且 白盒也不是穷举阿 只是针对某个criterion 其test set需要满足相当的coverage

程序中只要有一个while..do 穷举就是不可能的了

archonwang

路径是逻辑的。正确的逻辑不一定就可以提供出正确的数据。
第三点说的有点像白盒和黑盒之间的差异。举个例子说：一个页面显示数据在数据库上可能是正确的，但是在UI'上的体现不一定是正确的，可能还要经过处理。