摘要： 研究了Gupta方法中的关键步骤——谓词函数的线性约束系统的建立,指出用Gupta方法建立的线性约束系统本身可能存在不相容、无法找到测试数据的问题;提出了一种算法来解决这一问题,提高了软件测试数据自动生成的有效性。

关键词: 测试数据自动生成, 谓词函数, 线性约束系统, 线性规划, 相容性

Abstract: This paper discusses the establishment of linear constraint system, one of the primary problems of Gupta method. It shows the instance in which the Gupta method fails to find test data because the linear constraint system itself is inconsistent. Then it proposes an algorithm to solve this problem and improves the validity of automated test data generation.

中图分类号: 

• TP311.56