单选题 测试程序时不在机器上直接运行程序，而是采用人工检查或计算机辅助静态分析的手段检查程序，这种测试称为______。