因果图,是一种形式语言(有严格语法限制的语言,计算机语言都是形式语言),是将自然语言描述的规格说明转换为因果图。实质上,是一种数字逻辑电路(一个组合的逻辑网络),但没有使用标准的电子学符号,而是使用了稍微简单点的符号。具体有六步(涉及到的每步具体过程及图样,由于篇幅,都在此略去):
将规格说明分解为可执行的片段;
确定规格说明中的因果关系;
分析规格说明的语义内容,并将其转换为连接因果关系的布尔图,即:因果图;
给图加上注解符号,说明由于语法或环境的限制而不能联系起来的“因”和“果”;
过仔细地跟踪图中的状态变化情况,将因果图转换成一个有限项的判定表;
将判定表中的列转换成测试用例。
延伸阅读
文章来源于领测软件测试网 https://www.ltesting.net/