第7章基于决策表的测试和关于风险概念的进一步讨论

第7章基于决策表的测试前面介绍的等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系，相互组合等。考虑输入条件之间的相互组合，可能会产生一些新的情况。但要检查输入条件的组合不是一件容易的事情，即使把所有输入条件划分成等价类，他们之间的组合情况也相当多。因此必须考虑采用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例。因果图方法是一种检查程序输入条件的各种组合情况的逻辑模型。使用因果图的好处

考虑了多个输入之间的相互组合、相互制约关系；能够帮助我们按一定步骤，高效率地选择测试用例，同时还能为我们指出，程序规格说明描述中存在着什么问题

。因果图法的原理1．因果图

因果图法的原理因果图的基本符号恒等：若原因出现，则结果出现；若原因不出现，则结果不出现。非（～）：若原因出现，则结果不出现；若原因不出现，则结果出现。或（V）：若几个原因中有一个出现，则结果出现；若几个原因都不出现，则结果不出现。与（∧）：若几个原因都出现，结果才出现；若其中有一个原因不出现，则结果不出现。因果图的基本符号从输入（原因）考虑四种约束E（异或）：表示两个原因不会同时成立，两个中最多有一个可能成立。I（或）：表示三个原因中至少有一个必须成立。O（惟一）：表示两个原因中必须有一个，且仅有一个成立。R（要求）：表示两个原因，a出现时，b也必须出现，a出现时，b不可能不出现。因果图的基本符号从输出（结果）考虑一种约束M（强制）：两个结果，a为1时，b必须是0，当a为0时，b值不定。

因果图方法利用因果图生成测试用例的基本步骤：确定软件规格中的原因和结果。分析软件规格说明描述中，哪些是原因(即输入条件或输入条件的等价类)，哪些是结果(即输出条件)，并给每个原因和结果赋予一个标识符。确定原因和结果之间的逻辑关系。分析软件规格说明描述中的语义。找出原因与结果之间，原因与原因之间对应的关系。根据这些关系，画出因果图。因果图方法利用因果图生成测试用例的基本步骤：确定因果图中的各个约束。由于语法或环境限制，有些原因与原因之间，原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号表明约束或限制条件。把因果图转换为决策表。把决策表的每一列拿出来作为依据，设计测试用例。因果图方法从因果图生成的测试用例（局部，组合关系下的）包括了所有输入数据的取TRUE与取FALSE的情况，构成的测试用例数目达到最少，且测试用例数目随输入数据数目的增加而线性地增加。因果图实例某软件规格说明中包含这样的要求：

第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改。但如果第一列字符不正确，则给出信息L;如果第二列字符不是数字，则给出信息M。因果图实例分开原因和结果原因：1----第一列字符是A;

2----第一列字符是B;

3----第二列字符是一数字。

结果：21----修改文件;

22----给出信息L;

23----给出信息M。因果图实例因果图实例因果图实例—中国象棋中走马测试用例设计

分析中国象棋中走马的实际情况1、如果落点在棋盘外，则不移动棋子；2、如果落点与起点不构成日字型，则不移动棋子；3、如果落点处有自己方的棋子，则不移动棋子；4、如果在落点方向的邻近交叉点有棋子（绊马腿），则不移动棋子；5、如果不属于1-4条，且落点处无棋子，则移动棋子；6、如果不属于1-4条，且落点处为对方棋子(非老将)，则移动棋子并除去对方棋子；7如果不属于1-4条，且落点处为对方老将，则移动棋子，并提示战胜对方，游戏结束。因果图实例—中国象棋中走马测试用例设计根据分析明确原因和结果原因：

1、落点在棋盘上；

2、落点与起点构成日字；

3、落点处为自己方棋子；

4、落点方向的邻近交叉点无棋子；

5、落点处无棋子；

6、落点处为对方棋子（非老将）；

7、落点处为对方老将。结果：

21、不移动棋子；

22、移动棋子；

23、移动棋子，并除去对方棋子；

24、移动棋子，并提示战胜对方，结束游戏。添加中间节点11，作为导出结果的进一步原因。因果图实例—中国象棋中走马测试用例设计因果图实例—中国象棋中走马测试用例设计根据因果图建立判定表：(分为两表)因果图实例—中国象棋中走马测试用例设计决策表法在所有的黑盒测试方法中，基于决策表的测试是最严格，最具有逻辑性的测试方法，用来表示和分析复杂的逻辑关系。主要用来描述不同条件集合下产生动作的若干组合的情况。决策表法决策表决策表是把作为条件的所有输入的各种组合值以及对应输出值都罗列出来而形成的表格。它能够将复杂的问题按照各种可能的情况全部列举出来，简明并避免遗漏。因此，利用决策表能够设计出完整的测试用例集合。决策表基本术语组成：桩部分（位于表左侧列）：包括条件桩和动作桩。条目部分（右侧）：包括条件项和动作项。表中一列是一条规则（表示在规则的条件部分中指示的条件环境下要采取的动作）。动作项和条件项紧密相关，指出在条件项的各组取值情况下应采取的动作。

