+38(044) 277-40-42
+38(063) 233-01-83
+38(044) 277-42-05
+38(063) 233-01-83

Спецификационная техника тестирования

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

Эквивалентное воспроизведение. Данная техника предусматривает, что все спецификации разделены между работниками (за уровнем профессионализма и зарплаты). Разделение может быть первичным (лидер команды распределяет спецификации между командой) и вторичным (каждая следующая спецификация по очереди достается следующему тестировщику).

Таблицы принятия решений. Метод, который применяет составленную таблицу входа/выхода в спецификациях, прописывает условия приема конкретных выходных данных при применении множеств, наборов, векторов входных данных. Составляются таблицы решений для диапазонов исходных значений, для получения выходных значений. Проводится проверка способа получения одержанных конкретных выходных значений.

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

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