Существующие на сегодня методы тестирования программного обеспечения не позволяют однозначно и полностью выявить все дефекты и установить корректность функционирования анализируемой программы, поэтому все существующие методы тестирования действуют в рамках формального процесса проверки исследуемого или разрабатываемого программного обеспечения.
Такой процесс формальной проверки, или верификации, может доказать, что дефекты отсутствуют с точки зрения используемого метода. (То есть нет никакой возможности точно установить или гарантировать отсутствие дефектов в программном продукте с учётом человеческого фактора, присутствующего на всех этапах жизненного цикла программного обеспечения.)
- ПО АНТОНОВОЙ:
Статическое тестирование – метод, базирующийся на правилах структурного построения программ и обработки данных. Формальный анализ текста программы на языке программирования. Операторы и операнды КП анализируются в символьном виде.
- ПО ИНТЕРНЕТУ:
Статическое тестирование заключается в изучении свойств программы, не выполняя ее код. Оно может быть использовано как для нахождения дефектов еще на этапах проектирования и моделирования, так и проверки исходного кода программы на предмет использованных конструкций, алгоритмов, отношений модулей и компонентов программы и т.п. Во время статического тестирования можно получить информацию о свойствах программы: ее безопасность, возможность поддержки, надежность и эффективность. Использование статических методов тестирования – один из наиболее эффективных способов обнаружения дефектов на ранних стадиях разработки ПО.
- ПО АНТОНОВОЙ:
Детерминированное тестирование (детализованный). Требует многократного выполнения КП на ПК с использованием тестовых данных. Контролируется каждая комбинация исходных данных и результаты, а также каждое утверждение в спецификации.
- ПО ИНТЕРНЕТУ:
Детерминированное тестирование является наиболее трудоёмким и детализирующим. При детерминированном тестировании контролируется каждая комбинация исходных эталонных данных и соответствующая ей комбинация результатов функционирования программы. Это позволяет выявлять отклонение результатов от эталона и реализующих данных, при которых это отклонение произошло. На практике полное детерминированное тестирование обычно нереализуемо.
- ПО АНТОНОВОЙ:
Стохастическое тестирование. Предполагает в качестве исходных данных использование множества случайных величин, для сравнения полученных результатов также случайные величины (теория вероятности).
- ПО ИНТЕРНЕТУ:
Случайное (стохастическое) тестирование использует исходные тестовые данные, подготавливаемые случайным образом, как правило, с помощью статистического распределения.
Детерминированное тестирование. Структурное тестирование по принципу «белого ящика».
Детерминированное тестирование – метод требует многократного выполнения на компьютере с использованием текстовых наборов данных; контролируется каждая комбинация исходных данных и соотв. Результат, а также каждое утв. В спецификации.
Детерминированное тестирование основывается на двух подходах:
1. Структурное (как белого ящика):
стратегия тестирования, управляемой логикой программы. Предполагает детальное изучение текста программы. Построение таких входных наборов данных, которые позволили бы при многократном выполнении программы на компьютере обеспечить выполнение максимально возможного количества маршрутов, циклов, ветвлений.
2. Функциональное (как черного ящика); по входу-выходу; по спецификациям:
при этом подходе необходимо полностью абстрагироваться от логики программы, тестовые наборы данных выбирать на основе анализа входных функциональных спецификаций.
Эффективный набор данных- подмножество всех возможных тестов, которое имеет наивысшую вероятность обнаружения большинства ошибок.
Тест по белому ящику – при этом тестировании необходимо удовлетворять требованиям:
1.Критерий покрытия операторов- выбор такого тестового набора данных, который вызывает выполнение каждого оператора хотя бы 1 раз.
2.Критерий покрытия решений- такое кол-во тестов, чтобы в каждом узле ветвления был обеспечен переход по веткам истина и ложь хотя бы 1 раз.
3.Критерий покрытия сложных условий- все возможные комбинации результатов условия в каждом решении и все точки входа выполнялись по крайней мере 1 раз.