AdaControl is 'n gratis (GMGPL) hulpmiddel wat die gebruik van verskillende soorte konstrukte in Ada programme ontdek. AdaControls eerste doel is om behoorlike gebruik van styl of programmering reëls beheer, maar dit kan ook gebruik word as 'n kragtige instrument om te soek vir die gebruik (of nie-gebruik) van verskeie vorme van programmeertaal style of ontwerp van patrone. Gesoek elemente wissel van baie eenvoudig, soos die voorkoms van certaine entiteite, verklarings, of stellings, baie gesofistikeerd, soos bevestig dat sekere programme patrone word gehoorsaam ..
Watter elemente of konstrukte word gesoek word gedefinieer deur 'n stel reëls; Die volgende tabel gee 'n kort opsomming van die reëls wat tans gekontroleer deur AdaControl. Die getal in hakies na die naam reël gee die aantal subreëls, indien enige. Oorweging alle moontlike reëls en subreëls, dit maak 216 toetse wat tans uitgevoer kan word deur AdaControl!
Kommentaar nie gevind