AdaControl je volný (GMGPL), nástroj, který detekuje použití různých typů konstruktů v programech Ada. AdaControls Prvním cílem je kontrolovat správné používání pravidel styl nebo programování, ale to může také být používán jako účinný nástroj pro vyhledávání pro použití (nebo nepoužití) různých forem programovacích stylů a návrhové vzory. Hledané prvky se pohybují od velmi jednoduchá, stejně jako výskyt certaine subjektů, prohlášení nebo prohlášení, na velmi sofistikované, stejně jako ověření, že některé programovací vzory jsou poslechl ..
Které prvky nebo konstrukty jsou vyhledávány je definován souborem pravidel; Následující tabulka uvádí krátký souhrn pravidel, v současné době zkontrolovat AdaControl. Číslo v závorce za názvem pravidla udává počet subrules, pokud existuje. Vzhledem k tomu všechny možné pravidla a subrules, to dělá 216 testů, které mohou být provedeny v současné době podle AdaControl!
Komentáře nebyl nalezen