条件桩条件项动作桩动作项规则决策表基本术语无关项条件无关条件不适用（—或N/A)有限条目决策表：所有条件都是二叉条件（两个取值，真/假，是/否，0/1）的决策表。扩展条目决策表：条件可以有多个值的决策表。注意：决策表中条件没有特别的顺序，动作发生也没有特定的顺序。使用技巧标识测试用例时，把条件对应输入（输入的等价类），动作对应输出（被测软件的主要功能处理部分），每条规则对应一个测试用例。在条件和动作中，不关心条目和不可能规则的使用。（表7-2）不同的条件选择方法可能会大大扩展决策表的规模。在条件中引入等价类的决策表。（表7-4）决策表中规则数目的统计。规则条数对有限条目决策表，如果有n个条件，则产生2n条规则。在决策表中有不关心条目时，规则数的统计：没有不关心条目的规则数计为1；规则中每出现一个不关心条目，规则数乘2。构造决策表的步骤列出所有的条件桩和动作桩确定规则的个数填入条件项填入动作项，得到初始决策表简化决策表，合并相似规则决策表的化简对于n个条件的决策表，相应有2n个规则（每个条件分别取真、假值），当n较大时，决策表很繁琐。实际使用决策表时，常常先将它简化。决策表的简化是以合并相似规则为目标。即若表中有两条以上规则具有相同的动作，并且在条件项之间存在极为相似的关系，便可以合并。NextDate函数—决策表测试的完美例子决策表使用“不可能动作”的概念表示条件的不可能组合，适用于处理变量之间在输入定义域中存在逻辑依赖关系的问题。决策表总结决策表的逻辑严格性，使我们开发和识别完备决策表，解决冗余性和不一致性。开发完备又不冗余的决策表，测试人员必须在决策表中小心使用不关心条目！练习一个处理单价为5元钱的饮料自动售货机软件测试用例的设计。规格说明如下：若投入5元钱或10元钱，按下“橙汁”或“啤酒”的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示“零钱找完”的红灯亮，这时在投入10元钱并按下按钮后，饮料不送出来而且10元钱也退出来；若有零钱找，则显示“零钱找完”的红灯灭，在送出饮料的同时退还5元钱。构造因果图分析规格说明，用决策表设计测试用例。第十四章关于风险概念的进一步讨论

本章我们将指出上述风险的定义中的问题，提出风险的各种不同的定义方法，研究投资者对待风险的态度，进一步讨论回报率与风险的关系。这些讨论，对于把握难以捉摸的风险概念是至关重要的。齐寅峰公司财务学经济科学出版社第一节风险定义的问题一、“E－σ”分析失效的情形二、风险的其他定义齐寅峰公司财务学经济科学出版社一、“E－σ”分析失效的情形传统的投资组合分析中，每一备选方案都用两个数据来衡量：回报率的期望值E和回报率的均方差σ，并且假定投资者都偏好于大的期望回报率和小的均方差。

每个投资者都偏好于大的回报率期望值是一种理性的选择假设，任何情况下都不会发生怀疑。齐寅峰公司财务学经济科学出版社一、“E－σ”分析失效的情形（续）但是说投资者都是避免风险的，却值得怀疑。如果风险是指日常用语是指坏事而非好事，这倒也没错。但事实上用均方差定义风险，它表示回报率与期望值偏差的平方的期望值的方根，因此只是表明回报率的离散程度，而这种偏离可正可负。若是正偏离，即回报离高于其期望值，并不是坏事而是好事。只有负偏离，即回报率低于其期望值才是不好的事。在这种风险定义下，无法证明投资者都是避免风险的这一假设的完全正确性。齐寅峰公司财务学经济科学出版社二、风险的其他定义1.概率分布函数。2．VaR。3．半方差。4．负偏差均值。5．分布跨度。齐寅峰公司财务学经济科学出版社1.概率分布函数。如果把风险理解为随机性，我们认为证券回报率的概率分布函数是对证券风险完全合理的描述。可以通过其分布函数的大小关系，定义诸方案的优劣。分布函数包含的信息数量大，是对随机性的全面描述。但分布函数不是一个数值，这就使得不同方案比较起来十分困难，不容易分出优劣齐寅峰公司财务学经济科学出版社2．VaR。VaR（ValueatRisk）译为风险的价值，其定义为分布函数的逆函数。它与分布函数实质上是一码事。这种风险的度量方法才兴起只有几年的时间，大多为银行机构所采用。齐寅峰公司财务学经济科学出版社3．半方差。可以把回报率的半方差，或均半方差定义为该证券的风险，半方差的定义为：半方差表示负偏离平方的平均值。这一定义，与日常用语中的风