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

Abstract:

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.

Key words: test input generation, non-elementary arithmetics, interval arithmetic, equivalent transformation