AdaControl on vapaa (GMGPL) väline, joka tunnistaa käytön erilaisten konstruktien Ada ohjelmiin. AdaControls Ensimmäinen tavoite on valvoa asianmukaisesti käytön tyyliä tai ohjelmoinnin sääntöjä, mutta sitä voidaan myös käyttää tehokas työkalu etsiä käyttöön (tai käyttämättä jättämisen) eri muotojen ohjelmatyön tyylejä tai suunnittelumalleja. Etsitty elementit vaihtelevat hyvin yksinkertainen, kuten esiintyminen certaine yhteisöistä, julistuksia tai lausuntoja, hyvin kehittyneitä, kuten tarkastettaessa tiettyjen ohjelmiston rakennetta ollaan totteli ..
Jotka elementit tai rakenteita etsitään määritellään säännöt; Seuraavassa taulukossa lyhyt yhteenveto sääntöjen nykyisin tarkastaa AdaControl. Suluissa jälkeen säännön nimi antaa määrä subrules, jos sellaisia on. Ottaen huomioon kaikki mahdolliset säännöt ja subrules, tämä tekee 216 testit, jotka voidaan toteuttaa nykyisin by AdaControl!
Kommentteja ei löytynyt