• search hit 39 of 51
Back to Result List

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.

Export metadata

Additional Services

Search Google Scholar
Metadaten
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
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.