 | V sobotu dne 19. 10. 2024 dojde k odstávce některých součástí informačního systému. Nedostupná bude zejména práce se soubory v modulech závěrečných prací. Svoje požadavky, prosím, odložte na pozdější dobu. |
Fuzz testing of network subsystem in PikeOS
| Název práce v češtině: | Fuzz testování síťového subsystému v PikeOS |
|---|---|
| Název v anglickém jazyce: | Fuzz testing of network subsystem in PikeOS |
| Klíčová slova: | Fuzz testování|Dlouhodobé testování|RTOS|Síťový stack|PikeOS |
| Klíčová slova anglicky: | Fuzzing|Long run testing|RTOS|Network stack|PikeOS |
| Akademický rok vypsání: | 2022/2023 |
| Typ práce: | bakalářská práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
| Vedoucí / školitel: | doc. RNDr. Pavel Parízek, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 19.09.2022 |
| Datum zadání: | 19.09.2022 |
| Datum potvrzení stud. oddělením: | 11.10.2022 |
| Datum a čas obhajoby: | 05.02.2024 09:00 |
| Datum odevzdání elektronické podoby: | 09.01.2024 |
| Datum odevzdání tištěné podoby: | 09.01.2024 |
| Datum proběhlé obhajoby: | 05.02.2024 |
| Oponenti: | RNDr. Jakub Yaghob, Ph.D. |
| Zásady pro vypracování |
| Network subsystems in operating systems have specific requirements on security and reliability, since they need to process inputs from possibly unsafe environment (including network packets and configuration). The goal of this project is to design and implement a long-running test for the network subsystem of the real-time operating system PikeOS, developed by the company SYSGO. A key component of the test will be a fuzzer that should exercise behavior of the network subsystem in PikeOS under many different inputs, workloads, and configurations. The test should cover all the common network traffic scenarios and functionality supported by the network subsystem, and it should run multiple concurrent processes in order to stress possible race conditions. In addition, test should also exercise the following: large packets, incomplete packets, blocking and non-blocking mode of sending and receiving packets, traffic intensity, and packets with specific content. The fuzzer component has to be highly configurable and parameterized, specifically in order to support also testing of system behavior under possibly invalid inputs and configurations. |
| Seznam odborné literatury |
| 1. PikeOS, https://www.sysgo.com/pikeos
2. CIP: Certifiable IP Stack, https://www.sysgo.com/cip 3. The Fuzzing Book, https://www.fuzzingbook.org/ 4. Fuzzing: Hack, Art, and Science. Communications of the ACM, Volume 63, Number 2, pages 70-76, February 2020 5. Marcel Böhme, Cristian Cadar, Abhik Roychoudhury. Fuzzing: Challenges and Reflections. IEEE Software, 2021 |