Validation of SDN policies: a property-based testing perspective
Castro, Laura M. and Paladi, Nicolae LU
(2019)
10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019)
In Procedia Computer Science
160.
p.23-29
- 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... (More)
- 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. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/5c4911d7-bc9d-462f-8591-664cb8895dcb
- author
- Castro, Laura M.
and Paladi, Nicolae
LU
- organization
- publishing date
- 2019-11-21
- type
- Contribution to journal
- publication status
- published
- subject
- keywords
- SDN, Property-based testing
- in
- Procedia Computer Science
- volume
- 160
- pages
- 6 pages
- publisher
- Elsevier
- conference name
- 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019)
- conference location
- Coimbra, Portugal
- conference dates
- 2019-11-04 - 2019-11-07
- external identifiers
-
- scopus:85079092944
- ISSN
- 1877-0509
- DOI
- 10.1016/j.procs.2019.09.439
- project
- Säkra mjukvaruuppdateringar för den smarta staden
- language
- English
- LU publication?
- yes
- id
- 5c4911d7-bc9d-462f-8591-664cb8895dcb
- date added to LUP
- 2020-01-13 09:08:01
- date last changed
- 2022-04-18 19:59:50
@article{5c4911d7-bc9d-462f-8591-664cb8895dcb,
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.}},
author = {{Castro, Laura M. and Paladi, Nicolae}},
issn = {{1877-0509}},
keywords = {{SDN; Property-based testing}},
language = {{eng}},
month = {{11}},
pages = {{23--29}},
publisher = {{Elsevier}},
series = {{Procedia Computer Science}},
title = {{Validation of SDN policies: a property-based testing perspective}},
url = {{http://dx.doi.org/10.1016/j.procs.2019.09.439}},
doi = {{10.1016/j.procs.2019.09.439}},
volume = {{160}},
year = {{2019}},
}