Floating-point unit (FPU) verification is a known challenge, due to the variety of corner cases both in its data path and control flow. We have identified a gap in the coverage of FP corner cases that combine special data and control scenarios. We propose a solution based on combining the deep FP knowledge of a special FP test generator with the strength of a general-purpose test generator. We present a novel FP testing knowledge package (FPTK) that consists of a weighted set of FP scenarios. We explain the flow of combining the existing tools with the FPTK and demonstrate its effect. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Aharony, M., Gofman, E., Guralnik, E., & Koyfman, A. (2012). Injecting floating-point testing knowledge into test generators. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7261 LNCS, pp. 234–241). https://doi.org/10.1007/978-3-642-34188-5_20
Mendeley helps you to discover research relevant for your work.