因果图法 课程提纲.ppt

在线教学 - 课程提纲 1、因果图法 2、案例分析 等价类划分方法和边界值分析法都是着重考虑输入条件，并没有考虑到输入情况的各种组合，也没考虑到各个输入情况之间的相互制约关系 因果图方法的思路是：从用自然语言书写的程序规格说明的描述中找出因（输入条件）和果（输出或程序状态的改变），通过因果图转换为决策表 因果图法简介 优点： 考虑到了输入情况的各种组合以及各个输入情况之间的相互制约关系； 能够帮助测试人员按照一定的步骤，高效率的开发测试用例 因果图法是将自然语言规格说明转化成形式语言规格说明的一种严格的方法，可以指出规格说明存在的不完整性和二义性 因果图法 因果图 因果图中有4种因果关系的基本符号，通常在因果图中，用ci表示原因（输入），ei表示结果（输出），各节点表示状态，可取值“0”或“1”，“0”表示某状态不出现，“1”表示某状态出现。 因果图 因果图 ci 与 ei 取值0或1，0表示某状态不出现，1则表示某状态出现 恒等：若 c1 是1，则 e1 也为1，否则 e1 为0； 非：若 c1 是1，则 e1 为0，否则e1为1； 或：若 c1 或 c2 或 c3 是1，则 e1 为1，否则 e1 为0 与：若 c1 和 c2 都是1，则 e1 为1，否则 e1 为0 因果图中的约束 因果图中的约束 在实际问题中输入状态相互之间，输出状态相互之间可能存在某些依赖关系，称为‘约束’。对于输入条件的约束有E、I、O、R四种约束，对于输出条件的约束只有M约束 E约束(异)：a和b中最多有一个可能为1，即a和b不能同时 为1。 I 约束(或)：a、b、c中至少有一个必须为1，即 a、b、c不能同时为0。 O约束(唯一)：a和b必须有一个且仅有一个为1。 R约束(要求)：a是1时，b必须是1，即a为1时，b不能为0。 M约束(强制)：若结果a为1，则结果b强制为0。 E约束 I 约束 I 约束 M约束 因果图用法的4个步骤 确定被测对象的输入（原因）与输出（结果）； 通过语义分析给出输入与输出之间的 因果关系； 根据因果关系分析画出因果图； 将因果图转换为判定表； 根据判定表设计测试用例。 因果图法测试举例 程序的规格说明要求：文本框 输入的第一个字符必须是# 或 *，第二个字符必须是一个数字，此情况下进行文件的修改； 如果第一个字符不是 # 或 *，则给出信息N（结果）；如果第二个字符不是数字（结果），则给出信息M。 第一字符 输入 必须是 # 或 * 第二字符输入必须是 数字 #2 文件修改 输入字符数 r2 结果信息提示 n 输入字符 #r 结果提示信息 m *t m 举例 分析原因和结果 举例 举例 设计测试用例 测试用例是执行的最小实体，是为特定的目的而设计的一组测试输入、执行条件和预期的结果。 简单地说，测试用例就是一个文档，描述输入、动作、或者时间和一个期望的结果，其目的是确定应用程序的某个特性是否正常的工作， 并且达到程序所设计的结果 TechEd 2012 * ? 2012 Microsoft Corporation. All rights reserved. Microsoft, Windows, Windows Vista and other product names are or may be registered trademarks and/or trademarks in the U.S. and/or other countries. The information herein is for informational purposes only and represents the current view of Microsoft Corporation as of the date of this presentation. Because Microsoft must respond to changing market conditions, it should not be interpreted to be a commitment on the part of Microsoft, and Microsoft cannot guarantee the accuracy of any information provided after the date of this presentation. MICRO