单选题软件测试中白盒法是通过分析程序的（）来设计测试用例的