下列方法中，属于白盒法设计测试用例的方法的是（ ）。