单项选择题

A.验证程序能够与系统的其他部分运行成功
B.确保程序的功能运行有效,不考虑程序内部架构
C.确定一个程序的详细逻辑路径的程序上的正确性和环境
D.通过执行在一个受限的或者虚拟的环境下受限访问主系统来检查程序的功能性