Kazalo:
Opredelitev - Kaj pomeni statična verifikacija?
Statična verifikacija je analiza računalniške kode, s katero se zagotovi, da se upoštevajo standardne prakse kodiranja, ne da bi morali zagnati program. Analiza se opravi na nekaterih različicah izvorne kode in omogoča programerjem, da odpravijo novo kodo in odkrijejo morebitne napake v sestavljeni kodi.
Tehopedia razlaga statično preverjanje
Statično preverjanje se pogosto uporablja v programski opremi za varnostno kritične računalniške sisteme. Ključne tehnologije, ki se uporabljajo pri statični verifikaciji, so analiza statične časovnice in preverjanje enakovrednosti. Časovno in funkcionalno preverjanje v statičnem verifikacijskem toku sta ločeni in potekata vzporedno. Statična časovna analiza zagotavlja časovne preglede, medtem ko preverjanje enakovrednosti preverja funkcionalno enakovrednost dveh različic istega vezja kot konstrukcijske lestvice z različnimi transformacijami, kot so preurejanje, usmerjanje in umestitev verige skeniranja.
Nekaj tehnik izvajanja statične verifikacije so analiza pretoka podatkov, preverjanje modela, interpretacija abstrakcije in uporaba trditev.
Orodja, ki se običajno uporabljajo za statično preverjanje, vključujejo Sonar, Yasca, detektor kopiranja / paste, Stylecop, FxCop, BLAST, Clang, Lint in Checkstyle.
