TESTS BASÉS SUR DES MACHINES À ÉTATS FINIS TEMPORISÉES POUR LES RÉSEAUX ET SERVICES

Timed FSM based testing applied to future network components and services

• Auteur / Autrice : Evgenii Vinarskii
• Direction : Natalia Kushik, Djamal Zeghlache
• Type : Projet de thèse
• Discipline(s) : Informatique, données, IA
• Date : Inscription en doctorat le 01/10/2023
• Etablissement(s) : Institut polytechnique de Paris
• Ecole(s) doctorale(s) : École doctorale de l'Institut polytechnique de Paris
• Partenaire(s) de recherche : Laboratoire : SAMOVAR - Services répartis, Architectures, Modélisation, Validation, Administration des Réseaux

Mots clés

Mots clés libres

Tfsm

Automata

Fsm

Services réseaux

Services

Test

Automata

Validation

Tfsm

Services

Networks

Résumé

La thèse est consacrée au développement de nouvelles approches pour tester et vérifier les (futurs) composants et services réseau. L'objectif est de tester avec une couverture de faute garantie et donc, la thèse s'appuiera sur des méthodes formelles et en particulier sur les modèles basés sur l'état et les stratégies de test associées. Ce sujet a été étudié pour les exigences fonctionnelles, mais en ce qui concerne les aspects non fonctionnels et les mauvaises configurations de réseau associées, peu de travaux ont été publiés. La thèse se concentrera sur les aspects temporisés des compositions d'entités réseau et développera des stratégies de génération de tests contre des machines à états finis temporisées avec des gardes temporisées et des délais de transition et/ou de sortie. Le candidat au doctorat a une expérience de l'analyse et de la synthèse de tels modèles. Dans certains travaux antérieurs, des techniques de génération de tests pour détecter les courses dans les réseaux définis par logiciel ont été proposées. Le but est d'aller au-delà de ces acquis passés. La thèse vise des résultats fondamentaux en méthodes formelles avec des applications fortes et très naturelles dans les réseaux.

The thesis is devoted to developing novel approaches for testing and verification of (future) network components and services. The goal is testing with guaranteed fault coverage and thus, the thesis will rely on formal methods and in particular on the state based models and related testing strategies. This topic has been studied for the functional requirements, however when it comes to non-functional aspects and related network wrong configurations, not many works have been published. The thesis will focus on Timed aspects of the compositions of network entities and will develop test generation strategies against Timed Finite State Machines with timed guards and transition and/or output delays. The PhD candidate has the background on the analysis and synthesis of such models. In some previous work test generation techniques for detecting races in Software Defined Networks have been proposed. The goal is to go beyond this past achievements. The thesis aims for fundamental results in formal methods with strong and very natural applications in networks.