Automated Testing of Networked Systems Reliability
Loading...
Date
2024-09-11
Authors
Rozsíval, Michal
ORCID
0009-0004-4656-9486Advisor
Referee
Mark
Journal Title
Journal ISSN
Volume Title
Publisher
Association for Computing Machinery
Altmetrics
Abstract
The reliability of a network is a crucial requirement for systems such as IoT, 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.
Spolehlivá síť je základním požadavkem pro síťové systémy, jako je například internet věcí (IoT), systémy komunikující způsobem klient-server nebo systémy využívající cloudové služby. Bohužel nelze předpokládat, že reálná síť je bezporuchová, zejména pokud se vezmou v úvahu možné poruchy hardwarových prvků, problémy s výkonem nebo útoky. Testování síťových systémů by proto mělo zahrnovat vyhodnocení odolnosti proti poruchám v různých síťových podmínkách. Článek představuje doktorský výzkumný projekt zaměřený na automatizované ověřování síťových systémů založené na vkládání chyb a útoků využívající odvozený model síťové komunikace.
Spolehlivá síť je základním požadavkem pro síťové systémy, jako je například internet věcí (IoT), systémy komunikující způsobem klient-server nebo systémy využívající cloudové služby. Bohužel nelze předpokládat, že reálná síť je bezporuchová, zejména pokud se vezmou v úvahu možné poruchy hardwarových prvků, problémy s výkonem nebo útoky. Testování síťových systémů by proto mělo zahrnovat vyhodnocení odolnosti proti poruchám v různých síťových podmínkách. Článek představuje doktorský výzkumný projekt zaměřený na automatizované ověřování síťových systémů založené na vkládání chyb a útoků využívající odvozený model síťové komunikace.
Description
Citation
ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. 2024, p. 1920-1922.
Document type
Peer-reviewed
Document version
Published version
Date of access to the full text
Language of document
en