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
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 :
aux méthodes permettant de remplacer le test unitaire par de la preuve unitaire,
aux méthodes de preuve de propriétés qui sont habituellement vérifiées à l'aide du test d'intégration,
aux méthodes d'analyse d'interférence entre des tâches distinguées par l'utilisateur,
aux méthodes d'analyse d'impact pour la maintenance
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.
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 |