Некоторые основные принципы верификации в современных информационных системах:

• Непрерывное обеспечение качества. 2 Процессы верификации должны быть тесно интегрированы на всех этапах разработки. 2 Плановые показатели качества задаются ещё до разработки программного обеспечения. 2
• Проверка характеристик требований. 1 Они должны быть однозначными, не противоречить друг другу или основным законам предметной области, описывать поведение системы во всех возможных ситуациях и быть проверяемыми. 1
• Верификация исходного кода. 1 Проверяется, что все элементы кода связаны с проектными решениями и требованиями и корректно реализуют их, а также что код написан в соответствии с синтаксическими и семантическими правилами выбранных языков программирования. 1
• Анализ возможных сбоев. 1 Выделяются наиболее рискованные и критичные ситуации при работе программного обеспечения, оценивается возможный ущерб от них и их вероятность. 1
• Анализ защищённости. 1 Оцениваются возможности несанкционированного доступа к данным, коммуникациям и исполняемым модулям системы, а также риски, связанные с этим доступом. 1