Automated Testcase Generation for Numerical Support Functions in Embedded Systems
- 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.
Author: | Stefan-Alexander SchneiderORCiDGND, Johann Schuhmann |
---|---|
URL / DOI: | https://ntrs.nasa.gov/citations/20140013441 |
DOI: | https://doi.org/10.1007/978-3-319-06200-6_20 |
Identifier: | 9783319061993 OPAC HS OPAC extern |
Parent Title (English): | NASA Formal Methods Symposium 2014 (NFM 2014) |
Publisher: | Springer |
Place of publication: | Cham |
Editor: | Julia M. Badger, Kristin Yvonne Rozier |
Document Type: | conference proceeding (article) |
Conference: | NASA Formal Methods Symposium 2014 (NFM 2014); 29 Apr.-1 May. 2014; Houston, TX; United States |
Language: | English |
Date of Publication (online): | 2014/05/01 |
Year of first Publication: | 2014 |
Number of pages: | 6 Seiten |
First Page: | 252 |
Last Page: | 257 |
Institutes: | Fakultät Elektrotechnik |
Research focus: | FSP2: Mobilität |
Publication Lists: | Schneider, Stefan-Alexander |
Publication reviewed: | begutachtet |
Release Date: | 2021/02/19 |