Yuqi Jiang
Automated Verification and Evaluation of Network Routing Configurations.
Rel. Paolo Giaccone. Politecnico di Torino, Corso di laurea magistrale in Communications Engineering, 2026
|
Preview |
PDF (Tesi_di_laurea)
- Tesi
Licenza: Creative Commons Attribution Non-commercial No Derivatives. Download (13MB) | Preview |
Abstract
Routing configuration tasks constitute a core component of computer networking education. However, the evaluation of such tasks is traditionally performed manually or through direct comparison of routing table entries, both of which suffer from limitations in scalability, consistency, and fairness. Structural comparison of configurations cannot reliably capture intended network behavior, because different routing implementations may produce identical forwarding outcomes, while seemingly similar configurations may lead to forwarding errors such as unreachable subnets or routing loops. This thesis proposes automated verification and evaluation of network routing configurations. The framework reformulates routing configuration assessment as the verification of constrained network properties. Instead of comparing configuration syntax, the system evaluates behavioral correctness by verifying data-plane properties derived from each question's target prefix set.
Students' routing entries are automatically transformed into device-specific configuration files and combined with topology metadata to construct complete network snapshots
Relatori
Anno Accademico
Tipo di pubblicazione
Numero di pagine
Corso di laurea
Classe di laurea
URI
![]() |
Modifica (riservato agli operatori) |
