Функциональное тестирование

Различают следующие методы формирования тестовых работ:

1. Эквивалентное разделение заключается в следующем: область всех возможных наборов входных данных программы по каждому параметру разбивается на конечное число групп, классов эквивалентности. Разработку тестов методов эквивалентного разделения осуществляют в два этапа, на первом выделяют классы эквивалентности, анна втором формируют тесты

2. Анализ граничных значений. Граничные значения – это значения на границах классов эквивалентности. Граничное значение резко увеличивается возможность обнаружить ошибку. Существует несколько общих правил для применения этого метода:

1.Если входное условие описывает область значений, то следует построить тесты для границ области с неправильными входными данными

2. если входное условие удовлетворяет дискретному ряду значений, то следует построить тесты для минимального и максимального значений и тесты содержащие значения больше и меньше этих двух значений, например если входной файл от одного до 95 записей, то следует проверить

3.если существует ограничение выходных значений, целесообразно тестировать и их.

4.если некоторое входное и выходное значение программы является упорядоченным множеством, то следует сосредоточить внимание на первом , последнем элементов этого множества

3. Анализ причины следственных связей, причиной в данном случае называют отдельное входное условие или класс эквивалентности, следствие это выходное условие или преобразование системы.

Этапы построения тестов.

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

2.Спецификации выделяют множество причин и следствий

3.На основе анализа семантического (смыслового) содержания спецификации строит таблицу истинности, в которой каждой возможной комбинации причин ставится в соответствии следствия

4.Таблицы преобразуют тест

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

Способы тестирования базового пути

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

1. Получить оценку комплексной сложности программы

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

Тестовые варианты разрабатываются для проверки базового множества пути маршрута, они гарантируют однократное выполнение каждого оператора в котором три тестирования

Способы тестирования условий

Цель этого способа – строить тестовые варианты для проверки логических условий программы, при этом желательно обеспечить охват без техники и программы

Методики

1.тестирование ветвей – здесь для составного условия проверяется: каждое простое условие, входящее в него; true – условие, false- условие

2.тестирование области определения - в ней для выражения отношения требуется генерация 3-4 тестов

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