因果图判断表研讨.pptVIP

排他性约束 ?排他性约束：各个原因之间不能同时为真，但可以同时为假。举个例子，小明同学不可能同时属于A班和B班，但可能既不是A班的，也不是B班的，而是C班的。 包含性约束 包含性约束：各个原因中总有一个为真。即可以同时为真，但不可以同时为假。举个例子，支付宝买家付款时，有个输入条件（既原因）是余额支付、网银支付，买家可以选择单独余额支付或者单独网银支付，也可以同时选择余额支付和网银支付2种方式。但是不可以选择不支付。 必要性约束 必要性约束：当原因a为真时，原因b必须同时为真；但是原因b为真时，原因a既可以为真，也可以为假。举数字证书的例子：现有的业务规则下，如果申请了数字证书（原因a），那么该用户必然通过了支付宝认证（原因b）。反之，如果用户通过了支付宝认证，那么不一定申请了数字证书（a）。 唯一性约束 ?唯一性约束：有且只有原因a和原因b中的一个为真。非此即彼，不存在第三种情况。举例来说，人的性别不是男，就是女，不会存在既不是男也不是女的人。 结果约束 ?掩码标记（结果约束）：如果结果b为真，那么结果a一定为假，如果结果b为假，则结果a的状态不定。还拿支付宝来举例子，先给出两个结果：安全控件运行正常（a），无法输入登陆密码（b）。如果无法输入登陆密码，那么可以判断是安全控件没有正常运行，反过来，如果可以输入登陆密码，则不能确定安全控件一定工作正常，有可能是用了FireFox浏览器访问Alipay的。 使用因果图设计测试用例的步骤 1.分析需求 阅读需求文档，如果User Case很复杂，尽量将它分解成若干个简单的部分。这样做的好处是，不必在一次处理过程中考虑所有的原因。没有固定的流程说明究竟分解到何种程度才算简单，需要测试人员根据自己的经验和业务复杂度具体分析。 2.确定原因和结果 在每个已经分解好的块中，找出哪些是原因，哪些是结果。并且把原因和结果分别画出来。原因放在一列，结果放在一列 。如下图所示。 3.确定逻辑关系 继续分析需求文档，找出原因和结果之间的关系，用逻辑运算符标出。 4.确定约束关系 继续分析需求，找出原因和原因、结果与结果之间的约束限制，用上面说的约束关系标出。 6.根据原因给出结果 上面的决策表中，不一定每个原因的状态组合都是有效的。要根据因果图中的约束条件，去掉不可能出现的组合，从决策表中标记出来。并给出每个可能的原因组合对应的结果。 练习题 某销售系统的“供货折扣计算模块”，采用如下规则计算供货折扣： 当客户为批发型企业时，若订货数大于50件，发货距离不超过50KM，则折扣率为15%，而当发货距离超过50KM，折扣率为10%； 当客户为非批发型企业时，若订货数大于50件，发货距离不超过50KM，则折扣率为10%，并派人跟车，而当发货距离超过50KM时，折扣率为5%； 画因果图和判定表 1 2 3 4 5 6 7 8 原因 1 0 0 0 0 1 1 1 1 2 0 0 1 1 0 0 1 1 5.把因果图转换为决策表 给每个原因分别取真和假二种状态，用0和1表示。画一个有限项决策表，列出所有状态的状态组合。包含3个原因、2个结果的有限项决策表如下。 3 0 1 0 1 0 1 0 1 结果 1 2 某软件规格说明书包含这样的要求：第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改，但如果第一列字符不正确，则给出信息L；如果第二列字符不是数字，则给出信息M。 案例 原因： 1——第一列字符是A； 2——第一列字符是B； 3——第二列字符是一数字。 结果： 21——修改文件； 22 ——给出信息L； 23——给出信息M。 原因结果 因果图 1 2 3 4 5 6 7 8 条件(原因) 1 1 1 1 1 0 0 0 0 2 1 1 0 0 1 1 0 0 3 1 0 1 0 1 0 1 0 11 1 1 1 1 0 0 动作(结果) 22 0 0 0 0 1 1 21 1 0 1 0 0 0 23 0 1 0 1 0 1 测试用例 A3 AM B5 BN C2 DY A8 A? B4 B! X6 P; 判定表  软件测试基础之白话测试设计 -判定表 Definition - 定义 是分析和表达多逻辑条件下执行不同操作的情况的工具 1. 2. 3. 4. 列出问题所有的条件 条件桩 列出问题规定可能采取的动作 动作桩 列出针对左列条件的取值 条件项 列出在条件项的各种取值情况