单项选择题 使用（）调试是从一般原理或前提出发，经过排除及精化来推导出结论。