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

  • Christoph Hazott (Speaker)
  • Florian Stögmüller (Speaker)
  • Lucas Klemmer (Speaker)

Activity: Talk or presentation › Contributed talk › science-to-science

Description

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.
Period14 Feb 2024
Event titleITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2024
Event typeConference
LocationKaiserslautern, GermanyShow on map

Fields of science

  • 202017 Embedded systems
  • 202005 Computer architecture
  • 102005 Computer aided design (CAD)
  • 102 Computer Sciences
  • 102011 Formal languages

JKU Focus areas

  • Digital Transformation

Documents & Links