Стратегии тестирования. Методы тестирования. Восходящий и нисходящий методы тестирования

4.Стратегии тестирования.

1.Тестирование по тексту программы (тестирование «белого ящика», содержательное тестирование) – анализируется логика по тексту программы; требование к тесту – прохождение по всем ветвям пути, хотя бы один раз. Проблемы: 1.невозможность проверки спецификации; 2.отсутствие необходимых путей; 3.чувствительность к данным.

2.Тестирование по спецификациям (тестирование «черного ящика», формальное тестирование) – анализируется спецификации вх и вых переменных и т.д. тесты должны охватить все варианты вх и вых данных. Проблемы: 1.не зная текста программы не можно предусмотреть особые случаи.

Эффективность теста – вероятность того, что тест выявит необнаруженную ранее ошибку.

6.Методы тестирования:

Модифицированный нисходящий метод – при включении нового модуля в систему, его тестируют автономно. Проблема: необходимо писать и драйвер и заглушку. Метод «большого скачка» – все модули разрабатываются одновременно и автономно тестируютсяю затем все модули соединяются. Система не работает, т.к.  нет межмодульной связи трудно найти ошибки. Недостатки: 1.необходимость и драйверов и заглушек; 2.модули долгое время не тестируются совместно, поэтому ошибки в межмодульных связях возникают на поздних этапах; 3.трудность локализации ошибок. Достоинства: распараллеливание работы при разработке модулей и автономном тестировании. Метод «сандвича» - компромисс м/у восходящим и нисходящим тестированием. Модулей верхнего уровня разр-ся и тестируются сверху вниз, а модули нижнего уровня разр-ся и тестируются снизу вверх. Необходима стыковка. Достоинства: ранее начало интеграции системы; 2.надежное тестирование модулей нижнего уровня. Модифицированный метод «сандвича» - параллельно ведется сборка верхних и нижних уровней. Ранняя сборка. И драйвера и заглушки. Параметры: 1.время сборки (раньше лучше); 2.время создания работающих вариантов; 3.необходимость драйверов (чем меньше, тем лучше); 4.необходимость в заглушках; 5.параллельность в начале работы (чем выше параллельность, тем лучше); 6.возможность тестирования отдельных путей (легко-тудно); 7.возможность планировать и контроль процесса тестирования. По этим параметрам, модифицированный метод сандвича лучший метод, а метод большого скачка – худший.

5.Восходящий и нисходящий методы тестирования

Тестирование модулей и интерфейсов определяется порядком разработки.

1.Восходящее тестирование – модули тестируются снизу вверх. Сначала тестируются модули нижнего уровня, т.е. процедуры и функции, которые ничего не вызывают (вычисление sin, cos, ввод-вывод)

прогорамма-драйвер – программа моделирующая работу (поведение) модуля более высокого уровня. Программа-заглушка – программа, моделирования поведения модуля более низкого уровня.

Тестовые данные подаются на под тестируемого модуля программой-драйвером.

2.Нисходящий метод тестирования – для модулей высокого уровня пишутся заглушки и все тактируется. Проблемы: 1.написание программ-заглушек, кот м.б. сложными; 2. модули нижних уровней нижних уровней тестируются ненадежно. Достоинства: 1.совмещение тестирования модулей и сопряжение модулей, м/у собой на разных стадиях проектирования; 2.меньшее кол-во тестов (ограничено фильтрацией верхних уровней); 3.отсутствуют необхадимые разрешения программы-драйверов. Недостатки: 1.низкая надежность модулей нижних уровней; 2.наличие большого числа отложенных решений до появления модулей нижних уровней; 3.при итерационном проектировании возникает психологический барьер при изменении модулей верхних уровней.

7.Тестирование модуля – Цель: выявление несоответствия м/у спецификацией модуля и логикой его работы. Этапы: 1модуль рассматривается как «черный ящик» и тестируется: а.составляются тесты для булевских и перечисляемых типов; б.составляются тесты для комбинаций границ области допустимых значений; в.тестируются основные точки (деление на ноль, переполнение разрядной сетки, ноль, большие числа); г.задание «неразумных» данных; д.подобрать тест, чтобы выдались граничные значения выходных данных. 2.Модуль тестируется по стеку программы: а.тесты должны обеспечивать прохождение каждого ветвления хотя бы один раз; б.проверить прохождение всех операторов; в.проверить прохождение всех циклов; в.тестирование устойчивости к данным, т.е. задание особых ситуаций для локальных переменных; г.тестирование утечных памяти

8.Тестирование внешних функций: метод функциональных диаграмм

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

Функциональные диаграммы. а – ситуации, эффекты. а  в – если имеет место а, то имеет место в; а  в – если имеет место а, то в не имеет;