Monica: Towards Scalable Distributed System Verification by Programmable Switch-Based Testing

Data correctness in distributed systems is ensured by data consistency, where consistency is achieved by consensus algorithms. To safeguard data consistency, current testing tools use stress testing methods to examine consensus algorithms. However, existing tools are unable to simulate the situation...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE/ACM ... International Symposium on Quality of Service (Online) S. 1 - 10
Hauptverfasser:	Lin, Junjie, Yu, Jiashuo, Zhu, Longlong, Zhang, Dong, Liao, Lida, Lin, Chuan, Wu, Rongbang, Chen, Xiang, Wu, Chunming
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 02.07.2025
Schlagworte:	Accuracy Consensus algorithm Distributed databases Monitoring Quality of service Servers Stress Switches System verification Testing
ISSN:	2766-8568
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!