La documentation fournie dans le cadre de développement de logiciels critiques doit satisfaire aux exigences de normes telles que l’EN 50128. Produire cette documentation de façon purement manuelle peut être coûteux et fastidieux.
C’est pourquoi l’outil AdDoc est capable de produire automatiquement une documentation de conception claire, complète et structurée à partir de sources Ada.
L’outil AdDoc, s’appuyant sur la technologie ASIS, permet d’améliorer non seulement la qualité de la documentation mais aussi celle du code source produit dans le cadre de développements d’applications critiques.

Fonctionnalités

  • Vérification de règles de codage permettant d’améliorer la lisibilité du code source
  • Vérification de l’exhaustivité des commentaires et de leur cohérence avec le code
  • Définition de règles pour associer un ensemble d’unités Ada à des modules logiciels (l’outil génère un fichier PDF par module)
  • Possibilité d’ignorer d’un ensemble d’unité de compilations ou de répertoires
  • Mise en œuvre possible de l’outil sur un code croisé hosté Windows ou Linux
  • Alertes sur l’utilisation de certaines balises pré-définies (Tbd, Rule, Req, Todo etc.)

addoc