retour à la page d'accueil
Groupe
de travail
Groupe de travail
Spécification formelle
et test de logiciels
orientés-objet
et test de logiciels
orientés-objet
Ce groupe de travail et d'échange est ouvert aussi bien aux
équipes de recherche qu'aux industriels désirant y participer
Responsables
Marie-Claude Gaudel (LRI) - Claude Jard (IRISA) - Pascale Thevenod (LAAS)
Yves Le Traon (IRISA)
Thèmes et objectifs
Les approches orientées-objet sont plus particulièrement destinées au développement de systèmes ouverts interactifs. Elles couvrent les phases de conception et d'implémentation. Dans ces approches, un logiciel est défini comme un ensemble dynamique d'objets qui communiquent, le comportement d'un objet étant fortement dépendant de ses interactions avec les autres objets.
Les techniques de spécification formelle et de test, telles que définies et utilisées aujourd'hui pour des logiciels séquentiels et parallèles ne sont pas adaptées à cette nouvelle technologie. Par exemple la création ou la destruction d'objets, la liaison dynamique sont difficiles à spécifier et à tester systématiquement. Des travaux de recherche sont en cours, qui s'appuient sur l'état de l'art relatif d'une part aux logiciels séquentiels, et d'autre part aux protocoles (systèmes communicants).
Ce groupe de travail aura pour objectif de favoriser les échanges
entre les équipes travaillant sur les méthodes
de spécification formelle et/ou sur les méthodes
de test dans deux domaines d'applications aujourd'hui bien distincts
: les logiciels séquentiels, et les protocoles. La problématique
liée à la technologie orientée-objet
offre une opportunité pour des échanges techniques
entre deux communautés historiquement différentes
(logiciels séquentiels/protocoles), mais dont les thèmes
de recherche se rejoignent dans les systèmes actuels.