AdaControl een gratis (GMGPL) instrument dat het gebruik van verschillende soorten constructen Ada programma detecteert. AdaControls eerst doel is het juiste gebruik van stijl of programmeringsregels beheersen, maar het kan ook worden gebruikt als een krachtig hulpmiddel te zoeken gebruik (of het niet gebruiken) van verschillende vormen programmeerstijlen of ontwerppatronen. Gezocht elementen variëren van eenvoudig, zoals het optreden van certaine entiteiten, verklaringen, of verklaringen, tot zeer geavanceerde, zoals het verifiëren dat bepaalde programmering patronen worden gehoorzaamd ..
Welke elementen of constructies worden gezocht wordt gedefinieerd door een set van regels; de volgende tabel geeft een kort overzicht van de regels momenteel gecontroleerd door AdaControl. Het getal tussen haakjes achter de naam van de regel geeft het aantal subrules, indien van toepassing. Gezien alle mogelijke regels en subrules, dit maakt 216 tests die momenteel worden uitgevoerd door AdaControl!
Reacties niet gevonden