软件测试法中，()主要分析程序的内部结构。