AdaControl це безкоштовно (GMGPL) інструмент, який виявляє використання різних видів конструкцій в програмах Ада. AdaControls перша мета контролювати правильне використання стилю або програмування правил, але він також може бути використаний в якості потужного інструменту для пошуку використання (або невикористання) різних форм програмування стилів або шаблонів проектування. Пошук елементів у діапазоні від дуже простих, як виникнення certaine осіб, декларацій, заяв або, дуже складні, як перевірити, що деякі моделі програмування в даний час корився ..
Які елементи або конструкції шукали визначається набором правил; Наступна таблиця дає короткий огляд правил в даний час на перевірку AdaControl. У дужках після імені правила номер дає кількість підправив, якщо такі є. Беручи до уваги всі можливі правила і підправив, це робить 216 тестів, які можуть бути виконані в даний час за допомогою AdaControl!
Коментар не знайдено