软件测试方法论课件.pptVIP

例如，在图示的控制流图中，一组独立的路径是path1：1 - 11path2：1 - 2 - 3 - 4 - 5 - 10 - 1 - 11path3：1 - 2 - 3 - 6 - 8 - 9 - 10 - 1 - 11path4：1 - 2 - 3 - 6 - 7 - 9 - 10 - 1 - 11 路径 path1，path2，path3，path4组成了控制流图的一个基本路径集。 精品 3.1.2. 导出测试用例 导出测试用例，确保基本路径集中的每一条路径的执行。 根据判断结点给出的条件，选择适当的数据以保证某一条路径可以被测试到 — 用逻辑覆盖方法。 精品 每个测试用例执行之后，与预期结果进行比较。如果所有测试用例都执行完毕，则可以确信程序中所有的可执行语句至少被执行了一次。 必须注意，一些独立的路径(如例中的路径1)，往往不是完全孤立的，有时它是程序正常的控制流的一部分，这时，这些路径的测试可以是另一条路径测试的一部分。 精品 2. 3.1 例子1 一张关于科技书阅读指南的判定驱动表：3个问题8种情况 精品 判定表组成 条件桩（Condition Stub） 动作桩（Action Stub） 条件项（Condition Entity） 动作项（Action Entity） 精品 规则及规则合并 任何一个条件组合的特定取值及其相应要执行的操作称为规则。在判定表中贯穿条件项和动作项的一列就是一条规则。显然，判定表中列出多少组条件取值，也就有多少条规则，即条件项和动作项有多少列。 化简 就是规则合并有两条或多条规则 具有相同的动作， 并且其条件项之间 存在着极为相似的关系 两条规则合并成一条 两条规则的进一步合并 精品 一个规则合并的例子 一个规则合并的例子 精品 2. 3.2 例子2 问题要求：”……对功率大于50马力的机器、维修记录不全或已运行10年以上的机器，应给予优先的维修处理……” 假定，“维修记录不全”和“优先维修处理”均已在别处有更严格的定义 按5步建立判定表 精品 建立判定表的步骤 ①确定规则的个数。这里有3个条件，每个条件有两个取值，故应有2*2*2=8种规则。 ②列出所有的条件茬和动作茬。 ③填人条件项。为防止遗漏可从最后1行条件项开始，逐行向上填满乙如第三行是： Y N Y N Y N Y N第二行是： Y Y N N Y Y N N等等。 精品 建立判定表的步骤 ④填人动作桩和动作顶。这样便得到形如图的初始判定表。 精品 建立判定表的步骤 ⑤化简。合并相似规则后得到图。 精品 2. 3.3 判定表在功能测试中的应用 一软件规格说明 (1)当条件1和条件2满足，并且条件3和条件4不满足，或者当条件1、3和条件4满足时，要执行操作1。 (2)在任一个条件都不满足时，要执行操作2。 (3)在条件1不满足，而条件4被满足时，要执行操作3。 精品 规则 只给出了16种规则中的4种 根据规格说明得到的判定表 默许的规则 精品 2.3.4 判定表的优点和缺点 优点：它能把复杂的问题按各种可能的情况一一列举出来，简明而易于理解，也可避免遗漏。 缺点：不能表达重复执行的动作，例如循环结构。 其他？？ 精品 使用判定表设计测试用例的Beizer条件 ①规格说明以判定表形式给出，或是很容易转换成判定表。 ②条件的排列顺序不会也不应影响执行哪些操作。 ③规则的排列顺序不会也不应影响执行哪些操作。 ④每当某一规则的条件已经满足，并确定要执行的操作后，不必检验别的规则。 ⑤如果某一规则得到满足要执行多个操作，这些操作的执行顺序无关紧要。 B。Beizer提出这5个必要条件的目的是为了使操作的执行完全依赖于条件的组合。其实对于某些不满足这几条的判定表，同样可以借以设计测试用例，只不过尚需增加其它的测试用例罢了。 精品 2.5正交实验设计法 把软件功能测试作为实验的一种，从大量的实验点中选出适量有代表性的点，应用依据伽罗瓦理论导出的“正交表”，合理安排实验的一种科学的实验设计方法。 从规约中找出影响其功能实现的操作对象和外部因素作为因子，因子的取值作为状态，构造因素分析表，利用正交表进行各因子的专题组合，构造有效的测试数据集，并由此建立因果图。 精品 2.6 自动测试用例设计 一些测试工具可以进行部分测试用例自动化，“测试输入生成工具”，该方法也可以用于某些场合，但自动工具不可能完全替代智力的测试活动； 自动方式可以生成大量的测试用例，但他不区分哪些测试是最重要的。这些要求有创造力的智力活动只能由测试人员完成。 所有测试生成工具依赖于生成测试的算法，工具比使用相同算法的测试人员的测试更