paper-with-me

Papers

Learning Failure-Inducing Models for Testing Software-Defined Networks

2022-10-27 · Raphaël Ollando, Seung Yeob Shin, Lionel C. Briand

Software-defined networks (SDN) enable flexible and effective communication systems that are managed by centralized software controllers. However, such a controller can undermine the underlying communication network of an SDN-based system and thus must be carefully tested. When an SDN-based system fails, in order to address such a failure, engineers need to precisely understand the conditions under which it occurs. In this article, we introduce a machine learning-guided fuzzing method, named FuzzSDN, aiming at both (1) generating effective test data leading to failures in SDN-based systems and (2) learning accurate failure-inducing models that characterize conditions under which such system fails. To our knowledge, no existing work simultaneously addresses these two objectives for SDNs. We evaluate FuzzSDN by applying it to systems controlled by two open-source SDN controllers. Further, we compare FuzzSDN with two state-of-the-art methods for fuzzing SDNs and two baselines for learning failure-inducing models. Our results show that (1) compared to the state-of-the-art methods, FuzzSDN generates at least 12 times more failures, within the same time budget, with a controller that is fairly robust to fuzzing and (2) our failure-inducing models have, on average, a precision of 98% and a recall of 86%, significantly outperforming the baselines.

📄 PDF Abstract BibTeX arXiv:2210.15469

Code (0)

등록된 구현이 없습니다.

Methods 이 논문이 사용한 방법론

Test 설명 없음

Similar Papers 제목 키워드 기반

Can Search-Based Testing with Pareto Optimization Effectively Cover Failure-Revealing Test Inputs?

2024-10-15 · Lev Sorokin, Damir Safin, Shiva Nejati

Search-based software testing (SBST) is a widely adopted technique for testing complex systems with large input spaces, such as Deep Learning-enabled (DL-enabled) systems. Many SBST techniques focus on Pareto-based optim…

software testing

Search-based Robustness Testing of Laptop Refurbishing Robotic Software

2026-05-08 · Erblin Isaku, Hassan Sartaj, Shaukat Ali, Malaika Din Hashmi 외 arxiv

The Danish Technological Institute (DTI) focuses on transferring advanced technologies (including robots) to the industry and the public sector. One key application is laptop refurbishment using specialized robots, aimed…

Object Detection

Testing and verification of neural-network-based safety-critical control software: A systematic literature review

2019-10-05 · Jin Zhang, Jingyue Li

Context: Neural Network (NN) algorithms have been successfully adopted in a number of Safety-Critical Cyber-Physical Systems (SCCPSs). Testing and Verification (T&V) of NN-based control software in safety-critical domain…

Systematic Literature Review

Before Autonomy Takes Control: Software Testing in Robotics

2026-02-02 · Nils Chur, Thiago Santos de Moura, Argentina Ortega, Sven Peldszus 외 arxiv

Robotic systems are complex and safety-critical software systems. As such, they need to be tested thoroughly. Unfortunately, robot software is intrinsically hard to test compared to traditional software, mainly since the…

Codehacks: A Dataset of Adversarial Tests for Competitive Programming Problems Obtained from Codeforces

2025-03-30 · Max Hort, Leon Moonen

Software is used in critical applications in our day-to-day life and it is important to ensure its correctness. One popular approach to assess correctness is to evaluate software on tests. If a test fails, it indicates a…