Некоторые методы верификации программного обеспечения:

• Эмпирические методы. 1 К ним относится экспертиза, которая включает техническую экспертизу (определение пригодности продукта по назначению), сквозной контроль (анализ и оценку программы группой экспертов), инспекцию (поиск ошибок и уязвимостей в соответствии с точным планом) и аудит (анализ программы специалистами, не входящими в команду проекта). 12
• Формальные методы. 1 Они используют математический аппарат для верификации программного обеспечения, основываясь на математической модели программы без обращения к её физической реализации. 1
• Статический анализ. 23 Это анализ, выполняющийся без запуска программы. 2 Он позволяет проанализировать пути выполнения программы и хорошо автоматизируется, но способен обнаруживать ограниченный набор типов ошибок. 2
• Динамические методы. 2 Это анализ, выполняющийся с запуском программы. 2 К ним относятся тестирование, имитационное тестирование, мониторинг (наблюдение, запись и оценка результатов работы программного обеспечения) и профилирование (контроль операций с памятью и взаимодействие параллельных потоков и процессов в системе). 2
• Синтетические методы. 2 Они основываются на методах статического анализа, тестирования и формальных методах. 2 Например, тестирование на основе моделей, мониторинг формальных свойств, статический анализ формальных свойств. 2