Automated Testing of Networked Systems Reliability

Simple item page
dc.contributor.authorRozsíval, Michalcs
dc.date.issued2024-09-11cs
dc.description.abstractThe 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.en
dc.description.abstractSpolehlivá 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.cs
dc.formattextcs
dc.format.extent1920-1922cs
dc.format.mimetypeapplication/pdfcs
dc.identifier.citationISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. 2024, p. 1920-1922.en
dc.identifier.doi10.1145/3650212.3685559cs
dc.identifier.isbn979-8-4007-0612-7cs
dc.identifier.orcid0009-0004-4656-9486cs
dc.identifier.other196921cs
dc.identifier.urihttp://hdl.handle.net/11012/250749
dc.language.isoencs
dc.publisherAssociation for Computing Machinerycs
dc.relation.ispartofISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysiscs
dc.relation.urihttps://dl.acm.org/doi/pdf/10.1145/3650212.3685559cs
dc.rightsCreative Commons Attribution 4.0 Internationalcs
dc.rights.accessopenAccesscs
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/cs
dc.subjectnetworked systemsen
dc.subjecttestingen
dc.subjectfault/attack injectionen
dc.subjectnetwork modelen
dc.subjectsíťové systémy
dc.subjecttestování
dc.subjectvkládání chyb a útoků
dc.subjectmodel sítě
dc.titleAutomated Testing of Networked Systems Reliabilityen
dc.title.alternativeAutomatizované testování spolehlivosti síťových systémůcs
dc.type.driverconferenceObjecten
dc.type.statusPeer-revieweden
dc.type.versionpublishedVersionen
sync.item.dbidVAV-196921en
sync.item.dbtypeVAVen
sync.item.insts2025.04.15 14:56:25en
sync.item.modts2025.04.15 14:33:23en
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
3650212.3685559.pdf
Size:
131.24 KB
Format:
Adobe Portable Document Format
Description:
file 3650212.3685559.pdf
Download
Collections
Ústav inteligentních systémů