AdaControl es una herramienta gratuita (GMGPL) que detecta el uso de diversos tipos de construcciones en los programas de Ada. AdaControls primero objetivo es controlar el uso correcto de las reglas de estilo o de programación, pero también puede ser utilizado como una herramienta poderosa para buscar para el uso (o no uso) de diversas formas de estilos de programación o patrones de diseño. Buscado elementos van desde muy simple, como la aparición de entidades certaine, declaraciones o manifestaciones, a muy sofisticado, como la verificación de que ciertos patrones de programación están siendo obedecidas ..
¿Qué elementos o construcciones se buscan se define por un conjunto de reglas; la siguiente tabla da un breve resumen de las normas actualmente controladas por AdaControl. El número entre paréntesis después del nombre de la regla da el número de subreglas, en su caso. Teniendo en cuenta todas las reglas y subreglas posibles, esto hace 216 pruebas que se pueden realizar actualmente por AdaControl!
Comentarios que no se encuentran