Traçabilité (informatique)

En développement de logiciel, l’exigence de traçabilité est définie comme Modèle:CitationModèle:Sfn. Les liens de traçabilité entre les exigences d'un système et son code source sont utiles pour réduire l’effort de compréhension et de maintenance. Ils sont également essentiels pour assurer la conformité et la mise en œuvre des exigences spécifiées.

Contexte

Causes de la détérioration des liens de traçabilités

Très souvent, au cours de la maintenance et de l'évolution d’un logiciel, les développeurs se concentrent seulement sur la correction des défauts ou des bogues. Le code source évolue mais l'architecture, la conception et la documentation ne sont pas mises à jour. Les liens de traçabilité deviennent alors obsolètes car les développeurs n'ont pas de temps ou ne peuvent pas en consacrer à la mise à jour de ces liensModèle:Sfn. La récupération des liens de traçabilité devient alors par la suite une tâche ardue et coûteuse.

Récupération des liens de traçabilité

Afin de pallier la détérioration des liens de traçabilité, de nombreux chercheurs ont utilisé des techniques de recherche d’information pour récupérer les liens existants entre des documents de « haut niveau » (exigences du logiciel, documentation ou documents de conception) et des documents de plus « bas niveau » (code source ou diagramme UML).

Ces techniques convertissent tous les documents sous forme textuelle et comparent la similarité entre les artefacts (e.g. code source d’une classe et exigences) de niveaux différents. Un haut taux de similitude signifie que ces deux artefacts partagent les mêmes concepts et sont très probablement liés l’un à l’autre.

Plusieurs métriques sont utilisées afin de mesurer l'efficacité des différentes techniques de récupération des liens de traçabilité. Les plus courantes sont le rappel et la précision. Il existe également une formule appelée F-mesure qui est semblable à une moyenne et qui combine les deux métriques précédentes.

Rappel

Le rappel correspond au rapport du nombre de liens pertinents retrouvés sur l’ensemble des liens pertinents existant. Il permet de mesurer si l'algorithme récupère bien les liens existants.

$\text{rappel}=\frac{|\{\text{liens pertinents}\}\cap \{\text{liens récupéré}\}|}{|\{\text{liens pertinents}\}|}$

Précision

La précision correspond au rapport du nombre de liens pertinents retrouvés sur l’ensemble des liens retrouvé. Elle mesure l'exactitude des liens retrouvés.

$\text{précision}=\frac{|\{\text{liens pertinents}\}\cap \{\text{liens récupéré}\}|}{|\{\text{liens récupéré}\}|}$

F-mesure

La F-mesure combine la précision et le rappel. Elle est définie comme :

$F=2\cdot \frac{\text{précision}\cdot \text{rappel}}{\text{précision}+\text{rappel}}$

Différentes approches

Utilisation de la recherche d'information

Les méthodes historiquement utilisées pour la récupération des liens de traçabilité sont basées sur des techniques de recherche d'information. Parmi toutes ces techniques on trouve notamment des solutions reposant sur les modèles vectoriels ou d’autres utilisant des modèles de Modèle:Lien.

Cependant, ces méthodes produisent des résultats approximatifs qui demandent bien souvent d’intervenir manuellement pour évaluer et filtrer les données récupérées. Elles sont le plus souvent composées de matrices de correspondance entre les différents types d’artefacts. Ces matrices doivent cependant être manuellement corrigées lors de leur création et tout au long du processus de développement du logiciel.

Améliorations

Des solutionsModèle:Sfn ont été proposées afin d’améliorer la qualité des résultats produits par les méthodes de recherche d’information. Parmi celles-ci on trouve notamment l’utilisation de phrases ou de termesModèle:Sfn plutôt qu’une correspondance mot à mot. Dans le même esprit, on peut également utiliser un glossaireModèle:Sfn pour extraire les termes ou les phrases significatives dans le projet afin de leur donner un poids plus important lors de l’identification des liens de traçabilité.

Maintenance de la traçabilité

Certaines solutions ont été mises au point dans le but d’aider le développeur à maintenir ces liens de traçabilité.

COCONUT

COCONUTModèle:Sfn (pour “COde Comprehension Nurturant Using Traceability”) se présente sous la forme d’un plug-in pour l'environnement de développement Eclipse. Il permet d’aider les développeurs à utiliser des identifiants (e.g. noms de variables) et/ou à rédiger des commentaires ayant une correspondance forte avec les exigences du système.

Reconnaissance de modifications appliquées au modèle

Dans le cas de développements pilotés par modèle UML il est possible d’analyser les changements effectués sur le diagramme de structure pour mettre à jour automatiquement les liens de traçabilité.

La solution proposéeModèle:Sfn se décompose en trois étapes :

1. capture des modifications effectuées sur le modèle et génération d'évènements élémentaires
2. reconnaissance des activités de développement relatives à la modification du modèle (par composition de plusieurs changements élémentaires)
3. mises à jour des liens de traçabilité associés à l’élément modifié

TraceM

TraceMModèle:Sfn est un système de gestion de la traçabilité qui utilise les concepts de systèmes hypermédiaModèle:Sfn et d’Modèle:Lien. Il se présente sous la forme d’un framework qui permet de découvrir les liens de traçabilité implicites grâce aux liens explicitement connus.

Exemple de relations explicites/implicites

TraceM repose sur les concepts suivants :

• un Outil est utilisé pour effectuer une tâche (e.g. EDI, gestionnaire de versions, client de messagerie)
• un Artefact est produit par un Outil
• une Relation est une association sémantique entre des Artefacts, portions d’Artefacts ou d’autres Relations
• les Méta-données sont utilisées par le développeur pour décrire les Artefacts et les Relations créées durant le projet

