AdaControl er en gratis (GMGPL) verktøy som oppdager bruk av ulike typer konstruksjoner i Ada programmer. AdaControls første målet er å kontrollere riktig bruk av stil eller programmering regler, men det kan også brukes som et kraftig verktøy for å søke etter bruk (eller ikke-bruk) av ulike former for programmerings stiler eller design patterns. Søkte elementer varierer fra svært enkel, som forekomsten av certaine enheter, erklæringer eller uttalelser, til veldig sofistikert, som bekrefter at visse programmeringsmønstre blir adlydt ..
Hvilke elementer eller konstruksjoner blir søkt er definert av et sett med regler; følgende tabell gir en kort oppsummering av regler for tiden sjekket av AdaControl. Tallet i parentes etter navnet regelen angir antall subrules, hvis noen. Tatt i betraktning alle mulige regler og subrules, gjør dette 216 tester som kan utføres i dag av AdaControl!
Kommentarer ikke funnet