Équipe ForTesSE
Test Formel et Exploration de systèmes (ForTesSE)
L'équipe ForTesSe travaille dans le domaine des méthodes formelles appliquées à la vérification formelle et au test systématique de logiciels. Les méthodes et outils de test vont du test unitaire, séquentiel ou non, au test de composant, du test controlé au test passif, du test déterministe au test statistique.
Une importance particulière est donnée aux méthodes pour la génération automatique de données de test, ou de procédures de test, à partir de modèles. Parmi les modèles considérés on trouve: des modèles au sens des méthodes de développement MDE ou MDA, des annotations par pre- et post-conditions, des systèmes de transitions, des descriptions en logique du premier ordre ou d'ordre supérieur. Une des spécialités de l'équipe est le développement d'algorithmes d'exploration de très grands modèles, basés sur le tirage uniforme de structures combinatoires. Ces méthodes sont bien sûr applicables au test aléatoire, mais aussi au model-checking et à la preuve de théorèmes.
Un autre domaine de recherche est le Génie Logiciel des systèmes distribués communicants, comme la conception et la validation de protocoles ou de systèmes "orientés services". Dans le premier cas, l'équipe développe des techniques de test pour les protocoles de routage auto-organisés. Pour le deuxième type de système, une importante activité se développe autour de la vérification et du test de la composition de services (orchestration, corégraphie), et du problème de la composition automatique de services, en particulier des processus d'adaptation.
Publications
Les publications de l'équipe sont disponibles ici: Formal Testing and System Exploration (ForTesSE)
Liens
- Version anglaise de cette page.
- Guide d'installation d'une machine DELL au LRI.
- Séminaires de ForTesSE