AdaControl είναι δωρεάν (GMGPL) εργαλείο που ανιχνεύει τη χρήση των διαφόρων ειδών κατασκευών σε προγράμματα Ada. Πρώτη AdaControls στόχος είναι να ελέγχει τη σωστή χρήση του στυλ ή του προγραμματισμού τους κανόνες, αλλά μπορεί επίσης να χρησιμοποιηθεί ως ένα ισχυρό εργαλείο για την αναζήτηση για τη χρήση (ή μη χρήση) των διαφόρων μορφών στυλ προγραμματισμού ή σχεδιαστικά πρότυπα. Αναζητήθηκε στοιχεία κυμαίνονται από πολύ απλές, όπως η εμφάνιση του certaine οντοτήτων, δηλώσεις ή δηλώσεις, σε πολύ εξελιγμένο, όπως επαληθεύοντας ότι ορισμένα πρότυπα προγραμματισμού που υπάκουσε ..
Ποια στοιχεία ή κατασκευές αναζητούνται ορίζεται από ένα σύνολο κανόνων? ο ακόλουθος πίνακας δίνει μια σύντομη περίληψη των κανόνων του παρόντος ελέγχεται από AdaControl. Ο αριθμός στην παρένθεση μετά το όνομα του κανόνα δίνει τον αριθμό των subrules, αν υπάρχουν. Λαμβάνοντας υπόψη όλα τα πιθανά κανόνες και subrules, αυτό κάνει 216 εξετάσεις που μπορούν να ασκούνται σήμερα από AdaControl!
Τα σχόλια δεν βρέθηκε