在软件工程中， 白箱测试法可用于测试程序的内部结构。此方法将程序看做是 ______。