Spisu treści:
Definicja - Co oznacza weryfikacja statyczna?
Weryfikacja statyczna to analiza kodu komputerowego w celu zapewnienia przestrzegania standardowych praktyk kodowania bez konieczności uruchamiania programu. Analiza jest przeprowadzana na niektórych wersjach kodu źródłowego i umożliwia programistom debugowanie nowego kodu i wykrywanie potencjalnych błędów w skompilowanym kodzie.
Techopedia wyjaśnia weryfikację statyczną
Weryfikacja statyczna jest szeroko stosowana w oprogramowaniu dla systemów komputerowych o krytycznym znaczeniu dla bezpieczeństwa. Kluczowymi technologiami stosowanymi w weryfikacji statycznej są statyczne analizy czasowe i sprawdzanie równoważności. Czas i weryfikacja funkcjonalna w przepływie weryfikacji statycznej są oddzielone i prowadzone równolegle. Statyczna analiza taktowania zapewnia sprawdzanie czasu, a sprawdzanie równoważności weryfikuje równoważność funkcjonalną dwóch wersji tego samego obwodu co skale projektowe poprzez różne transformacje, takie jak zmiana kolejności skanowania, routing i umiejscowienie.
Kilka technik implementacji weryfikacji statycznej to analiza przepływu danych, sprawdzanie modelu, interpretacja abstrakcji i stosowanie asercji.
Do narzędzi powszechnie stosowanych do weryfikacji statycznej należą Sonar, Yasca, wykrywacz kopiuj / wklej, Stylecop, FxCop, BLAST, Clang, Lint i Checkstyle.
