Saturs
- Definīcija - ko nozīmē statiskā verifikācija?
- Ievads Microsoft Azure un Microsoft Cloud | Šajā rokasgrāmatā jūs uzzināsit, kas ir mākonis skaitļošana un kā Microsoft Azure var palīdzēt jums migrēt un vadīt savu biznesu no mākoņa.
- Techopedia izskaidro statisko verifikāciju
Definīcija - ko nozīmē statiskā verifikācija?
Statiska pārbaude ir datora koda analīze, lai pārliecinātos, ka ir ievērota kodēšanas prakse, neveicot programmas palaišanu. Dažām avota koda versijām tiek veikta analīze, un tas programmētājiem dod iespēju atkļūdot jauno kodu un atklāt iespējamās kļūdas apkopotajā kodā.
Ievads Microsoft Azure un Microsoft Cloud | Šajā rokasgrāmatā jūs uzzināsit, kas ir mākonis skaitļošana un kā Microsoft Azure var palīdzēt jums migrēt un vadīt savu biznesu no mākoņa.
Techopedia izskaidro statisko verifikāciju
Statiskā verifikācija tiek plaši izmantota programmatūrā, kas paredzēta drošībai kritiskām datorsistēmām. Galvenās tehnoloģijas, ko izmanto statiskā pārbaudē, ir statiskā laika analīze un ekvivalences pārbaude. Laika un funkcionālā verifikācija statiskās verifikācijas plūsmā tiek atdalītas un tiek veiktas paralēli. Statiska laika analīze nodrošina laika pārbaudi, savukārt ekvivalences pārbaude pārbauda vienas un tās pašas shēmas divu versiju funkcionālo ekvivalenci kā projektēšanas skalas, izmantojot dažādas transformācijas, piemēram, skenēšanas ķēdes pārkārtošanu, maršrutēšanu un izvietojumu.
Daži no statiskās verifikācijas ieviešanas paņēmieniem ir datu plūsmas analīze, modeļa pārbaude, abstrakcijas interpretācija un apgalvojumu izmantošana.
Rīki, kurus parasti izmanto statiskai verifikācijai, ir Sonar, Yasca, Copy / paste detector, Stylecop, FxCop, BLAST, Clang, Lint un Checkstyle.