软件测试技术-黑盒测试因果图法.ppt

* * * * * * * * * * * * * * 因果图 康玲 基于决策表的测试是最严格的功能性测试，因为决策表具有逻辑严格性。 与之相关连的方法： 　　因果图法、决策表格法。 缺点： 　　使用麻烦，冗余多。 自从20世纪60年代初以来，决策表一直被用来表示和分析复杂逻辑关系。决策表很适合描述不同条件集合下采取行动的若干组合的情况。 因果图，是一种形式语言（有严格语法限制的语言，计算机语言都是形式语 言），是将自然语言描述的规格说明转换为因果图。实质上，是一种数字逻辑电路（一个组合的逻辑网络），但没有使用标准的电子学符号，而是使用了稍微简单点 的符号。 一些程序的功能可以用判定表的形式来表示，并根据输入条件的组合情况规定相应的操作。 从程序规格说明书的描述中找出因（输入条件）和果（输出结果或程序状态的改变）的关系，通过因果图转换为判定表，最后为判定表的每一列设计一个测试用例 考虑到输入情况的各种组合以及各个输入情况之间的相互制约关系。 使用了简单的逻辑符号，以直线连接左右节点。左节点表示输入状态（或称原因），右节点表示输出状态（结果）。 c1 e1 （a）恒等 c1 e1 ～ （b）非 c2 e1 c1 c3 V （c）或 c2 e1 c1 V （d）与 图中，ci表示原因，通常位于图的左部，ei表示结果，位于图的右部。ci与ei取值0或1，0表示某状态不出现，1表示某状态出