Abstract
We present a tool for the automatic generation of test stimuli for small numerical support functions, e.g., code for trigonometric functions, quaternions, filters, or table lookup. Our tool is based on KLEE to produce a set of test stimuli for full path coverage. We use a method of iterative deepening over abstractions to deal with floating-point values. During actual testing the stimuli exercise the code against a reference implementation. We illustrate our approach with results of experiments with low-level trigonometric functions, interpolation routines, and mathematical support functions from an open source UAS autopilot. © 2014 Springer International Publishing.
Cite
CITATION STYLE
Schumann, J., & Schneider, S. A. (2014). Automated testcase generation for numerical support functions in embedded systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8430 LNCS, pp. 252–257). Springer Verlag. https://doi.org/10.1007/978-3-319-06200-6_20
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
