Automated Testing of Networked Systems Reliability

被引：0
作者：
Rozsival, Michal [1 ]
机构：
[1] Brno Univ Technol, Fac Informat Technol, Brno, Czech Republic
来源：
PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024 | 2024年
关键词：
Networked systems; testing; fault/attack injection; network model;
D O I：
10.1145/3650212.3685559
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The reliability of a network is a crucial 'requirement for systems such as 16f, client-server, or cloud-based solutions. Unfortunately, real networks cannot, be assumed to be fault-free, especially when considering various hardware problems, performance issues, or malicious attacks. Testing networked systems should therefore include evaluating fault tolerance under various network conditions. The paper presents a doctoral research project on automated verification of networked systems using fault-attack injection using a derived model of network communication.
引用
收藏
页码：1920 / 1922
页数：3
相关论文
共 29 条
[1]   Recovering Views of Inter-System Interaction Behaviors [J].
Ackermann, Christopher ;
Lindvall, Mikael ;
Cleaveland, Rance .
16TH WORKING CONFERENCE ON REVERSE ENGINEERING (WCRE 2009), 2009, :53-61
[2]  
[Anonymous], Discrete Event Simulator
[3]  
Banerjee U., 2010, Int. J. Comput. Appl, V6, P1, DOI [10.5120/1092-1427, DOI 10.5120/1092-1427]
[4]   Inferring Models of Concurrent Systems from Logs of Their Behavior with CSight [J].
Beschastnikh, Ivan ;
Brun, Yuriy ;
Ernst, Michael D. ;
Krishnamurthy, Arvind .
36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), 2014, :468-479
[5]  
Brinkmann R., 2018, Formal System Verification: State-of the-Art and Future Trends, P155
[6]   Prospex: Protocol Specification Extraction [J].
Comparetti, Paolo Milani ;
Wondracek, Gilbert ;
Kruegel, Christopher ;
Kirda, Engin .
PROCEEDINGS OF THE 2009 30TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY, 2009, :110-+
[7]   ThorFI: a Novel Approach for Network Fault Injection as a Service [J].
Cotroneo, Domenico ;
De Simone, Luigi ;
Natella, Roberto .
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2022, 201
[8]  
Dakic D., 2019, P IEEE 17 INT S INT, P000161, DOI [10.1109/SISY47553.2019.9111591, DOI 10.1109/SISY47553.2019.9111591]
[9]   THE OSI REFERENCE MODEL [J].
DAY, JD ;
ZIMMERMANN, H .
PROCEEDINGS OF THE IEEE, 1983, 71 (12) :1334-1340
[10]  
De Pradipta., 2003, Distributed Computing Systems, International Conference on, 0, P214, DOI [DOI 10.1109/ICDCS.2003.1203468, 10.1109/ICDCS.2003.1 203468]
123