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