MeshTest - End-to-End Testing for Service Mesh Traffic Management

Learn about MeshTest, the first end-to-end testing framework for service mesh traffic management, in this 14-minute conference presentation from NSDI '25. Discover how researchers from Peking University developed an innovative approach to automatically generate input configurations with end-to-end semantics and create comprehensive test request suites for service mesh systems. Explore the two main technical challenges addressed: managing the large and complex input space of service mesh configurations that must be orchestrated to form end-to-end service flow paths, and generating real requests capable of checking abstract output network behaviors for correctness. Understand the novel Service Flow Exploration technique that enumerates all possible configuration resources and their interactions, and examine the framework's components including an automatic input configuration generator and a Service Mesh Oracle that uses formal methods to generate test request suites. See how MeshTest successfully identified 23 new bugs (19 confirmed and 10 fixed) in two popular service mesh systems, Istio and Linkerd, demonstrating its effectiveness in improving service mesh reliability and testing practices.