| Gupta方法的改进 |
| |
| 引用本文： | 单锦辉,王戟,齐治昌,吴建平.Gupta方法的改进[J].计算机学报,2002,25(12):1378-1386. |
| |
| 作者姓名： | 单锦辉 王戟 齐治昌 吴建平 |
| |
| 作者单位： | 国防科学技术大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金项目 ( 6 99730 5 1,90 10 40 0 7)，国家“八六三”高技术研究发展计划项目 ( 2 0 0 1AA1132 0 2 )，霍英东青年教师基金 ( 710 6 4)资助 |
| |
| 摘 要： | Gupta等提出一种线性化谓词函数的方法（简称Gupta方法），为指定程序路径自动生成测试数据。该文给出了一种模型语言，研究静态，动态数据依赖关系的性质以及Gupta方法中各概念的形式化定义，将Gupta等提出的谓词出推广为路径静态切片，证明了路径静态切片构造算法的正确性，对Gupta方法的改进，省略了构造谓词片和输入依赖集的过程，改进后的方法构造线性约束的效率更高，以改进后的方法为核心算法，开发了面向路径的测试数据自动生成的原型工具，并用实际的程序路径对该工具进行实际，结果表明改进后的方法是比较有效的。
|
| 关 键 词： | Gupta 测试数据自动生成 路径测试 软件测试 数据流分析 程序切片 线性化谓词函数 |
| 修稿时间： | 2001年3月15日 |
Improvement of the Gupta Method |
| |
| SHAN Jin-Hui,WANG Ji,QI Zhi-Chang,WU Jian-Ping.Improvement of the Gupta Method[J].Chinese Journal of Computers,2002,25(12):1378-1386. |
| |
| Authors: | SHAN Jin-Hui WANG Ji QI Zhi-Chang WU Jian-Ping |
| |
| Abstract: | |
| |
| Keywords: | automated test data generation path-wise testing software testing data-flow analysis program slice |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
