第06章软工程的测试.pptVIP

“Yes”描述出现错误的3W1H；“No”作为比较，描述了没有错误的3W1H。通过分析找出矛盾来。 提出假设：分析线索之间的关系，利用在线索结构中观察到的矛盾现象，设计一个或多个关于出错原因的假设。如果一个假设也提不出来，归纳过程就需要收集更多的数据。此时，应当再设计与执行一些测试用例，以获得更多的数据。 证明假设：把假设与原始线索或数据进行比较，若它能完全解释一切现象，则假设得到证明；否则，就认为假设不合理，或不完全，或是存在多个错误，以致只能消除部分错误。 6.4 程序调试 4、演绎法调试演绎法是一种从一般原理或前提出发，经过排除和精化的过程来推导出结论的思考方法。演绎法排错是测试人员首先根据已有的测试用例，设想及枚举出所有可能出错的原因做为假设；然后再用原始测试数据或新的测试，从中逐个排除不可能正确的假设；最后，再用测试数据验证余下的假设确是出错的原因。 6.4 程序调试 列举所有可能出错原因的假设把所有可能的错误原因列成表。通过它们，可以组织、分析现有数据。 利用已有的测试数据，排除不正确的假设仔细分析已有的数据，寻找矛盾，力求排除前一步列出所有原因。如果所有原因都被排除了，则需要补充一些数据(测试用例)，以建立新的假设。 改进余下的假设利用已知的线索，进一步改进余下的假设，使之更具体化，以便可以精确地确定出错位置。 证明余下的假设 6.4 程序调试 6.4 程序调试 三、调试原则 在调试方面，许多原则本质上是心理学方面的问题。调试由两部分组成，调试原则也分成两组。 1、确定错误的性质和位置的原则 用头脑去分析思考与错误征兆有关的信息。 避开死胡同。 只把调试工具当做辅助手段来使用。利用调试工具，可以帮助思考，但不能代替思考。 避免用试探法，最多只能把它当做最后手段。 6.4 程序调试 2、修改错误的原则 在出现错误的地方，很可能还有别的错误。 修改错误的一个常见失误是只修改了这个错误的征兆或这个错误的表现，而没有修改错误的本身。 当心修正一个错误的同时有可能会引入新的错误。 修改错误的过程将迫使人们暂时回到程序设计阶段。 修改源代码程序，不要改变目标代码。 6.4 程序调试 6.5 软件测试计划与测试分析报告 6.5.1 软件测试计划 6.5 软件测试计划与测试分析报告 6.5.2 测试分析报告 6.5 软件测试计划与测试分析报告 6.5 软件测试计划与测试分析报告 6.5 软件测试计划与测试分析报告 6.5 软件测试计划与测试分析报告 6.5.3 其他软件测试文档 一、模块测试报告 A、综合测试策略（静态分析、白盒法为主，辅以黑盒法） B、测试情况（根据覆盖标准列出） C、测试用例（保留） D、查错记录（数量、位置）、分析结果。 二、组装测试报告 A、组装次序、测试方法（以黑盒法为主） B、测试情况 C、测试用例（保留） D、查错记录（数量、位置）、分析结果。 6.5 软件测试计划与测试分析报告 边值分析法举例： A、按照输入值范围的边界。 例如：输入值的范围是-1.0至1.0，则可选择用例 –1.0、1.0、-1.001、1.001。 B、按照输入/输出值个数的边界。 例如：输入文件可有1-255个记录，则 设计用例：文件的记录数为 0个、1个、255个、256个。 C、输出值域的边界。 例如：检索文献摘要，最多4篇。设计用例：可检索0篇、1篇、4篇，和5篇（错误）。 D、输入/输出有序集（如顺序文件、线性表）的边界。 应选择第一个元素和最后一个元素。 6.2 软件测试的方法 3、错误推测法 凭经验或直觉推测可能的错误，列出程序中可能有的错误和容易发生错误的特殊情况，选择测试用例。 4、因果图法（cause effcet graphicei） 把输入条件视为“因”，把输出条件视为“果”，将黑盒看成是从因到果的网络图，采用逻辑图的形式来表达功能说明书中输入条件的各种组合与输出的关系。根据这种关系可选择高效的测试用例。因果图是一种形式化语言，是一种组合逻辑。 6.2 软件测试的方法 ⑴ 因果图的基本符号: 0 - 表示“不出现”,1 - 表示“出现” 恒等:若a为1，则b为1，否则b为0。 “非”函数 :若a为1，则b为0，否则b为1。 “或”函数:若a或b为1，则d为1，否则d为0。 “与”函数:若a与b同为1，则d为1，否则d为0。 a b a b a b d ∨ a b d ∧ 6.2 软件测试的方法 对“与”、“或”函数的限制符号 E约束（异）— 排斥 即a、b不能同时为1。 I约束（或）— 包容 a、b、c不能同时为0。 O约束（唯一）— 选一 a、b中仅有一个为1。 R约束（要求）— 需要