期刊名称：International Journal of Software Engineering and Its Applications
印刷版ISSN：1738-9984
出版年度：2014
卷号：8
期号：9
页码：89-102
DOI：10.14257/ijseia.2014.8.9.08
出版社：SERSC
摘要：We propose a local search based approach to generate automatically test cases for programs having floating point statements. The proposed approach, called MLFP (for Multi- precision arithmetic and Local search for Floating Point constraints), adopts a local search approach to solve constraints on floating point numbers. Compared to the classical integer domain, floating point numbers F F have two particular properties: they have a huge cardinality (e.g., 2 52 numbers in the interval [0.5, 1.0] with the "double" format), huge values (e.g. 10 300 ), and also tiny values (e.g. 10 -300 ). This huge combinatorial nature of the search space motivates using a local search approach. In order to find test cases containing huge or tiny numbers, such as overflow or underflow exception errors, MLFP uses the multiple precision MPFR library. Our local search approach proceeds in two steps. The first step exploits a line search algorithm to converge quickly to an approximate solution on real numbers. The second step adopts a dedicated local search algorithm on floating point numbers in order to find an exact solution, by using specific neighborhood and evaluation functions. We have implemented the MLFP approach, and we have shown its usefulness on various non trivial programs having floating point statements.
关键词：Software testing; Test case generation; Floating-point constraints; Floating- ; point numbers; Local search
