______是指被测程序不在计算机上运行而是由人工检测或计算机辅助静态分析的方法对程序进行检测。