Talks and Poster Presentations (with Proceedings-Entry):
T. Reinbacher, D. Gückel, M. Horauer:
"Testing microcontroller software simulators";
Talk: WS4C 2011,
- 2011-10-07; in: "Workshop on Software Language Engineering for Cyber-physical Systems",
Software simulators that emulate equivalent behavior of physical micro-controllers play an important role in the process of software development for embedded systems from an early development stage (e.g. when no target hardware is available) to the final verification process (e.g. used in combination with formal methods). Thus, much reliance is put on the correctness of these simulators. This paper presents a practicable approach to test auto-generated and custom microcontroller simulators (both closed and open-source) against a physical device. We show how to set up a test oracle that allows to run the simulators in parallel, validate individual runs based on a comparison of their accumulated state-space, and -- in case an error is found -- finger-point to the root cause of the error, thus giving valuable support for fixing the discrepancies. A case study shows that the presented testing framework was able to reveal non-trivial bugs in several implementations.
Project Head Andreas Steininger:
Framework für CounterExample Validierung und Testfallgenerierung für die Verifikation von eingebetteter Software
Created from the Publication Database of the Vienna University of Technology.