基于因果图的软件测试工具的研究与设计

摘要

随着软件社会影响的不断发展,提高其可靠性就愈加显得重要,程序测试是保证软件可靠性方法之一.在程序测试中,因果图法是其中一种重要方法,但是由因果图到判定表的转换是最困难的.本文针对这一问题提出了一种转换方法,并用C语言编程实现. 该算法首先从软件功能说明书出发,用人工编制出因果图,再依据因果图将原因和结果、原因和原因之间的关系用逻辑表达式描述,根据此描述由计算机自动生成无遗漏及重复的测试数据条件.