Тестирование, верификация и валидация программного обеспечения. Лекция 1

1.

Тестирование,
верификация и
валидация
программного
обеспечения
Лекция 1

2.

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

3.

3
Как это сделано?
Что сделано?
Сделано ли то, что нужно?
15.01.2025

4.

Тестирование
программного
кода

5.

5
Задачи и цели тестирования программного кода
Тестирование программного кода - процесс выполнения программного
кода, направленный на выявление существующих в нем дефектов.
Под дефектом понимается участок программного кода, выполнение которого
при определенных условиях приводит к неожиданному поведению системы
(т.е. поведению, не соответствующему требованиям).
Задача тестирования - определение условий, при которых проявляются
дефекты системы, и протоколирование этих условий.
Цель применения процедуры тестирования программного кода минимизация количества дефектов (в особенности существенных) в конечном
продукте.
15.01.2025

6.

6
Основные понятия
Тестирование - процесс выполнения программы с целью обнаружения
ошибки.
Тестовые данные - входы, которые используются для проверки системы.
Тестовая ситуация (test case) - входы для проверки системы и
предполагаемые выходы в зависимости от входов, если система работает в
соответствии со спецификацией требований.
Хорошая тестовая ситуация - та ситуация, которая обладает большой
вероятностью обнаружения пока еще необнаруженной ошибки.
Удачный тест - тест, который обнаруживает пока еще необнаруженную
ошибку.
Ошибка - действие программиста на этапе разработки, приводящее к тому,
что в программном обеспечении содержится внутренний дефект, который в
процессе работы программы может привести к неправильному результату.
Отказ - непредсказуемое поведение системы, приводящее к неожидаемому
15.01.2025
результату,
которое могло быть вызвано дефектами, содержащимся в ней.

7.

Тестирование
Верификация
Валидация
Тестирование само по себе не может гарантировать полного отсутствия
дефектов в программном коде системы.
Однако, в сочетании с процессами верификации и валидации, направленными
на устранение противоречивости и неполноты проектной документации (в
частности - требований на систему), грамотно организованное тестирование
дает гарантию того, что система удовлетворяет требованиям и ведет себя в
соответствии
с ними во всех предусмотренных ситуациях
15.01.2025
7

8.

Верификация

9.

Верификация - это процесс определения, выполняют
ли программные средства и их компоненты требования,
наложенные
на
них
в
последовательных
этапах
жизненного цикла разрабатываемой программной системы.
Соответствие
требованиям ПО
выявление
и регистрация дефектов и
ошибок
15.01.2025
9

10.

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

11.

11
Задачи и цели процесса верификации
Цель верификации - доказать, что, что результат разработки соответствует предъявленным к
нему требованиям, а именно:
общие требования к ИС,
предназначенные для программной
реализации корректно
переработаны
в спецификацию требований
высокого уровня к комплексу
программ, удовлетворяющих
исходным системным требованиям
корректно
переработаны
в архитектуру ПО и в
спецификации требований к
функциональным компонентам
низкого уровня
корректно
переработаны
15.01.2025
в удовлетворяющие им исходные
тексты программных и
информационных модулей
исходные тексты программ
и соответствующий им
исполняемый код
не содержат ошибок

12.

Валидация

13.

13
Отличительные черты валидации ПО:
- всегда включает в себя запуск кода программы.
- использует методы, такие как тестирование «черным ящиком», тестирование
«белым ящиком» и нефункциональное тестирование
- проверяет, соответствует ли программное обеспечение требованиям и
ожиданиям клиента.
- может найти ошибки, которые невозможно обнаружить в процессе
верификации.
- происходит после верификации
15.01.2025

14.

14
Отличия верификации и валидации на практике:
Требования: сконструировать парусный корабль для перевозки людей и грузов.
Верификация:
Корпус корабля? – есть
Мачта? – есть
Веселый роджер? – нет
Штурвал? – нет
Парус? – есть
Верификация –
подтверждение того, что
определенные требования
были выполнены.
15.01.2025
Валидация:
Держится
воде?
ли
корабль
на
Плывет ли корабль вообще?
Может
ли
перевозить грузы?
корабль
Валидация – проверка того,
что
продукт
отвечает
ожиданиям и потребностям
пользователей.

15.

15
Задание:
1. Выбрать объект реального мира.
2. Выставить 3-5 требований к объекту (какой это объект, для чего он был
создан и т.п.)
3. Описать процесс верификации и валидации по примеру на предыдущем
слайде.
1
2
3
4
5
6
7
8
9
10
15.01.2025
Объект для тестирования
Автомобиль
Стул
Чашка
Телевизор
Куртка
Фонарик
Смартфон
Смеситель
Подушка
Утюг
11
12
13
14
15
16
17
18
19
20
Объект для тестирования
Весы
Сапоги
Чайник
Сковорода
Матрас для плавания
Швейная машинка
Новогодняя елка
Очки
Свеча
Тетрадь