AdaControl

AdaControl е безплатен инструмент (GMGPL), която открива използването на различни видове конструкции в Ейда програми. AdaControls първа цел е да контролира правилното използване на правила за стил или програмиране, но той може да бъде използван като мощен инструмент за търсене на използване (или неизползване) на различни форми на стила на програмиране или дизайн модели. Търсена елементи варират от много проста, като появата на certaine лица, декларации, или изявления, до много сложни, като се увери, че някои модели за програмиране се подчиниха ..
Кои елементи или конструкции са търсили се определя от набор от правила; таблицата по-долу дава кратко обобщение на правилата в момента проверява от AdaControl. Номерът в скоби след името на правило дава броя на subrules, ако има такива. Като се има предвид всички възможни правила и subrules, това прави 216 тестове, които могат да се извършват в момента от AdaControl!