程序纠错测调试的演绎法

演绎法纠错的过程是，首先根据症状列举所有可能的原因，通过仔细分析，将其中根据不足或不会发生的原因排除掉。然后对余下的原因作更细的分析，必要时加测新的测试数据，进而确定错误原因。重复以上过程，直到找出错误原因并改正，这种纠错法又叫病因排除法。