Home > Research > Publications & Outputs > Improving Intent Correctness with Automated Tes...

Electronic data

  • WIN22_NEAT_Intents

    Rights statement: ©2022 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

    Accepted author manuscript, 276 KB, PDF document

    Available under license: CC BY-NC: Creative Commons Attribution-NonCommercial 4.0 International License

Links

Text available via DOI:

View graph of relations

Improving Intent Correctness with Automated Testing

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published

Standard

Improving Intent Correctness with Automated Testing. / Alcock, Paul; Simms, Ben; Fantom, Will et al.
2022 IEEE 8th International Conference on Network Softwarization (NetSoft). ed. / Alexander Clemm; Guido Maier; Carmen Mas Machuca; K.K. Ramakrishnan; Fulvio Risso; Prosper Chemouil; Noura Limam. IEEE, 2022. p. 61-66 (IEEE International Conference on Network Softwarization (NetSoft); No. 8).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Harvard

Alcock, P, Simms, B, Fantom, W, Rotsos, C & Race, N 2022, Improving Intent Correctness with Automated Testing. in A Clemm, G Maier, CM Machuca, KK Ramakrishnan, F Risso, P Chemouil & N Limam (eds), 2022 IEEE 8th International Conference on Network Softwarization (NetSoft). IEEE International Conference on Network Softwarization (NetSoft), no. 8, IEEE, pp. 61-66. https://doi.org/10.1109/netsoft54395.2022.9844054

APA

Alcock, P., Simms, B., Fantom, W., Rotsos, C., & Race, N. (2022). Improving Intent Correctness with Automated Testing. In A. Clemm, G. Maier, C. M. Machuca, K. K. Ramakrishnan, F. Risso, P. Chemouil, & N. Limam (Eds.), 2022 IEEE 8th International Conference on Network Softwarization (NetSoft) (pp. 61-66). (IEEE International Conference on Network Softwarization (NetSoft); No. 8). IEEE. https://doi.org/10.1109/netsoft54395.2022.9844054

Vancouver

Alcock P, Simms B, Fantom W, Rotsos C, Race N. Improving Intent Correctness with Automated Testing. In Clemm A, Maier G, Machuca CM, Ramakrishnan KK, Risso F, Chemouil P, Limam N, editors, 2022 IEEE 8th International Conference on Network Softwarization (NetSoft). IEEE. 2022. p. 61-66. (IEEE International Conference on Network Softwarization (NetSoft); 8). Epub 2022 Jun 27. doi: 10.1109/netsoft54395.2022.9844054

Author

Alcock, Paul ; Simms, Ben ; Fantom, Will et al. / Improving Intent Correctness with Automated Testing. 2022 IEEE 8th International Conference on Network Softwarization (NetSoft). editor / Alexander Clemm ; Guido Maier ; Carmen Mas Machuca ; K.K. Ramakrishnan ; Fulvio Risso ; Prosper Chemouil ; Noura Limam. IEEE, 2022. pp. 61-66 (IEEE International Conference on Network Softwarization (NetSoft); 8).

Bibtex

@inproceedings{5e3719d0b4764f68a5815a9d7c866bf3,
title = "Improving Intent Correctness with Automated Testing",
abstract = "Intent-based networking (IBN) systems have become the de-facto control abstraction to drive self-service, self-healing, and self-optimized capabilities in service delivery processes. Nonetheless, the operation complexity of modern network infrastructures make network practitioners apprehensive towards adoption in production, requiring further evidence for correctness. In this paper, we argue that testing, verification and monitoring should become first-class citizens in reference IBN architecture, in order to improve the detection errors during operations. Towards this goal, we present an extension for an intent architecture that allows IBN system to validate the correctness of network configuration using realistic network emulation. Furthermore, we present an intent use-case that ensure correct operation in hybrid networks.",
author = "Paul Alcock and Ben Simms and Will Fantom and Charalampos Rotsos and Nicholas Race",
note = "{\textcopyright}2022 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. ",
year = "2022",
month = aug,
day = "3",
doi = "10.1109/netsoft54395.2022.9844054",
language = "English",
series = "IEEE International Conference on Network Softwarization (NetSoft)",
publisher = "IEEE",
number = "8",
pages = "61--66",
editor = "Alexander Clemm and Guido Maier and Machuca, {Carmen Mas} and K.K. Ramakrishnan and Fulvio Risso and Prosper Chemouil and Noura Limam",
booktitle = "2022 IEEE 8th International Conference on Network Softwarization (NetSoft)",

}

RIS

TY - GEN

T1 - Improving Intent Correctness with Automated Testing

AU - Alcock, Paul

AU - Simms, Ben

AU - Fantom, Will

AU - Rotsos, Charalampos

AU - Race, Nicholas

N1 - ©2022 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

PY - 2022/8/3

Y1 - 2022/8/3

N2 - Intent-based networking (IBN) systems have become the de-facto control abstraction to drive self-service, self-healing, and self-optimized capabilities in service delivery processes. Nonetheless, the operation complexity of modern network infrastructures make network practitioners apprehensive towards adoption in production, requiring further evidence for correctness. In this paper, we argue that testing, verification and monitoring should become first-class citizens in reference IBN architecture, in order to improve the detection errors during operations. Towards this goal, we present an extension for an intent architecture that allows IBN system to validate the correctness of network configuration using realistic network emulation. Furthermore, we present an intent use-case that ensure correct operation in hybrid networks.

AB - Intent-based networking (IBN) systems have become the de-facto control abstraction to drive self-service, self-healing, and self-optimized capabilities in service delivery processes. Nonetheless, the operation complexity of modern network infrastructures make network practitioners apprehensive towards adoption in production, requiring further evidence for correctness. In this paper, we argue that testing, verification and monitoring should become first-class citizens in reference IBN architecture, in order to improve the detection errors during operations. Towards this goal, we present an extension for an intent architecture that allows IBN system to validate the correctness of network configuration using realistic network emulation. Furthermore, we present an intent use-case that ensure correct operation in hybrid networks.

U2 - 10.1109/netsoft54395.2022.9844054

DO - 10.1109/netsoft54395.2022.9844054

M3 - Conference contribution/Paper

T3 - IEEE International Conference on Network Softwarization (NetSoft)

SP - 61

EP - 66

BT - 2022 IEEE 8th International Conference on Network Softwarization (NetSoft)

A2 - Clemm, Alexander

A2 - Maier, Guido

A2 - Machuca, Carmen Mas

A2 - Ramakrishnan, K.K.

A2 - Risso, Fulvio

A2 - Chemouil, Prosper

A2 - Limam, Noura

PB - IEEE

ER -