|
  Téléchargez le document
Objectif Outiller le lien entre les exigences d’un logiciel et leurs implantations dans le code source, pour une vérification efficace de la complétude. BénéficesLes revues de code manuelles, fastidieuses et coûteuses, sont remplacées par l’utilisation d’un outil produisant un rapport synthétique contenant toute l’information de traçabilité entre les exigences et le code source. Langages concernésAda, C, C++ et Java
Contrôles effectuésEn se basant sur les pratiques du projet (formats de commentaires, règles de nomenclature…), l’outil vérifie que les exigences qu’il reçoit en entrée sont bien prises en compte dans le code source.
FournituresDeux cas de figure :
• Kalimetrix se charge de l’analyse : dans ce cas Kalimetrix délivre le rapport de traçabilité correspondant au code source et aux exigences fournis par le client.
• Kalimetrix se charge de la mise en place de l’outillage chez le client : dans ce cas le client produira les rapports de traçabilité chaque fois qu’il le souhaitera.
|
