Improving Intent Correctness with Automated Testing

被引:1
|
作者
Alcock, Paul [1 ]
Simms, Ben [1 ]
Fantom, Will [1 ]
Rotsos, Charalampos [1 ]
Race, Nicholas [1 ]
机构
[1] Univ Lancaster, Sch Comp & Commun, Lancaster, England
基金
英国工程与自然科学研究理事会;
关键词
Network Testing; Network Emulation; CI/CD; IBN; Intent-based Networking;
D O I
10.1109/NetSoft54395.2022.9844054
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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.
引用
收藏
页码:61 / 66
页数:6
相关论文
共 50 条
  • [1] Testing and Improving the Correctness of Wi-Fi Frame Injection
    Vanhoef, Mathy
    Jiao, Xianjun
    Liu, Wei
    Moerman, Ingrid
    [J]. PROCEEDINGS OF THE 16TH ACM CONFERENCE ON SECURITY AND PRIVACY IN WIRELESS AND MOBILE NETWORKS, WISEC 2023, 2023, : 287 - 292
  • [2] Improving reliability of automated ultrasonic testing
    Syrkin, MM
    [J]. RUSSIAN JOURNAL OF NONDESTRUCTIVE TESTING, 2003, 39 (02) : 94 - 104
  • [3] Improving Reliability of Automated Ultrasonic Testing
    M. M. Syrkin
    [J]. Russian Journal of Nondestructive Testing, 2003, 39 : 94 - 104
  • [4] Improving Patch Correctness Analysis via Random Testing and Large Language Models
    Molina, Facundo
    Manuel Copia, Juan
    Gorla, Alessandra
    [J]. 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024, 2024, : 317 - 328
  • [5] Comparative correctness testing
    AlexisPonniah, Micheal A.
    Jenq, John
    [J]. INT CONF ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS AND APPLICATIONS/INT CONF ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 1, 2007, : 284 - +
  • [6] Subsumption, correctness and relative correctness: Implications for software testing
    AlBlwi, Samia
    Marsit, Imen
    Khaireddine, Besma
    Ayad, Amani
    Loh, JiMeng
    Mili, Ali
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2025, 239
  • [7] Improving the Accuracy of Automated GUI Testing for Embedded Systems
    Lin, Ying-Dar
    Chu, Edward T. -H.
    Yu, Shang-Che
    Lai, Yuan-Cheng
    [J]. IEEE SOFTWARE, 2014, 31 (01) : 39 - 45
  • [8] Improving Hardware Quality Measurements Using Automated Testing
    Sari, Alisan
    Celik, Mahmut Emin
    [J]. 2022 20TH INTERNATIONAL CONFERENCE ON MECHATRONICS - MECHATRONIKA (ME), 2022,
  • [9] Improving effectiveness of automated software testing in the absence of specifications
    Xie, Tao
    [J]. ICSM 2006: 22ND IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2006, : 355 - 358
  • [10] CORRECTNESS OF CERAMICS BENDING TESTING
    GOGOTSI, GA
    GRUSHEVSKII, YL
    ZAVADA, VP
    [J]. INDUSTRIAL LABORATORY, 1990, 56 (02): : 212 - 217