第06章软件工程的测试.ppt

“Yes”描述出现错误的3W1H；“No”作为比较，描述了没有错误的3W1H。通过分析找出矛盾来。 提出假设：分析线索之间的关系，利用在线索结构中观察到的矛盾现象，设计一个或多个关于出错原因的假设。如果一个假设也提不出来，归纳过程就需要收集更多的数据。此时，应当再设计与执行一些测试用例，以获得更多的数据。 证明假设：把假设与原始线索或数据进行比较，若它能完全解释一切现象，则假设得到证明；否则，就认为假设不合理，或不完全，或是存在多个错误，以致只能消除部分错误。 6.4 程序调试 4、演绎法调试演绎法是一种从一般原理或前提出发，经过排除和精化的过程来推导出结论的思考方法。演绎法排错是测试人员首先根据已有的测试用例，设想及枚举出所有可能出错的原因做为假设；然后再用原始测试数据或新的测试，从中逐个排除不可能正确的假设；最后，再用测试数据验证余下的假设确是出错的原因。 6.4 程序调试 列举所有可能出错原因的假设把所有可能的错误原因列成表。通过它们，可以组织、分析现有数据。 利用已有的测试数据，排除不正确的假设仔细分析已有的数据，寻找矛盾，力求排除前一步列出所有原因。如果所有原因都被排除了，则需要补充一些数据(测试用例)，以建立新的假设。 改进余下的假设利用已知的线索，进一步改进余下的假设，使之更具体化，以便可以精确地确定出错位置。 证明余下的假设 6.4 程序调试