|
|||||
|
|
| 字符串谓词边界的ON—OFF测试点自动生成算法 | |
| 引用本文： | 赵瑞莲,闵应骅.字符串谓词边界的ON—OFF测试点自动生成算法[J].计算机应用,2000(Z1). |
| 作者姓名： | 赵瑞莲 闵应骅 |
| 作者单位： | 中国科学院计算技术研究所!北京100080 |
| 基金项目： | 国家自然科学基金重点课题! (697330 1 0 ) |
| 摘 要： | 针对字符串谓词边界 ,提出了一个ON—OFF测试点自动生成算法。通过对字符串输入变量的每一字符 ,构造其线性分支函数 ,进行Korel的分支函数极小化 ,动态生成给定字符串谓词边界的ON—OFF测试点。实验表明 :该算法是行之有效的。 |
| 关 键 词： | 谓词 边界 谓词切片 分支函数 ON—OFF测试点 |
| 本文献已被 CNKI 等数据库收录！ | |
