Vsebina
- Opredelitev - Kaj pomeni statična verifikacija?
- Uvod v Microsoft Azure in Microsoft Cloud | V tem priročniku boste spoznali, kaj sploh pomeni računalništvo v oblaku in kako vam lahko Microsoft Azure pomaga preseliti in voditi vaše podjetje iz oblaka.
- Tehopedia razlaga statično preverjanje
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.
Uvod v Microsoft Azure in Microsoft Cloud | V tem priročniku boste spoznali, kaj sploh pomeni računalništvo v oblaku in kako vam lahko Microsoft Azure pomaga preseliti in voditi vaše podjetje iz oblaka.
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 izvedbenih metod 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.