adacontrol är en fri (GMGPL) verktyg som detekterar användning av olika typer av konstruktioner i Ada program. AdaControls första mål är att kontrollera korrekt användning av stil eller programmeringsregler, men det kan också användas som ett kraftfullt verktyg för att söka efter användning (eller icke-användning) av olika former av program stilar eller designmönster. Sökte element sträcker sig från mycket enkla, liksom förekomsten av Certaine enheter, deklarationer eller uttalanden, mycket sofistikerade, som kontroll av att vissa programmönster håller på att lydde ..
Vilka delar eller konstruktioner söks definieras av en uppsättning regler; Följande tabell ger en kort sammanfattning av regler som för närvarande kontrolleras av adacontrol. Siffran inom parentes efter regelnamnet ger antalet subrules, om något. Med tanke på alla möjliga regler och subrules, gör 216 tester som kan utföras för närvarande av adacontrol!
Kommentarer hittades inte