软件测试数据生成中的区间削减方法研究

在面向对象软件测试中,为了降低根据方法参数的约束条件生成测试数据的复杂性,提出了从前置条件的属性约束、测试消息序列的谓词约束以及派生的中间参数约束3个方面对参数的取值范围进行区间削减的算法,得到了关于方法参数的最小区间约束,提高了测试数据的生成效率.

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

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