Какие существуют методы верификации программного обеспечения?

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

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