AdaControl
 | |
| Desarrollador (es) | Adalog |
|---|---|
| Escrito en | Ada con ASIS |
| Sistema operativo | Microsoft Windows , Linux , Mac OS X |
| Disponible en | inglés |
| Escribe | Análisis de código estático |
| Licencia | GMGPL |
| Sitio web | www |
AdaControl es una herramienta gratuita (GMGPL) que detecta el uso de varios tipos de construcciones en los programas Ada. Su primer objetivo es controlar el uso adecuado del estilo o las reglas de programación, pero también se puede utilizar como una herramienta poderosa para buscar el uso (o no uso) de varias formas de estilos de programación o patrones de diseño. Los elementos buscados van desde muy simples, como la ocurrencia de ciertas entidades, declaraciones o sentencias, hasta muy sofisticados, como verificar que se estén obedeciendo ciertos patrones de programación.
Historia
El desarrollo de AdaControl por Adalog comenzó en 2004, bajo un contrato de Eurocontrol , que desarrolló la CFMU ( Central Flow Management Unit ), un programa de más de un millón de líneas de código (en Ada ) para gestionar el tráfico aéreo en Europa. Solo las herramientas automatizadas pueden verificar el cumplimiento de un programa de ese tamaño con los estándares de programación.
Dado que Eurocontrol no tenía ningún interés en comercializar software, se decidió lanzar AdaControl como software gratuito. Esto tuvo la ventaja de ayudar a la comunidad de Ada en general y, al mismo tiempo, permitió a Eurocontrol disfrutar de las mejoras adicionales realizadas por la comunidad. Posteriormente, otras empresas patrocinaron un mayor desarrollo, creando un efecto de consorcio virtual. [1]
Características
AdaControl aplica un conjunto de controles a un conjunto de unidades Ada. Un control se define mediante una regla (y posiblemente una subregla ) con los parámetros adecuados. Los controles (así como varios comandos utilizados para ajustar el comportamiento del programa) se proporcionan directamente desde la línea de comandos, desde un archivo o de forma interactiva.
Hay una amplia gama de controles disponibles. A partir de la versión actual (1.22r15), hay 591 pruebas que AdaControl puede realizar. El número aumenta con cada nuevo lanzamiento. [2]
Además, AdaControl proporciona sugerencias de soluciones para una serie de infracciones. Cuando AdaControl se inicia desde el entorno GPS , las correcciones se pueden realizar haciendo clic en un icono, al igual que para los mensajes del compilador. Una herramienta complementaria también puede aplicar todas las correcciones sugeridas automáticamente.
Adacontrol está escrito en Ada , usando ASIS para análisis sintáctico y semántico. Esto le da a la herramienta el mismo nivel de precisión de lenguaje que el compilador subyacente.
Se ha tenido mucho cuidado para que el usuario pueda ampliar fácilmente la herramienta. [3]
Referencias
A 30 de abril de 2010, este artículo se deriva total o parcialmente de Adalog . El titular de los derechos de autor ha licenciado el contenido de una manera que permite la reutilización bajo CC BY-SA 3.0 y GFDL . Deben seguirse todos los términos relevantes. El texto original estaba en "AdaControl"
enlaces externos
- Página web oficial
- AdaControl en SourceForge
- (en inglés) Sitio web de Adalog
- (en francés) Sitio web de Adalog
