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