Leveraging Virtual Prototypes and Metamorphic Testing for Verification of Embedded Graphics Libraries

Abstract:
In this extended abstract, we summarize our work from, 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.