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

摘要：

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

关键词：软件测试、测试数据、区间算术、区间削减

所属期刊栏目：41

分类号：TP311(计算技术、计算机技术)

在线出版日期：2008-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：663-667