AdaControl

AdaControl jest darmowe (GMGPL) narzędzie, które wykrywa korzystanie z różnego rodzaju konstrukcji w programach Ada. AdaControls pierwszym celem jest kontrolowanie prawidłowego wykorzystania reguł stylu lub programowania, ale może być również używany jako potężne narzędzie do wyszukiwania do użytku (lub nieużywania) różnych form stylów programowania i wzorców projektowych. Szukano elementy wahają się od bardzo proste, jak występowanie podmiotów certaine, deklaracji lub oświadczeń, bardzo wyrafinowane, jak sprawdzeniu, że pewne wzorce programowe są przestrzegane ..
Elementy, które są przeszukiwane lub konstrukty określa się poprzez zestaw zasad; Poniższa tabela zawiera krótki opis zasad sprawdzenie AdaControl obecnie. Liczba w nawiasie po nazwie reguły daje liczbę subrules, jeśli w ogóle. Biorąc pod uwagę wszystkie możliwe zasady i subrules, czyni 216 testów, które mogą być wykonywane obecnie przez AdaControl!