MµSE: Supporting Exploration of Software-Hardware Interactions Through Examples
Paul Methfessel, Tom Beckmann, Patrick Rein, Stefan Ramson, Robert Hirschfeld · 2024
Programmers regularly explore the execution of code examples to verify assumptions by adding print statements or commenting in and out setup code in their implementation to isolate code paths of interest. In our formative study on developing embedded programs, where proximity to hardware dictates low abstraction levels, we observed that wrong assumptions occur frequently. However, traditional editors for embedded programs lack support for such explorations. Consequently, programmers have to re-create and clean up setup and print statements in their code for each example.