图示


图5.27 演绎法排错的步骤
��(1) 列举所有可能出错原因的假设：把所有可能的错误原因列成表。它们仅仅是一些可能因素的假设。通过它们，可以组织、分析现有数据。
��(2) 利用已有的测试数据，排除不正确的假设：仔细分析已有的数据，寻找矛盾，力求排除前一步列出所有原因。如果所有原因都被排除了，则需要补充一些数据（测试用例），以建立新的假设；如果保留下来的假设多于一个，则选择可能性最大的原因做基本的假设。
��(3) 改进余下的假设：利用已知的线索，进一步改进余下的假设，使之更具体化，以便可以精确地确定出错位置。
��(4) 证明余下的假设：这一步极端重要，具体做法与归纳法的第（4）步相同。
��