é um AdaControl (GMGPL) ferramenta gratuita que detecta o uso de vários tipos de construções em programas Ada. AdaControls primeiro objetivo é controlar o uso adequado de regras de estilo ou de programação, mas também pode ser usado como uma poderosa ferramenta de pesquisa para o uso (ou não uso) de várias formas de estilos de programação ou design patterns. Procurado elementos variam de muito simples, como a ocorrência de entidades Certaine, declarações ou afirmações, a muito sofisticado, como a verificação de que certos padrões de programação estão sendo obedecido ..
Que elementos ou construções são pesquisados é definida por um conjunto de regras; O quadro seguinte apresenta um breve resumo das regras actualmente verificado por AdaControl. O número entre parênteses após o nome da regra dá o número de sub-regras, se houver. Considerando-se todas as regras e sub-regras possíveis, isto faz 216 testes que podem ser realizados atualmente por AdaControl!
Comentários não encontrado