未找到相关数据
区间算术在软件测试中的应用
被引：18
作者：
王志言
刘椿年
机构：
[1] 北京工业大学计算机系
来源：
关键词：
区间算术;
区间削减;
正则约束式;
区间分裂;
软件测试;
D O I：
10.13328/j.cnki.jos.1998.06.008
中图分类号：
TP311, [];
学科分类号：
081202 ;
0835 ;
摘要：
程序结构测试可以分为４个阶段：静态分析、路径选择、测试数据生成和动态分析．本文应用区间算术在测试数据生成阶段对约束集求解．由于正则约束式的引入，能够处理复杂的逻辑表达式组，找到一组解以供第４阶段动态分析使用．文中提出的算法具有非常大的灵活性，可以处理非线性约束，经改进后，它甚至可以处理包含函数的表达式
引用
收藏
页码：39 / 44
页数：6
相关论文