期刊文章详细信息
区间算术在软件测试中的应用 ( EI收录)
The Application of Interval Computation in Software Testing
文献类型：期刊文章
机构地区：[1]北京工业大学计算机系
基 金：国家自然科学基金;国家863高科技项目基金
年 份：1998
卷 号：9
期 号：6
起止页码：438-443
语 种：中文
收录情况：AJ、BDHX、BDHX1996、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊
摘 要：程序结构测试可以分为４个阶段：静态分析、路径选择、测试数据生成和动态分析．本文应用区间算术在测试数据生成阶段对约束集求解．由于正则约束式的引入，能够处理复杂的逻辑表达式组，找到一组解以供第４阶段动态分析使用．文中提出的算法具有非常大的灵活性，可以处理非线性约束，经改进后。
关 键 词：区间算术 区间削减 软件测试 软件开发
分 类 号：TP311.52]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
