Testing因果图因果图的约束条件I包含.PPTVIP

* * * * * 为了表示原因与原因之间、结果与结果之间可能存在的制约条件，在因果图中，可以附加一些标识约束条件的符号。从输入（原因）考虑，有4种约束，q前4个，从输出（结果）考虑，有1种约束。 E（互斥）：表示a,b两个原因不会同时成立，两个中最多有一个可能成立。I（包含）：表示a,b,c三个原因中至少有一个必须成立。O（唯一）：表示a,b当中必须有一个，且仅有一个成立。R（要求）：表示当a出现时，b必须也出现。不可能a出现，b不出现。 M：标识当a是1时，b必须是0。而当a为0时，b的值不定。 * 为了表示原因与原因之间、结果与结果之间可能存在的制约条件，在因果图中，可以附加一些标识约束条件的符号。从输入（原因）考虑，有4种约束，q前4个，从输出（结果）考虑，有1种约束。 E（互斥）：表示a,b两个原因不会同时成立，两个中最多有一个可能成立。I（包含）：表示a,b,c三个原因中至少有一个必须成立。O（唯一）：表示a,b当中必须有一个，且仅有一个成立。R（要求）：表示当a出现时，b必须也出现。不可能a出现，b不出现。 M：标识当a是1时，b必须是0。而当a为0时，b的值不定。 * 为了表示原因与原因之间、结果与结果之间可能存在的制约条件，在因果图中，可以附加一些标识约束条件的符号。从输入（原因）考虑，有4种约束，q前4个，从输出（结果）考虑，有1种约束。 E（互斥）：表示a,b两个原因不会同时成立，两个中最多有一个可能成立。I（包含）：表示a,b,c三个原因中至少有一个必须成立。O（唯一）：表示a,b当中必须有一个，且仅有一个成立。R（要求）：表示当a出现时，b必须也出现。不可能a出现，b不出现。 M：标识当a是1时，b必须是0。而当a为0时，b的值不定。 * 为了表示原因与原因之间、结果与结果之间可能存在的制约条件，在因果图中，可以附加一些标识约束条件的符号。从输入（原因）考虑，有4种约束，q前4个，从输出（结果）考虑，有1种约束。 E（互斥）：表示a,b两个原因不会同时成立，两个中最多有一个可能成立。I（包含）：表示a,b,c三个原因中至少有一个必须成立。O（唯一）：表示a,b当中必须有一个，且仅有一个成立。R（要求）：表示当a出现时，b必须也出现。不可能a出现，b不出现。 M：标识当a是1时，b必须是0。而当a为0时，b的值不定。 * * * * * * * 我们的现实生活是由一幅幅生动的场景画面所组合而成的。对于一个电影导演来说，要想获得一个高票房的收入，在拍摄的过程中必须事先精心设计好画面中的每一个场景，否则观众是不会来买单的，同样测试的工作也不例外，交付用户使用的系统要想获得用户的认可，必须站在用户的角度，以用户的使用逻辑及操作习惯为出发点，结合功能用例的设计方法，使用例设计更贴近实际，从而最大程度上满足用户的需求。 * * * * * * * * * * * * * * * 山东建筑大学计算机科学与技术学院软件工程专业 场景法 场景法适用于业务流程或事件比较复杂的程序。主要是从用户的角度出发，考虑用户是怎样使用软件的。通过分析用户的使用过程，形成各种事件流，然后设计测试用例来覆盖这些事件流。因此，场景法测试的流程性比较强。 当然，在实际的测试过程中，我们也不能只是一个功能点一个功能点的测试，当所有功能点单独执行没有问题后，我们也需要考虑各功能点之间的数据流的流动是否正常。 * 山东建筑大学计算机科学与技术学院软件工程专业 场景法 场景就是事件流，一个场景描述了一种事务的流程。流程分基本流程和备选流程。比如：提款操作。基本流就是用户插入卡片——输入密码——输入提款额——提款成功。备选流有很多，代表了各种异常情况，比如先查询后取款、密码输入错误、提款机没钱等等。 * 山东建筑大学计算机科学与技术学院软件工程专业 场景法 下图中经过用例的每条不同路径都反映了基本流和备选流，都用箭头来表示。基本流用直黑线来表示，是经过用例的最简单的路径。每个备选流自基本流开始，之后，备选流会在某个特定条件下执行。 * 山东建筑大学计算机科学与技术学院软件工程专业 场景法案例 ATM 处于准备就绪状态。 准备提款 - 客户将银行卡插入 ATM 机的读卡机。 验证银行卡 - ATM 机从银行卡的磁条中读取帐户代码，并检查它是否属于可以接收的银行卡。 输入密码 - 客户输入密码，系统验证帐户代码和密码以确定该帐户是否有效以及所输入的 密码对该帐户来说是否正确。对于此事件流，帐户是有效的而且密码对此帐户来说正确无误。 ATM 选项 - ATM 显示在本机上可用的各种选项。在此事件流中，银行客户通常选择“提款”。 ATM取款操作 一、生成基本流 * 山东建筑