Тестирование ПО

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

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

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

- был бы достаточно представителен и позволял бы завершить тестирование с достаточной степенью уверенности в правильности ПО вообще,

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

Схема процесса тестирования:

Виды тестирования:

- метод черного ящика (совершенно не интересует, что «внутри» программы) нацелен на проверку требований,

- метод белого ящика: тесты задаются на основе знаний о структуре самой системы и о том, как она работает,

- тестирование, нацеленное на определение ошибок (систему заведомо выводят из строя),

- системное тестирование предназначено для проверки правильности работы системы в целом, ее способности правильно решать поставленные пользователями задачи в различных ситуациях.

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

Дата добавления: 2014-01-20