Site Archive
ActionsEnCours
Journées Nationales
Présentation du GDR
Actions Transverses
MTV² - Méthodes de test pour la validation et la vérification |
Statiques | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Écrit par Fatiha Zaidi | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Méthodes de test pour la validation et la vérification MTV²Prochaine réunion : lundi 12 novembre 2012 au CEA LIST
ResponsablesLydie du Bousquet Thématique scientifiqueLe groupe MTV² s'intéresse à la validation et la vérification des logiciels par des techniques de test.
|
Equipe | Laboratoire | Tutelles | Contact | Permanents | Doctorants | Postdocs |
---|---|---|---|---|---|---|
ForTesSE | LRI | CNRS UMR 8623, Université Paris-Sud |
M.-C. Gaudel | 6 | 4 | 2 |
METHODES | SAMOVAR | CNRS UMR 5157 | A. Cavalli | 5 | 8 | 3 |
DCS | VERIMAG | CNRS UMR 5104, INRIA, Grenoble INP | L. Mounier | 3 | 1 | 1 |
VASCO | LIG | CNRS UMR 5217, Université Joseph Fourier, Grenoble INP | L. du Bousquet | 8 | 8 | 2 |
CTSYS | LCIS | CNRS UMR 5217, Grenoble INP | I. Parissis | 11 | 7 | 1 |
VerTeCs | IRISA | CNRS UMR 6074, INRIA | T. Jéron | 3 | 3 | 0 |
TSF | LAAS-CNRS | CNRS | H. Waeselynck | 2 | 3 | 0 |
MDSC | I3S | CNRS | M. Rueher | 3 | 2 | 1 |
LOGIMAS | MAS | Centrale Paris | P. Legall | 4 | 6 | 1 |
LSL | CEA LIST | N. Kosmatov | 23 | 3 | 0 | |
MF | LABRI | INRIA | A. Rollet | 3 | 0 | 0 |
VESONTIO | FEMTO-ST | CNRS UMR 6174, INRIA | F. Dadeau | 11 | 5 | 1 |
SIC | LIMOS | CNRS UMR 6158 | S. Salva | 2 | 2 | 0 |
Equipes étrangères ou industrielles associées au groupe de travail
Universitaires- Andreas Podelski (http://mpi-inf.mpg.de/~podelski/)
- F. Kendek et R. Dssouli, Colorado State University, Carleton University (Ottawa, Canada)
- Yvan Labiche, Software Quality engineering Laboratory (SQUALL), Carleton University, Canada
- Manuel Nunez, Dep. Sistemas Informáticos y Programación, Facultad de Informática, Universidad Complutense de Madrid
- Antonia Bertolino, Sofware Engineering Research Laboratory, ISTI Istituto di Scienza e Tecnologie della Informazione A. Faedo, Pise, Italie.
- Arnaud Gotlieb, Simula Research Laboratory, Norway (permanents : 5, doctorants : 7, postdoctorants : 3, chercheurs à temps-partiel : 4)
- Lionel Briand, Interdisciplinary Centre on Security, Reliability, and Trust, Université du Luxembourg
- Airbus
- Onera
- Thales
- Orange Labs
- Trusted Labs
- Gemalto
- DGA
- Diag21
Objectifs du groupe de travail - Projets d’actions
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. En particulier cette 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.
Conférences ou ateliers associés au groupe
- International Conference on Software Testing Verification and Validation (ICST) Montréal 2012
- International Conference on Testsing Software and Systems (ICTSS) (ex. TestCom/FATES) Paris 2011
- International Conference of Software Engineering (ICSE) Zurich 2012
- International Conference on Automated Software Engineering (ASE) Essen 2012
- International Symposium on Software Reliability Engineering (ISSRE) Dallas 2012
- International Symposium on Software Testing and Analysis (ISSTA) Mineapolis 2012
- International Conference On Quality Software (QSIC) Xi'an 2012
- International Workshop Constraints in Software Testing, Verification and Analysis (CSTVA) Montréal 2012
- International Workshop on Mutation Analysis (Mutation) Montréal 2012
- International Workshop Security Testing (SECTEST) Montréal 2012
- International Workshop on Advances in Model Based Testing (A-MOST) Montréal 2012
- International Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa) Wellington 2011
- Colloque Francophone sur l'Ingénierie des Protocoles (CFIP) Sainte-Maxime 2011
- Atelier Approches Formelles pour l'Aide au Développement Logiciel (AFADL) Grenoble 2012
- Ecole d'été internationale Training And Research On Testing (TAROT) Besançon 2012