检修逻辑分析法是一种以准为前提、（）的检查方法。