参考答案：

①迫使测试人员去仔细思考软件的实现；

②可以检测代码中的每条分支和路径；

③揭示隐藏在代码中的错误；

④对代码的测试比较彻底。