Sadržaj:
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 vrši na nekim verzijama izvornog koda i programerima omogućava način uklanjanja pogrešaka novog koda i otkrivanja potencijalnih pogrešaka u sastavljenom kodu.
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.
