Gupta方法中线性约束系统的相容性分析及改进  

Consistency Analysis and Improvement of Linear Constraint System in the Gupta Method

作　　者：冯玉才[1] 余艳[1] 周淳[1] 

机构地区：[1]华中科技大学计算机科学与技术学院,武汉430074

出　　处：《计算机工程》2004年第12期68-70,共3页Computer Engineering

摘　　要：研究了Gupta方法中的关键步骤——谓词函数的线性约束系统的建立,指出用Gupta方法建立的线性约束系统本身可能存在不相容、无法找到测试数据的问题;提出了一种算法来解决这一问题,提高了软件测试数据自动生成的有效性。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[自动化与计算机技术—计算机软件与理论]