在白盒法测试中，对程序的语句逻辑有6种覆盖技术，其中发现错误能力最强的技术是（）。