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