%0 Journal Article
%A 宫云战
%A 黄俊飞
%A 李峰
%T 自动测试用例生成中非四则运算的等价变换方法
%D 2015
%R 10.13190/j.jbupt.2015.04.014
%J 北京邮电大学学报
%P 65-69
%V 38
%N 4
%X <p>C工程中的非四则运算在所有数值运算中出现的比例为23%.在使用搜索技术进行测试用例生成时,非四则运算的求解效率很低,因为非四则运算没有对应的区间运算法则以提高搜索效率.为此,提出一种等价变换方法,将非四则运算分解为多个四则运算,再应用四则运算的区间运算来提高整体的求解效率.实验表明,此方法能提高非四则运算的测试用例生成效率.</p>
%U https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2015.04.014