Sisältö
- Määritelmä - mitä staattinen vahvistus tarkoittaa?
- Johdanto Microsoft Azureen ja Microsoft Cloud | Tämän oppaan läpi opit mitä pilvipalvelussa on kyse ja kuinka Microsoft Azure voi auttaa sinua siirtämään ja johtamaan yritystä pilvestä.
- Techopedia selittää staattisen todentamisen
Määritelmä - mitä staattinen vahvistus tarkoittaa?
Staattinen vahvistus on tietokonekoodianalyysi sen varmistamiseksi, että vakiokoodauskäytäntöjä on noudatettu joutumatta suorittamaan ohjelmaa. Joillekin lähdekoodin versioille suoritetaan analyysi, ja se tarjoaa ohjelmoijalle tavan korjata uusi koodi ja havaita mahdolliset virheet käännetyssä koodissa.
Johdanto Microsoft Azureen ja Microsoft Cloud | Tämän oppaan läpi opit mitä pilvipalvelussa on kyse ja kuinka Microsoft Azure voi auttaa sinua siirtämään ja johtamaan yritystä pilvestä.
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 vastaavuuden erilaisilla muunnoksilla, kuten skannausketjun uudelleenjärjestys, reititys ja sijoittelu, samansuuntaisina kuin mittakaavoissa.
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.