TraceM supporte la création automatique de liens de traçabilité et permet également d’effectuer des relations entre plusieurs relations existantes.

Recherche dans un ensemble de liens de traçabilité

D’autres approches s’orientent plutôt sur la manière de trouver de l’information parmi les données récupérées. Il existe par exemple un langage dédié à la recherche dans un ensemble de liens de traçabilité. TQLModèle:Sfn (pour “Modèle:Lang”) permet d’effectuer des requêtes du type :

Question: Est-ce que toutes les exigences sont couvertes par un jeu de tests ?

set:difference(Requirement(),
               traceFrom(Requirement(), 
                         TestCase()))

Extraction d’informations depuis un gestionnaire de version

Certaines approches basées sur l’heuristiqueModèle:Sfn permettent de récupérer/créer des liens de traçabilité entre différents éléments d’un logiciel. Ceci est effectué via l'examen du/des gestionnaire(s) de versions utilisé(s) lors du développement. Ce type d’approche met en œuvre des méthodes d'Modèle:Lien. L'extraction de ces motifs est effectué sur les commits issus du gestionnaire de versions afin de détecter les changements simultanés entre différents fichiers (par exemple entre le code source et la documentation). Si plusieurs fichiers sont très régulièrement modifiés durant les mêmes commits, alors la probabilité d’avoir un lien de traçabilité entre ceux-ci est très forte.

Techniques hybrides

Récupération de l'information orthogonale

Certaines techniques de récupération de liens de traçabilité peuvent produire des résultats complémentaires. Par exemple, des solutions basées sur les modèles vectoriels sont capables de récupérer un plus grand nombre de liens que les techniques empiriques mais possèdent une précision beaucoup plus faible. En se basant sur ce constat certaines méthodesModèle:Sfn combinent les résultats, dits “orthogonaux”, de différentes techniques pour améliorer le résultat final.

Emplacement d'entité

Sans parler de récupération de liens de traçabilité, il existe des techniques dites de récupération d'information. Cette pratique peut être vue comme un problème de prise de décision en présence d’incertitude.

Une des solutions à ce type de problèmes est l’utilisation de plusieurs systèmes expertsModèle:Sfn. Dans le cas de l’analyse de codes sources il est par exemple possible de combiner deux types d’analyses : statique et dynamique. Alors que l’analyse statique étudie directement le code source de l’application, l’analyse dynamique, quant à elle, effectue des relevés (aussi appelés : traces) lors de l’exécution du programme et analyse ces données.

Trustrace

Détails du fonctionnement de Trustrace

Trustace est une solution de récupération de liens de traçabilité entre le code source et les exigences du logiciel. C’est une technique qui utilise plusieurs sources d’information hétérogènes pour dynamiquement réévaluer les liens de traçabilité issus des techniques de récupération d’information standards.

Dans un premier temps Trustrace utilise HistraceModèle:Sfn pour effectuer le forage de données sur les dépôts de code source. Puis, grâce aux données minées il crée de nouveaux liens de traçabilité entre les exigences logicielles et les données annexes du dépôt (e.g. Commits, Bugs, etc.). Ces ensembles de liens sont appelés des experts.

Une fois les ensembles experts construits. Trustrace utilise Trumo et DynWing pour réévaluer les liens de traçabilité issus des systèmes classiques. Des poids sont dynamiquement alloués à chacun des liens. Ces poids sont déterminés en comparant les similitudes entre les liens initiaux avec les liens fournis par les experts et selon sur la fréquence d’apparition de ces liens dans chacun des ensembles d’experts.

Histrace

Histrace permet de créer des liens, entre un ensemble d’exigences et le code source, en utilisant les informations issues d’un dépôt de logiciel (CVS/SVN). Pour cela Histrace considère les descriptions textuelles des exigences, les messages de commits, les rapports de bogues, et les classes comme des documents distincts qu’il utilise pour produire deux ensembles experts. L’un utilise les messages de commit pour établir les liens de traçabilité et le deuxième utilise les rapports de bogues.

Trumo

Trumo est similaire à un modèle de confiance d’utilisateurs : Plus des utilisateurs achètent sur un site Internet plus la confiance des utilisateurs envers celui-ci augmente.

Dans cet esprit Trumo va assigner un poids à chaque liens de traçabilité en se basant sur les similitudes des liens issus des ensembles experts et des résultats des techniques de bases. Pour cela Trumo effectue un premier tri en écartant tous les liens qui ne sont pas à la fois dans les résultats de bases et dans un des ensembles experts. Ensuite un poids est affecté à chaque lien en fonction de ces similitudes au sein des différents ensembles. Finalement, Trumo assigne un poids à chaque expert qui est déterminé par DynWing.

DynWing

Afin de déterminer le poids à affecter à chaque expert, DynWing prend le parti de résoudre cela sous la forme d’un problème de maximisation.

Typiquement, chaque expert à une certaine confiance en chacun des liens qu’il produit. Trumo détermine le poids de chaque lien en fonction de ça similarité et du poids de chaque expert. Pour calculer le poids de chaque expert DynWing va maximiser le poids final de chaque lien (déterminé par Trumo).

Ainsi Trumo et DynWing sont en réalité deux modules très liés qui permettent de réviser la confiance de chaque lien de traçabilité initiaux grâce aux nouveaux liens issus de Histrace.

Limitations actuelles

Dans l’état actuel des choses l’ensemble des techniques proposées pour la récupération des liens de traçabilité manque d’exactitude. Il semble actuellement difficile d’obtenir un très bon taux de rappel avec un taux de précision correct et inversement proportionnelModèle:Sfn.