AdaControl est un (GMGPL) outil gratuit qui détecte l'utilisation de divers types de constructions dans les programmes Ada. AdaControls premier objectif est de contrôler l'utilisation correcte des règles de style ou de programmation, mais il peut également être utilisé comme un outil puissant pour rechercher l'utilisation (ou la non-utilisation) de diverses formes de styles de programmation ou des modèles de conception. Vous avez cherché éléments vont de très simple, comme l'apparition d'entités Certaine, déclarations ou déclarations, très sophistiquée, comme vérifier que certains modèles de programmation sont obéissaient ..
Quels sont les éléments ou des constructions sont recherchées est définie par un ensemble de règles; le tableau suivant donne un bref résumé des règles actuellement vérifiés par AdaControl. Le nombre entre parenthèses après le nom de la règle donne le nombre de paragraphes, le cas échéant. Compte tenu de toutes les règles et les paragraphes possibles, cela fait 216 tests qui peuvent être effectuées actuellement par AdaControl!
Commentaires non trouvées