AdaControl ist ein freies (GMGPL) Tool, das die Verwendung von verschiedenen Arten von Konstrukten in Ada-Programme erfasst. AdaControls erstes Ziel ist es, um die ordnungsgemäße Verwendung der Stil oder Programmierregeln zu kontrollieren, aber es kann auch als ein leistungsfähiges Werkzeug, um für die Anwendung (oder Nichtnutzung) der verschiedenen Formen der Programmierung Arten oder Entwurfsmuster zu suchen verwendet werden. Gesucht Elemente reichen von sehr einfach, wie das Auftreten der certaine Entitäten, Erklärungen oder Aussagen, sehr anspruchsvoll, wie die Überprüfung, dass bestimmte Programmiermuster werden gehorchte ..
Welche Elemente oder Konstrukte werden gesucht wird durch einen Satz von Regeln definiert sind; Die folgende Tabelle gibt eine kurze Zusammenfassung der Regeln, die zurzeit von AdaControl geprüft. Die Zahl in Klammern hinter dem Regelnamen gibt die Anzahl der Unterregeln, wenn überhaupt. Unter Berücksichtigung aller möglichen Regeln und Unterregeln, das macht 216 Tests, die derzeit von AdaControl durchgeführt werden können!
Kommentare nicht gefunden