Sisällysluettelo:
Määritelmä - mitä staattinen vahvistus tarkoittaa?
Staattinen vahvistus on tietokonekoodianalyysi sen varmistamiseksi, että vakiokoodauskäytäntöjä on noudatettu ilman, että ohjelmaa tarvitsee suorittaa. Joillekin lähdekoodin versioille suoritetaan analyysi, ja se tarjoaa ohjelmoijalle tavan korjata uusi koodi ja havaita mahdolliset virheet käännetyssä koodissa.
Techopedia selittää staattisen todentamisen
Staattista varmennusta käytetään laajalti turvallisuuskriittisten tietokonejärjestelmien ohjelmistoissa. Keskeisiä staattisessa todentamisessa käytettyjä tekniikoita ovat staattinen ajoitusanalyysi ja vastaavuuden tarkistus. Ajoitus ja toiminnallinen varmentaminen staattisessa varmennusvirtauksessa erotetaan toisistaan ja suoritetaan samanaikaisesti. Staattinen ajoitusanalyysi tarjoaa ajoitustarkastuksia, kun taas ekvivalenssitarkistus varmistaa saman piirin kahden version toiminnallisen ekvivalenssin suunnitteluasteikkoina eri muunnosten, kuten skannausketjun uudelleenjärjestyksen, reitityksen ja sijoituksen, kautta.
Muutamia staattisen verifioinnin toteutustekniikoita ovat datavirta-analyysi, mallin tarkistaminen, abstraktion tulkinta ja väittämien käyttö.
Työkaluja, joita yleensä käytetään staattiseen todentamiseen, ovat Sonar, Yasca, Copy / paste detector, Stylecop, FxCop, BLAST, Clang, Lint ja Checkstyle.
