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