手工检验数学与计算机科学31 阅读［软件］通过按步检查源代码在逻辑上或语法 上的错误来确定故障的人工模拟程序执行方法。 见：code; error; fault; program execution; simula- tion;static analysis;synlax 434
