Sisu
- Definitsioon - mida tähendab staatiline kontrollimine?
- Sissejuhatus Microsoft Azure'i ja Microsoft Cloud | Kogu selle juhendi kaudu saate teada, mis on pilvandmetöötlus ja kuidas Microsoft Azure aitab teil pilvest rännata ja oma ettevõtet juhtida.
- Techopedia selgitab staatilist verifitseerimist
Definitsioon - mida tähendab staatiline kontrollimine?
Staatiline kontrollimine on arvutikoodi analüüs, mis tagab tavapäraste kodeerimistavade järgimise ilma programmi käivitamata. Lähtekoodi mõne versiooni jaoks viiakse läbi analüüs ja see annab programmeerijatele võimaluse uue koodi silumiseks ja kompileeritud koodi võimalike vigade tuvastamiseks.
Sissejuhatus Microsoft Azure'i ja Microsoft Cloud | Kogu selle juhendi kaudu saate teada, mis on pilvandmetöötlus ja kuidas Microsoft Azure aitab teil pilvest rännata ja oma ettevõtet juhtida.
Techopedia selgitab staatilist verifitseerimist
Staatilist verifitseerimist kasutatakse laialdaselt ohutuskriitiliste arvutisüsteemide tarkvaras. Staatilises kontrollimisel kasutatavad peamised tehnoloogiad on staatiline ajaanalüüs ja samaväärsuse kontroll. Ajastus ja funktsionaalne kontroll staatilises kontrollivoolus eraldatakse ja toimuvad paralleelselt. Staatiline ajaanalüüs pakub ajakontrolli, samas kui ekvivalentsuskontroll kontrollib sama skeemi kahe versiooni funktsionaalset ekvivalentsust projekteerimisskaaladega erinevate teisenduste, näiteks skaneerimisahela ümberkorralduse, marsruudi ja paigutuse kaudu.
Mõned staatilise verifitseerimise tehnikad on andmevoo analüüs, mudeli kontrollimine, abstraktsiooni tõlgendamine ja väite kasutamine.
Tööriistadeks, mida tavaliselt kasutatakse staatiliseks kinnitamiseks, on Sonar, Yasca, Copy / paste detector, Stylecop, FxCop, BLAST, Clang, Lint ja Checkstyle.