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