Implementace fuzz testování pro embedded systém

Bc. Pavlína Kulhavá

Master's thesis

Implementation of Fuzz Testing for an Embedded System

Anotácia:

Tato diplomová práce se zabývá implementací fuzz testování pro embedded zařízení. Cílem práce bylo implementovat fuzz testování pro testování přímo na zařízení. K tomu byly použité tři přístupy, a to testování pomocí simulátoru, přímo na zařízení a s použitím vzdáleného volání procedur (eRPC). Teoretická část popisuje dosavadní snahu o implementaci, včetně možného použití fuzz testování v rámci projektu. Praktická část pak poznatky získané v teoretické aplikuje na implementaci výše zmíněných třech přístupů pro AFL++ fuzz framework. K testování je použita vývojová deska od NXP mimxrt1064_evk a ukázkový projekt SHELL volně dostupný z mcuxpresso SDK. Výsledkem této práce je srovnání složitosti implementace, rychlosti testování a použitelnosti jednotlivých přístupu pro testování na reálných zařízeních.

Abstract:

This thesis deals with the implementation of fuzz testing for embedded devices. The aim of the thesis was to implement fuzz testing for testing directly on the device. To do this, three approaches were used, namely testing using a simulator, directly on the device and using remote procedure calls (eRPC). The theoretical section describes the implementation efforts to date, including the possible use of fuzz testing within the project. The practical part then applies the knowledge gained in the theoretical part to the implementation of the above three approaches for the AFL++ fuzz framework. The NXP mimxrt1064_evk development board and the SHELL sample project freely available from the mcuxpresso SDK are used for testing. The result of this work is a comparison of the implementation complexity, testing speed and usability of each approach for testing on real devices.

Kľúčové slová

Fuzz testování, Fuzzer, Embedded systém, Testování, Embedded Simulátory, AFL++, LibFuzzer, Renode, QEMU

Jazyk práce: Czech

Datum vytvoření / odevzdání či podání práce: 10. 5. 2024

Obhajoba závěrečné práce

Tomas Bata University in Zlín

Faculty of Applied Informatics

Master programme / odbor:
Information Technologies / Software Engineering