软件测试数据生成中的区间削减方法研究
Research on Method of Interval Narrowing in the Generation of Software Test Data作者机构：北京航空航天大学软件工程研究所北京100083 军械工程学院计算机工程系石家庄050003
出 版 物：《南京大学学报（自然科学版）》 (Journal of Nanjing University（Natural Science）)
年 卷 期：2005年第41卷第Z1期
页 面：663-667页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：在面向对象软件测试中,为了降低根据方法参数的约束条件生成测试数据的复杂性,提出了从前置条件的属性约束、测试消息序列的谓词约束以及派生的中间参数约束3个方面对参数的取值范围进行区间削减的算法,得到了关于方法参数的最小区间约束,提高了测试数据的生成效率.
维普期刊数据库