白盒测试的前提是可把程序看成在一个透明的（）里，测试者完全知道程序的结构和处理算法。