Turinys:
Apibrėžimas - ką reiškia statinis patikrinimas?
Statinis tikrinimas yra kompiuterio kodo analizė, siekiant įsitikinti, kad buvo laikomasi standartinės kodavimo praktikos ir nereikia paleisti programos. Analizė atliekama kai kuriose šaltinio kodo versijose ir suteikia galimybę programuotojams derinti naują kodą ir aptikti galimas sudaryto kodo klaidas.
„Techopedia“ paaiškina statinį patikrinimą
Statinis patikrinimas yra plačiai naudojamas programinėje įrangoje, skirtoje saugos požiūriu svarbioms kompiuterinėms sistemoms. Pagrindinės technologijos, naudojamos atliekant statinį patikrinimą, yra statinės laiko analizės ir lygiavertiškumo tikrinimas. Laiko ir funkcijų patikra statinio patikros sraute yra atskirtos ir vykdomos lygiagrečiai. Statinė laiko analizė suteikia laiko tikrinimą, o lygiavertiškumo tikrinimas patikrina dviejų tos pačios grandinės versijų, kaip projektavimo skalės, funkcinį ekvivalentiškumą per skirtingas transformacijas, tokias kaip skenavimo grandinės pertvarkymas, maršruto nustatymas ir išdėstymas.
Keletas statinio tikrinimo įgyvendinimo metodų yra duomenų srautų analizė, modelio tikrinimas, abstrakcijos aiškinimas ir tvirtinimo naudojimas.
Įrankiai, paprastai naudojami statiniam tikrinimui, yra „Sonar“, „Yasca“, Kopijavimo / įklijavimo detektorius, „Stylecop“, „FxCop“, „BLAST“, „Clang“, „Lint“ ir „Checkstyle“.
