%0 Journal Article
%A GONG Yun-zhan
%A HUANG Jun-fei
%A LI Feng
%T Equivalent Transformation of Non-Elementary Arithmetics in Automatic Test Input Generation
%D 2015
%R 10.13190/j.jbupt.2015.04.014
%J Journal of Beijing University of Posts and Telecommunications
%P 65-69
%V 38
%N 4
%X <p>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. Experimentsshowthat the test cases of non-elementary arithmetics can be effectivelygenerated by the proposed method.</p>
%U https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2015.04.014