AdaControl este un (GMGPL) instrument gratuit care detectează utilizarea de diferite tipuri de construcții în programele Ada. Primul AdaControls Scopul este de a controla utilizarea corectă a normelor de stil sau de programare, dar poate fi de asemenea folosit ca un instrument puternic pentru a căuta utilizare (sau neutilizarea) a diferitelor forme de stiluri de programare sau modele de design. Cautat elemente variază de la foarte simplu, cum ar fi aparitia de entități certaine, declarații, sau declarații să foarte sofisticate, cum ar fi verificarea anumitor modele de programare sunt respectate ..
Ce elemente sau construcții sunt cautate este definit de un set de reguli; Următorul tabel oferă un scurt rezumat al normelor verificate în prezent de AdaControl. Numărul din paranteze după numele regula dă numărul de subrules, dacă este cazul. Având în vedere toate regulile și subrules posibile, această face 216 teste care pot fi efectuate în prezent de către AdaControl!
Comentariile nu a fost găsit