Sadržaj
- Definicija - Što znači statička provjera?
- Uvod u Microsoft Azure i Microsoft Cloud | Kroz ovaj vodič naučit ćete o čemu se radi računalstvo u oblaku i kako vam Microsoft Azure može pomoći da preselite i pokrenete svoje poslovanje iz oblaka.
- Tehopedia objašnjava statičku provjeru
Definicija - Što znači statička provjera?
Statička provjera je analiza računalnog koda kako bi se osiguralo pridržavanje standardnih praksi kodiranja bez potrebe za pokretanjem programa. Analiza se provodi na nekim verzijama izvornog koda i programerima omogućava način uklanjanja pogrešaka novog koda i otkrivanja potencijalnih pogrešaka u sastavljenom kodu.
Uvod u Microsoft Azure i Microsoft Cloud | Kroz ovaj vodič naučit ćete o čemu se radi računalstvo u oblaku i kako vam Microsoft Azure može pomoći da preselite i pokrenete svoje poslovanje iz oblaka.
Tehopedia objašnjava statičku provjeru
Statička provjera se široko koristi u softveru za sigurnosne računalne sustave. Ključne tehnologije koje se koriste u statičkoj provjeri su analiza statičkih vremena i provjera ekvivalencije. Vremensko određivanje i funkcionalna provjera u protoku statičke provjere razdvajaju se i paralelno izvode. Statička analiza vremena osigurava provjere vremena, dok provjera ekvivalencije potvrđuje funkcionalnu ekvivalentnost dviju verzija istog kruga kao i dizajnerske ljestvice kroz različite transformacije, kao što su preusmjeravanje, usmjeravanje i postavljanje lanca.
Nekoliko tehnika provedbe statičke provjere su analiza protoka podataka, provjera modela, interpretacija apstrakcije i uporaba tvrdnji.
Alati koji se uglavnom koriste za statičku provjeru uključuju Sonar, Yasca, detektor kopiranja / paste, Stylecop, FxCop, BLAST, Clang, Lint i Checkstyle.