Методика тестирования программных систем

Методика тестирования программной системы может быть представлена в виде разворачивающейся спирали. В начале осуществляется тестирование элементов, то есть модулей, проверяющее результаты этапа кодирования программной системы.

На втором шаге выполняется тестирование интеграции, ориентированное на выявление ошибок этапа проектирования программной системы.

На третьем обороте спирали производится тестирование правильности, проверяющее корректность этапа анализа требований к программной системе.

На заключительном этапе проводится системное тестирование, выявляющее недостатки этапа системного анализа программной системы.

Рисунок 16– Методика тестирования программной системы

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

Цель системного тестирования – проверка правильности объединения и взаимодействия всех элементов компьютерной системы и реализация всех функций системы.

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

Практический ответ обычно основан на статистическом критерии, который заключается в следующем. Можно с 95% уверенностью сказать, что провели достаточное тестирование, если вероятность безотказной работы компьютера с программной системой в течение 1000 часов составляет 0,995.

Научный ответ на этот вопрос состоит в применении математической модели отказов.

Например, для логарифмической модели Пуассона формула расчета текущей интенсивности отказа имеет вид , где

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

– начальная интенсивность отказа, т.е. интенсивность отказа на момент тестирования.

p – экспоненциальное уменьшение интенсивности отказа за счет обнаружения и устранения ошибок.

t – время тестирования.

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