Тестирование как часть процесса верификации по

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

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

Тестирование программного обеспечения — процесс исследования и проверки программного обеспечения (программного кода и документации), преследующий две различные цели:

1) продемонстрировать заказчикам, а также разработчикам, что программный продукт соответствует требованиям;

2) выявить ситуации, в которых поведение программного обеспечения является неправильным, нежелательным или несоответствующим спецификации.

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

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

Тестировщик — специалист, занимающийся тестированием. Тестировщик осуществляет поиск вероятных ошибок и сбоев в функционировании программного обеспечения, моделирует различные ситуации, которые могут возникнуть в процессе использования программного продукта.

Тестирование является наиболее широко применяемым методом контроля качества программного обеспечения. Для оценки многих атрибутов качества не существует других эффективных способов, кроме тестирования. Система методов отбора и создания тестов для тестового набора называется стратегией тестирования.

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

Тестированием являются отладка, контроль и испытание.

Отладка — тестирование программного кода на этапе разработки программного обеспечения.

Контроль — поиск ошибок при выполнении программ в тестовой или моделируемой среде.

Испытание — попытка найти ошибки при выполнении программы в реальной среде.

Тесты должны удовлетворять определенным требованиям:

■ прежде всего должна быть высока вероятность выявления тестом возможных ошибок. Разрабатывая тестовые сценарии, необходимо проанализировать все возможные варианты сбоев программы или ее некорректной работы;

■ набор тестов не должен быть избыточным. Нет необходимости в выполнении нескольких тестов для выявления одной и той же ошибки. Достаточно выполнить один из них, но при условии, что этот тест является наилучшим в своей категории. В группе похожих тестов одни более эффективны, другие менее эффективны, поэтому нужно выбрать тот тест, который с наибольшей вероятностью выявит ошибку;

■ тест не должен быть слишком простым или слишком сложным. Огромный и сложный тест трудно понять, трудно выполнить и долго создавать. Поэтому лучше придерживаться середины.

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

Если посмотреть на эти процессы с точки зрения вопроса, на который они дают ответ, то тестирование отвечает на вопрос «Как это сделано?» или «Соответствует ли поведение разработанной программы требованиям?», верификация — «Что сделано?» или «Соответствует ли разработанная система требованиям?».

Процесс тестирования не гарантирует отсутствия в системе всех дефектов, которые могут вызвать сбои, отказы или аварии — речь идет только об определенном уровне отсутствия этих дефектов.