DocumentCode :
1606497
Title :
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies
Author :
Daming Zou ; Ran Wang ; Yingfei Xiong ; Lu Zhang ; Zhendong Su ; Hong Mei
Author_Institution :
Key Lab. of High Confidence Software Technol., Peking Univ., Beijing, China
Volume :
1
fYear :
2015
Firstpage :
529
Lastpage :
539
Abstract :
It is well-known that using floating-point numbers may inevitably result in inaccurate results and sometimes even cause serious software failures. Safety-critical software often has strict requirements on the upper bound of inaccuracy, and a crucial task in testing is to check whether significant inaccuracies may be produced. The main existing approach to the floating-point inaccuracy problem is error analysis, which produces an upper bound of inaccuracies that may occur. However, a high upper bound does not guarantee the existence of inaccuracy defects, nor does it give developers any concrete test inputs for debugging. In this paper, we propose the first metaheuristic search-based approach to automatically generating test inputs that aim to trigger significant inaccuracies in floating-point programs. Our approach is based on the following two insights: (1) with FPDebug, a recently proposed dynamic analysis approach, we can build a reliable fitness function to guide the search; (2) two main factors - the scales of exponents and the bit formations of significands - may have significant impact on the accuracy of the output, but in largely different ways. We have implemented and evaluated our approach over 154 real-world floating-point functions. The results show that our approach can detect significant inaccuracies in the subjects.
Keywords :
floating point arithmetic; genetic algorithms; program debugging; search problems; system monitoring; FPDebug; debugging; dynamic analysis approach; error analysis; fitness function; floating-point inaccuracy detection; floating-point inaccuracy problem; floating-point numbers; floating-point programs; genetic algorithm; metaheuristic search-based approach; safety-critical software; software failures; Accuracy; Algorithm design and analysis; Genetic algorithms; Search problems; Sociology; Software; Statistics;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on
Conference_Location :
Florence
Type :
conf
DOI :
10.1109/ICSE.2015.70
Filename :
7194603
Link To Document :
بازگشت