Florian Stögmüller,
"Verifying an Embedded Graphics Library leveraging a RISC-V Virtual Prototype & Metamorphic Testing"
, 2023
Original Titel:
Verifying an Embedded Graphics Library leveraging a RISC-V Virtual Prototype & Metamorphic Testing
Sprache des Titels:
Englisch
Original Kurzfassung:
Embedded systems are ubiquitous in everyday life, with even the simplest objects often containing some sort of processing unit. Moreover, many embedded devices include displays to visualize information and allow for easy interaction. Testing the firmware of such devices and verifying the output shown on the display is challenging. Even more, due to the interaction between hardware and software, automating
the verification is complicated. Hence, testing is often done manually by a human tester, or not done at all. In this thesis, we propose a methodology to automate the verification of an embedded graphics library. We have developed a framework leveraging a RISC-V Virtual Prototype and Metamorphic Testing. Our evaluation showcases the effectiveness of the proposed approach by exposing 15 distinct bugs within a commonly-used embedded graphics library.