%0 Journal Article
%T 区间算术在软件测试中的应用
%A 王志言？
%A 刘椿年？
%J 软件学报
%P 438-443
%D 1998
%X 程序结构测试可以分为4个阶段:静态分析、路径选择、测试数据生成和动态分析.本文应用区间算术在测试数据生成阶段对约束集求解.由于正则约束式的引入,能够处理复杂的逻辑表达式组,找到一组解以供第4阶段动态分析使用.文中提出的算法具有非常大的灵活性,可以处理非线性约束,经改进后,它甚至可以处理包含函数的表达式.
%K 区间算术
%K 区间削减
%K 正则约束式
%K 区间分裂
%K 软件测试.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19980608&flag=1