| Gupta方法中线性约束系统的相容性分析及改进 |
| |
| 引用本文： | 冯玉才,余艳,周淳. Gupta方法中线性约束系统的相容性分析及改进[J]. 计算机工程, 2004, 30(12): 68-70 |
| |
| 作者姓名： | 冯玉才 余艳 周淳 |
| |
| 作者单位： | 华中科技大学计算机科学与技术学院,武汉,430074;华中科技大学计算机科学与技术学院,武汉,430074;华中科技大学计算机科学与技术学院,武汉,430074 |
| |
| 摘 要： | 研究了Gupta方法中的关键步骤——谓词函数的线性约束系统的建立，指出用Gupta方法建立的线性约束系统本身可能存在不相容、无法找到测试数据的问题；提出了一种算法来解决这一问题，提高了软件测试数据自动生成的有效性。
|
| 关 键 词： | 测试数据自动生成 谓词函数 线性约束系统 线性规划 相容性 |
| 文章编号： | 1000-3428(2004)12-0068-03 |
Consistency Analysis and Improvement of Linear Constraint System in the Gupta Method |
| |
| FENG Yucai,YU Yan,ZHOU Chun. Consistency Analysis and Improvement of Linear Constraint System in the Gupta Method[J]. Computer Engineering, 2004, 30(12): 68-70 |
| |
| Authors: | FENG Yucai YU Yan ZHOU Chun |
| |
| 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. |
| |
| Keywords: | Automated test data generation Predicate function Linear constraint system Linear programming Consistency |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
