不管程序内部是如何编制的，只是依据外部结构和软件功能对模块进行测试的是( )。