Validation of SDN policies: a property-based testing perspective
Ver/ abrir
Use este enlace para citar
http://hdl.handle.net/2183/25097
A non ser que se indique outra cousa, a licenza do ítem descríbese como Atribución-NoComercial-SinDerivadas 3.0 España
Coleccións
Metadatos
Mostrar o rexistro completo do ítemTítulo
Validation of SDN policies: a property-based testing perspectiveData
2019Cita bibliográfica
Laura M. Castro, Nicolae Paladi, Validation of SDN policies: a property-based testing perspective, Procedia Computer Science, Volume 160, 2019, Pages 23-29, ISSN 1877-0509, https://doi.org/10.1016/j.procs.2019.09.439.
Resumo
[Abstract] Software-defined networks are being widely adopted and used in large and complex networks supporting critical operations. Their increasing importance highlights the need for effective validation of SDN topologies and routing policies both prior and during operation. The policies that configure an SDN deployment come from several, possibly conflicting sources. This may lead to undesired effects such as node isolation, network partitions, performance drops and routing loops. Such effects can be formulated as automatically testable reusable conditions using property-based testing (PBT). This approach allows to automatically determine and formulate as a counterexample the minimum set of conflicting rules. The approach is especially useful when policies are configured in an incremental manner. PBT techniques are particularly good at automatic counterexample shrinking and have the potential of being extremely effective in this area.
Palabras chave
Software-defined networks (SDN)
Property-based testing (PBT)
MiniNET
QuickCheck
Hypothesis
Property-based testing (PBT)
MiniNET
QuickCheck
Hypothesis
Dereitos
Atribución-NoComercial-SinDerivadas 3.0 España
ISSN
1877-0509
2211-601X
2211-601X