Téléphone +33 (0)1 69 15 65 42
e-mail delphine [dot] longuet [at] lri [dot] fr
Activités de recherche
Mes travaux de recherche s'inscrivent dans le cadre de l'élaboration
de méthodes formelles pour la validation et la vérification de
systèmes informatiques. Plus précisément, je m'intéresse à des
approches du test de logiciels fondées sur des techniques de
vérification comme la preuve ou le model-checking.
Mes travaux s'articulent principalement autour des problématiques suivantes :
- Le test des aspects fonctionnels des systèmes informatiques, où
le comportement attendu du système sous test est décrit dans un
formalisme logique du premier ordre.
- Le test des aspects réactifs des systèmes, où les formalismes
utilisés pour spécifier le système peuvent être aussi bien des
logiques modales que des systèmes de transitions.
- Le test des aspects concurrents des systèmes distribués, dont le
comportement est spécifié par des message sequence charts ou des
réseaux de Petri par exemple.
Dans le cadre de ce dernier point, je co-encadre
avec Stefan Haar la
thèse de Hernán Ponce de León au LSV, ENS Cachan.
Comités de programme : Software Verification and Testing track de SAC'13, ICTSS'11.
Rapports : ICTSS, ICFEM, ICSOFT, AFADL, QSIC, ICST, ITP (conférences), Science of Computing (journal).
Publications
Enseignements 11-12
- L2 MPI - Maths pour l'informatique (TD)
- L3 MIAGE - Génie logiciel avancé (TD/TP)
- Polytech Paris-Sud 4è année - Vérification et validation (TD/TP)
- Polytech Paris-Sud 4è année apprentissage - Génie Logiciel (Cours/TD/TP partagé avec Fatiha Zaïdi)
- Polytech Paris-Sud 5è année apprentissage - Test et Vérification
(Cours/TD/TP partagé avec Fatiha Zaïdi)
- Polytech Paris-Sud 5è année - Projet de génie logiciel (suivi de projet)
Enseignements antérieurs
Parcours
| Depuis Sept. 2009 |
Maître de conférences au LRI, Université Paris-Sud 11 |
| Sept. 2008 - Août 2009 |
Post-doc au LSV, ENS Cachan |
| Nov. 2007 - Juil. 2008 |
Post-doc ERCIM au CWI, Amsterdam, Pays-Bas |
| Sept. 2004 - Oct. 2007 |
Allocataire-monitrice au laboratoire IBISC, Université Évry-Val d'Essonne
Thèse soutenue le 12 octobre 2007
Titre : « Test à partir de spécifications axiomatiques »
Directeur de thèse : Marc Aiguier
|
|