Nous présentons MeshTest, le premier cadre de test de bout en bout pour la gestion du trafic des maillages de services. L'idée clé de MeshTest est de générer automatiquement des configurations d'entrée avec des flux de services de bout en bout, puis de créer de véritables suites de demandes de test pour chaque entrée sur la base d'une modélisation détaillée des flux de services. Deux défis techniques se posent. Tout d'abord, l'espace d'entrée des configurations de maillages de services est vaste et complexe. Les configurations d'entrée doivent être soigneusement orchestrées pour former des chemins de flux de services de bout en bout. Deuxièmement, le comportement abstrait du réseau de sortie ne peut pas être vérifié directement pour sa correction, et nous devons générer un ensemble de véritables demandes capables de vérifier les comportements possibles. Pour relever ces défis, nous modélisons les flux de services de gestion du trafic dans les maillages de services et proposons une nouvelle technique d'exploration des flux de services pour énumérer toutes les ressources de configuration possibles et les interactions entre elles dans la configuration d'entrée. Nous concevons et mettons en œuvre MeshTest, qui contient un générateur automatique de configurations d'entrée basé sur l'exploration des flux de services et un oracle de maillage de services qui utilise des méthodes formelles pour générer des suites de demandes de test. MeshTest a découvert 25 nouveaux bugs (20 confirmés et 10 corrigés) dans trois systèmes de maillage de services populaires : Istio, Linkerd et Cilium.
Zheng et al. (Mercredi,) ont étudié cette question.