静态测试指被测试程序不在机器上运行，而是采用_________和计算机辅助静态分析的手段对程序进行检测。