一种基于数据流准则的测试数据自动生成算法

作者：陈继锋; 沈钧毅; 王欣峻; 刘勇; 王志海

来源：微电子学与计算机, 2007, 24(1): 5-8,14.

DOI：10.3969/j.issn.1000-7180.2007.01.002

• 数据流准则
• DU对
• 谓词函数
• 测试数据

提出了一种基于数据流准则的测试数据自动生成的算法.该算法采用ALL-DU-PATHS覆盖准则,应用Warshall算法来计算判定DU对的可行可测性,通过优化选取覆盖DU对的测试序列,给出了基于测试序列的测试数据自动生成的方法,最后通过实例和实验进行了验证.

• 单位
  西安交通大学