AdaControl является свободным (GMGPL) инструмент, который обнаруживает использование различных видов конструкций в программах Ада. AdaControls первая цель контролировать правильное использование стиля или программирования правил, но он также может быть использован в качестве мощного инструмента для поиска использования (или неиспользования) различных форм программирования стилей или шаблонов проектирования. Поиск элементов в диапазоне от очень простой, как возникновения certaine лиц, деклараций, заявлений или, очень сложные, как проверить, что некоторые модели программирования в настоящее время повиновался ..
Какие элементы или конструкции ищутся определяется набором правил; Следующая таблица дает краткий обзор правил в настоящее время на проверку AdaControl. В скобках после имени Правило номер дает количество подправил, если таковые имеются. Принимая во внимание все возможные правила и подправил, это делает 216 тестов, которые могут быть выполнены в настоящее время с помощью AdaControl!
Комментарии не найдены