Оглавление:
Определение - Что означает статическая проверка?
Статическая проверка - это анализ компьютерного кода, чтобы убедиться, что стандартные методы кодирования были соблюдены без необходимости запуска программы. Анализ выполняется в некоторых версиях исходного кода и предоставляет программистам возможность отлаживать новый код и обнаруживать потенциальные ошибки в скомпилированном коде.
Техопедия объясняет статическую проверку
Статическая проверка широко используется в программном обеспечении для компьютерных систем, критически важных для безопасности. Ключевыми технологиями, используемыми в статической верификации, являются статический временной анализ и проверка эквивалентности. Сроки и функциональная проверка в потоке статической проверки разделены и выполняются параллельно. Статический анализ синхронизации обеспечивает проверку синхронизации, в то время как проверка эквивалентности проверяет функциональную эквивалентность двух версий одной и той же схемы, поскольку проектный масштаб масштабируется посредством различных преобразований, таких как переупорядочение цепочки сканирования, маршрутизация и размещение.
Некоторые методы реализации статической проверки - это анализ потока данных, проверка модели, интерпретация абстракции и использование утверждений.
Инструменты, обычно используемые для статической проверки, включают сонар, Yasca, детектор копирования / вставки, Stylecop, FxCop, BLAST, Clang, Lint и Checkstyle.
