使用白盒方法覆盖所有的语句和分支，就可以发现程序中的所有错误。