区间算术在软件测试中的应用
The Application of Interval Computation in Software Testing作者机构：北京工业大学计算机系
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：1998年第9卷第6期
页 面：438-443页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金 国家863高科技项目基金
摘 要：程序结构测试可以分为４个阶段：静态分析、路径选择、测试数据生成和动态分析．本文应用区间算术在测试数据生成阶段对约束集求解．由于正则约束式的引入，能够处理复杂的逻辑表达式组，找到一组解以供第４阶段动态分析使用．文中提出的算法具有非常大的灵活性，可以处理非线性约束，经改进后。
维普期刊数据库
同方期刊数据库