MTV²

Méthode de Travail pour la Validation et la Vérification

Ce groupe de travail contribuera à développer et mettre en commun les techniques de test et le savoir-faire des équipes impliquées. Il étudiera une meilleure intégration des différentes techniques de test. L’action du groupe consistera à analyser les techniques existantes de test pour chaque activité du cycle de développement du logiciel et à les confronter aux besoins et à la pratique des concepteurs de logiciels.

De plus, le groupe de travail comparera et évaluera les différents outils développés par les partenaires et qui couvrent ces différentes activités.

En outre, nous pourrons échanger nos expériences sur l’enseignement du test de logiciels.

Mode de fonctionnement – Organisation des activités du groupe

Le fonctionnement du groupe s’articule autour de réunions thématiques pendant lesquelles les partenaires présenteront leurs travaux. Ces réunions annuelles, distinctes des journées nationales du GDR, regroupent en moyenne une quarantaine de participants venant de toute la France. Suivant leur emplacement, elles peuvent avoir lieu sur une ou deux journées. Durant le précédent quadriennal, quatres réunions se sont ainsi tenues à Orsay (Nov. 2008), à Besançon (Juin 2009), à Grenoble (Juin 2010) et à Rennes (Oct. 2011). Les doctorants des différents groupes sont également très impliqués et ils peuvent effectuer des courts séjours au sein des laboratoires partenaires. L’organisation d’une école thématique à leur intention est envisagée. Nos réunions thématiques sont ouvertes aux industriels et cela nous donne l’opportunité de valoriser nos travaux et d’assurer éventuellement un transfert industriel de nos outils. Ces réunions nous permettent également de faciliter l’émergence de projets en réponse aux appels de l’ANR.

Relations externes

Certains partenaires ont fait partie du réseau Pierre et Marie Curie sur le test TAROT (http://www.int-evry.fr/tarot) même si ce réseau a pris fin en 2008 l’école d’été sur le test TAROT continue son existence au delà du support initial. De nombreux partenaires sont régulièrement sollicités pour présenter des exposés à cette école. Nous pourrons profiter de cette opportunité pour proposer des tutoriels sur des aspects du test non couverts par le réseau aux différentes écoles d’été organisées par ce projet.
Nous souhaitons également inviter à nos réunions thématiques des chercheurs étrangers avec lesquels certains collaborent. Cela a été le cas par le passé : Andreas Podelski (Université de Freiburg) et Rob Hierons (Université de Brunel) sont venus présenter des exposés invités aux réunions d’Orsay et de Besançon.

Relations internes

Notre groupe de travail traite de la validation et la vérification par des techniques de test. Le couplage à des techniques différentes doit nous permettre de nous rapprocher de groupe de travail sur la preuve LTP (Langages, Types et Preuves), avec lequel une réunion commune avait été organisée à Rennes en 2011. Durant ce nouveau quadriennal il est envisageable de réitérer cette expérience avec des groupes comme FORWAL (Formalismes et Outils pour la Vérification et la Validation) ou MFDL (Méthodes Formelles pour le Développement Logiciel) dont certains partenaires de MTV2 font également partie.

Les commentaires sont clos.