Leveraging Virtual Prototypes and Metamorphic Testing for Verification of Embedded Graphics Libraries
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2024
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
In this extended abstract, we summarize our work from [6], where we proposed a novel approach focusing on integration testing of embedded graphics libraries. We leveraged Virtual Prototypes (VPs) and integrated them with Metamorphic Testing (MT). Additionally, we eliminated the need for physical hardware by virtualizing the displays within the virtual environment. On an extended RISC-V VP for the GD32V platform we found 15 distinct bugs for the widely used TFT_eSPI embedded graphics library.
Forschungs-