单选题：被测试程序不在机器上运行，而是采用人工检测和计算机辅助静态分析的手段对程序进行检测，这种测试称为（）