Верификация программного обеспечения

Верификация программного обеспечения - это дисциплина разработки программного обеспечения, цель которой - убедиться, что программное обеспечение полностью удовлетворяет всем требованиям. ожидаемые требования.

Содержание

• 1 Широкая область применения и классификация
• 2 Динамическая проверка (тест, эксперименты)
• 3 Статическая проверка (анализ)
• 4 Узкая область действия
• 5 Сравнение с проверкой
• 6 См. также
• 7 Ссылки

Широкая область применения и классификация

Широкое определение проверки делает ее эквивалентной тестированию программного обеспечения. В этом случае есть два основных подхода к проверке:

• динамическая проверка, также известная как экспериментирование, динамическое тестирование или просто тестирование. - Это удобно для поиска ошибок (программных ошибок ).
• Статическая проверка, также известная как анализ или статическое тестирование - Это полезно для подтверждения правильности программы. Хотя это может привести к ложным срабатываниям, когда есть один или несколько конфликтов между процессом, который действительно выполняет программное обеспечение, и тем, что предполагает статическая проверка.

Динамическая проверка (тест, экспериментирование)

Динамическая проверка выполняется во время выполнения программного обеспечения и динамически проверяет его поведение; это обычно известно как этап Тест. Проверка - это процесс обзора. В зависимости от объема тестов мы можем разделить их можно разделить на три семейства:

• Тест в малом: тест, проверяющий одну функцию или класс (Модульный тест )
• Тест в большом: тест, проверяющий группу классов, например
  • Тестирование модуля (один модуль)
  • Тест интеграции (более одного модуля)
  • Тест системы (всей системы)
• Приемочный тест: формальный тест defi необходимо проверить критерии приемки программного обеспечения
  • Функциональное испытание
  • Нефункциональное испытание (производительность, стресс-тест )

Целью динамической проверки программного обеспечения является обнаружение ошибок, вызванных активность (например, наличие медицинского программного обеспечения для анализа биохимических данных); или повторным выполнением одного или нескольких действий (например, стресс-тест для веб-сервера, т. е. проверка того, является ли текущий результат действия таким же правильным, как и в начале действия).

Статическая проверка (анализ)

Статическая проверка - это процесс проверки соответствия программного обеспечения требованиям путем проверки кода перед его запуском. Например:

• Условные обозначения проверка
• Обнаружение плохих практик (анти-шаблон )
• Программные метрики расчет
• Формальная проверка

Проверка путем анализа - метод проверки анализа применяется к проверке путем расследования, математических расчетов, логической оценки и расчетов с использованием классических методов из учебников или общепринятых компьютерных методов. Анализ включает в себя отбор образцов и сопоставление измеренных данных и наблюдаемых результатов испытаний с рассчитанными ожидаемыми значениями для установления соответствия требованиям.

Узкая область действия

При более строгом определении верификация эквивалентна только статическому тестированию и предназначена для применения к артефактам. Кроме того, проверка (всего программного продукта) будет эквивалентна динамическому тестированию и предназначена для применения к работающему программному продукту (а не к его артефактам, за исключением требований). Обратите внимание, что проверка требований может выполняться статически и динамически (см. проверка артефактов ).

Сравнение с проверкой

Проверка программного обеспечения часто путают с проверкой программного обеспечения. Разница между проверкой и проверкой. :

• Проверка программного обеспечения ставит вопрос: «Правильно ли мы создаем продукт?»; то есть соответствует ли программное обеспечение его спецификациям? (Как дом соответствует его чертежам.)
• При валидации программного обеспечения задается вопрос: «Создаем ли мы правильный продукт?»; то есть выполняет ли программа то, что на самом деле требуется пользователю? (Поскольку дом соответствует потребностям и желаниям владельца.)

См. Также

• Проверка и проверка (программное обеспечение)
• Проверка во время выполнения
• Проверка оборудования

Ссылки

• IEEE : SWEBOK: Руководство по совокупности знаний в области программной инженерии
• Карло Геззи, Мехди Джазайери,: Основы программной инженерии, Прентис Холл, ISBN 0-13 -099183-X
• : Процедура проверки программного обеспечения, полученного из искусственных нейронных сетей, Журнал Международной ассоциации тестирования и оценки, январь 2004 г., том 25, № 4.
• Виджай Д'Сильва, Даниэль Кренинг, Георг Вайссенбахер: Обзор автоматизированных методов формальной проверки программного обеспечения. IEEE Trans. по САПР интегральных схем и систем 27 (7): 1165-1178 (2008)