Sous-projet 8 : Méthodologie de vérification

Description du sous-projet, responsable, partenaires

Définition de la méthodologie permettant d'utiliser les résultats des sous-projets 2 à 7 de façon cohérente.

Début : M16

Fin : M28

Responsable : CEA

Participants : CEA, AF, DA, SVDO

Objectifs du sous-projet

L'objectif est de définir quelques stratégies de vérifications utilisant l'ensemble des outils que nous avons mis au point dans les sous-projets précédents. Nous nous intéresserons par exemple :

Détails des réalisations et échéances

T8.0 : Preuve unitaire

Le contexte d'exécution doit pouvoir être spécifié simplement ainsi que l'objectif de test. De plus des primitives d'extraction de fonctions à partir du code du système complet doivent être définies.

T8.1 : Preuve d'intégration

Étant donné une propriété, il s'agit de trouver les parties du codes qui la préservent ou la violent et de les extraire à des fins d'analyse plus précise. On cherchera aussi à spécifier des propriétés relatives au flot de contrôle.

T8.2 : Analyse d'interférence

Nous répondrons à la problématique de l'identification des dépendances fonctionnelles entre des tâches exécutées potentiellement en parallèle. L'existence ou non de variables en commun qui sont lues et modifiées permet de donner des éléments de réponse sans pour autant prétendre traiter le problème général des systèmes multi-tâches.

T8.3 : Analyse d'impact

Pour la maintenance, le remplacement d'un code par un autre est censé avoir un impact maîtrisé. Nous pourrons donner des informations permettant de s'en assurer.

T8.4 : Intégration des méthodologies dans un processus industriel

Cette tâche évaluera comment nos outils et méthodes peuvent s'intégrer dans un processus industriel existant.

Critère d'évaluation du résultat et de décision de poursuite du sous-projet

Chaque tâche sera évaluée par le partenaire le plus intéressé par le type de problème qui lui semble le plus prioritaire en utilisant comme support les exemples définis dans le sous-projet 1.

Tâche

Resp.

Début

Fin

Charge (homme/mois)

Délivrables

CEA

PROV

LANDE

DA

AF

SVDO

FT

T8.0

CEA

M16

M19

3



1

2


1

Rapport

T8.1

CEA

M19

M22

3



1

2


1

Rapport

T8.2

CEA

M22

M25

3



0,5

1


1

Rapport

T8.3

CEA

M25

M28

3



1

2



Rapport

T8.4

CEA

M28

M29




0,5

3

1

1

Rapport