QQ客服 官方微博 反馈留言

	A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies
	Zou, Daming ; Wang, Ran ; Xiong, Yingfei ; Zhang, Lu ; Su, Zhendong ; Mei, Hong
	2015
关键词	TEST-DATA GENERATION SOFTWARE
英文摘要	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.; EI; CPCI-S(ISTP); zoudm@pku.edu.cn; lilianwangran@pku.edu.cn; xiongyf@pku.edu.cn; zhanglucs@pku.edu.cn; su@ucdavis.edu; meih@pku.edu.cn; 529-539; 1
语种	英语
出处	2015 IEEE ACM 37th IEEE International Conference on Software Engineering
DOI标识	10.1109/ICSE.2015.70
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/436742]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Zou, Daming,Wang, Ran,Xiong, Yingfei,et al. A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. 2015-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。