区间算术在软件测试中的应用

• 作者: 刘椿年 王志言
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 区间算术 区间削减 正则约束式 区间分裂 软件测试
• 年，卷（期）: 1998,（6）
• 页码范围: 0
• 页数: 1页
• 分类号: TP311
• 语种: 中文

摘要

程序结构测试可以分为4个阶段:静态分析、路径选择、测试数据生成和动态分析.本文应用区间算术在测试数据生成阶段对约束集求解.由于正则约束式的引入,能够处理复杂的逻辑表达式组,找到一组解以供第4阶段动态分析使用.文中提出的算法具有非常大的灵活性,可以处理非线性约束,经改进后,它甚至可以处理包含函数的表达式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘椿年	北京工业大学计算机系	81	1010	16.0	29.0
2	王志言	北京工业大学计算机系	2	104	1.0	2.0