基于谓词切片的字符串测试数据自动生成
文献类型：期刊论文
| 作者 | 赵瑞莲2; 闵应骅1 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2002 |
| 卷号 | 39.0期号:004页码:473 |
| 关键词 | 谓词切片 字符串测试数据 自动生成 动态生成算法 软件测试 软件开发 |
| ISSN号 | 1000-1239 |
| 英文摘要 | 字符串谓词使用相当普遍，如何实现字符串测试数据的自动生成是一个有待解决的问题，针对字符串谓词，讨论了路径Path上给定谓词的谓词切片的动态生成算法，以及基于谓词切片的字符串测试数据自动生成方法，并给出了字符串间距离的定义，利用程序DUC（Definithon-Use-Control)表达式，构造谓词的谓词切片，对任意的输入，通过执行谓词切片，获取谓词中变量的当前值，进而对谓词中变量的每一字符进行分支函数极小化，动态生成给定字符串谓词边界的ON－OFF测试点，实验表明，该方法是行之有效的。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/34475]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.北京化工大学信息科学与技术学院 |
| 推荐引用方式 GB/T 7714 | 赵瑞莲,闵应骅. 基于谓词切片的字符串测试数据自动生成[J]. 计算机研究与发展,2002,39.0(004):473. |
| APA | 赵瑞莲,&闵应骅.(2002).基于谓词切片的字符串测试数据自动生成.计算机研究与发展,39.0(004),473. |
| MLA | 赵瑞莲,et al."基于谓词切片的字符串测试数据自动生成".计算机研究与发展 39.0.004(2002):473. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。