自动测试用例生成中非四则运算的等价变换方法  

Equivalent Transformation of Non-Elementary Arithmetics in Automatic Test Input Generation

作　　者：李峰[1] 黄俊飞[1] 宫云战[1] 

机构地区：[1]北京邮电大学网络与交换技术国家重点实验室,北京100876

出　　处：《北京邮电大学学报》2015年第4期63-67,共5页Journal of Beijing University of Posts and Telecommunications

基　　金：国家自然科学基金项目(61202080;91318301);国家高技术研究发展计划(863计划)项目(2012AA011201)

摘　　要：C工程中的非四则运算在所有数值运算中出现的比例为23%.在使用搜索技术进行测试用例生成时,非四则运算的求解效率很低,因为非四则运算没有对应的区间运算法则以提高搜索效率.为此,提出一种等价变换方法,将非四则运算分解为多个四则运算,再应用四则运算的区间运算来提高整体的求解效率.实验表明,此方法能提高非四则运算的测试用例生成效率.Non-elementary arithmetics accounts for 23% in all numerical calculations in C projects. To solve non-elementary arithmetics is inefficient in fact when search technology is used for test input generation. Because the non-elementary arithmetics does not have corresponding interval arithmetic rules to improve the search efficiency. Amethod of equivalent transformation was proposed to decompose non-elementary arithmetics into elementary arithmetics. The interval arithmetic of elementary arithmetics can be used thereafter. Experiments show that the test cases of non-elementary arithmetics can be effectively generated by the proposed method.

关 键 词：测试用例生成 非四则运算 区间运算 等价变换 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]