软件测试中，白盒法是通过分析程序的()来设计测试用例的。