| Keywords
|
model-based testing, zero-copy protocols, bulk-data communication, test coverage +
|
| Level
|
Master +
|
| OneLineSummary
|
Challenges in Model-Based Testing of Zero-Copy Protocols +
|
| Prerequisites
|
Good programming skills, preferably the course on Testing and Verification of Embedded Systems complete, or similar. +
|
| References
|
1. Jan Tretmans. Model-based testing and s … 1. Jan Tretmans. Model-based testing and some steps towards test-based modelling. In Marco Bernardo and Valérie Issarny, editors, Formal Methods for Eternal Networked Software Systems, LNCS 6659, pages 297–326. Springer, 2011.
2. Wojciech Mostowski, Thomas Arts, and John Hughes. Modelling of Autosar Libraries for Large Scale Testing. Proceedings, 2nd Workshop on Models for Formal Analysis of Real Systems (MARS), EPTCS 244, 2017.
3. ICEORYX home page: https://iceoryx.io/
4. ALEX.AI home page: https://www.apex.ai/4. ALEX.AI home page: https://www.apex.ai/
|
| StudentProjectStatus
|
Open +
|
| Supervisors
|
Wojciech Mostowski +
|
| TimeFrame
|
6 months, starting as soon as possible +
|
| Title
|
Model-Based Testing of Zero-Copy Protocols +
|
| Categories |
StudentProject +
|
| Modification dateThis property is a special property in this wiki.
|
6 October 2022 12:02:49 +
|
