AdaControl è un (GMGPL) strumento gratuito che rileva l'uso di vari tipi di costruzioni nei programmi Ada. AdaControls primo obiettivo è quello di controllare il corretto utilizzo di regole di stile o di programmazione, ma può anche essere utilizzato come uno strumento potente per la ricerca di uso (o non uso) di varie forme di stili di programmazione o modelli di progettazione. Cercato elementi variano da molto semplice, come la presenza di entità certaine, dichiarazioni, o dichiarazioni, di molto sofisticati, come verificare che certi schemi di programmazione vengono rispettate ..
Quali elementi o costrutti vengono cercate è definita da un insieme di regole; la seguente tabella fornisce una breve sintesi delle norme attualmente controllato da AdaControl. Il numero tra parentesi dopo il nome della regola dà il numero di sottoregole, se presente. Considerando tutte le regole possibili e sottoregole, questo fa 216 test che possono essere effettuati attualmente da AdaControl!
I commenti non trovato