Зміст
- Визначення - Що означає статична перевірка?
- Вступ до Microsoft Azure та Microsoft Cloud | У цьому посібнику ви дізнаєтеся, що стосується хмарних обчислень та як Microsoft Azure може допомогти вам мігрувати та вести свій бізнес із хмари.
- Техопедія пояснює статичну верифікацію
Визначення - Що означає статична перевірка?
Статична верифікація - це аналіз комп'ютерного коду, щоб переконатися в дотриманні стандартних методів кодування без необхідності запуску програми. Аналіз проводиться на деяких версіях вихідного коду і надає можливість програмістам налагодити новий код і виявити потенційні помилки у складеному коді.
Вступ до Microsoft Azure та Microsoft Cloud | У цьому посібнику ви дізнаєтеся, що стосується хмарних обчислень та як Microsoft Azure може допомогти вам мігрувати та вести свій бізнес із хмари.
Техопедія пояснює статичну верифікацію
Статична перевірка широко використовується в програмному забезпеченні для критично важливих для безпеки комп'ютерних систем. Ключові технології, що застосовуються в статичній верифікації, - це статичний аналіз часу та перевірка еквівалентності. Час і функціональна перевірка в статичному потоці верифікації відокремлюються і виконуються паралельно. Статичний аналіз часу визначає перевірку часу, тоді як перевірка еквівалентності перевіряє функціональну еквівалентність двох версій тієї ж схеми, що і проектні шкали, за допомогою різних перетворень, таких як переупорядкування, маршрутизація та розміщення ланцюга сканування.
Кілька методів реалізації статичної верифікації - це аналіз потоку даних, перевірка моделі, інтерпретація абстракції та використання тверджень.
Інструменти, які зазвичай використовуються для статичної перевірки, включають Sonar, Yasca, детектор копіювання / вставки, Stylecop, FxCop, BLAST, Clang, Lint і Checkstyle.