University of Twente Student Theses
Model-based Probabilistic Testing of a Transmission Protocol deployed on Microcontrollers.
Liashenko, D. (2025) Model-based Probabilistic Testing of a Transmission Protocol deployed on Microcontrollers.
|
PDF
745kB |
| Abstract: | This paper evaluates the reliability of a custom ad hoc transmission protocol developed specifically for the Batavierenrace. A model-based testing (MBT) approach is employed to simulate a realistic operational environment for the physical system. The system's behavior under these conditions is documented, and the resulting sample data is later analyzed through hypothesis testing to draw conclusions about the protocol's reliability. The study demonstrates the potential of MBT to automate large-scale testing of physically distributed systems, under conditions of limited communication between distributed nodes. However, the current approach is semi-automated, and further work is required to integrate a fully automated testing architecture. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/105119 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page