程序诊断法是利用（）来诊断计算机故障的。