Понятие технологии программирования

Страница 6

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

Процесс тестирования объединяет различные способы тестирования в спланированную последовательность шагов, которые приводят к успешному построению программной системы (ПС). Методика тестирования ПС может быть представлена в виде разворачивающейся спирали (рисунок 4). Чулок для канализационной трубы еще здесь.

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

Охарактеризуем каждый шаг процесса тестирования.

1. Тестирование элементов. Цель – индивидуальная проверка каждого модуля. Используются способы тестирования «белого ящика».

Рисунок 4.2.4. Спираль процесса тестирования ПС

2. Тестирование интеграции. Цель – тестирование сборки модулей в программную систему. В основном применяют способы тестирования «черного ящика».

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

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

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

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

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

,

где – текущая интенсивность программных отказов (количество отказов в единицу времени); – начальная интенсивность отказов (в начале тестирования); р – экспоненциальное уменьшение интенсивности отказов за счет обнаруживаемых и устраняемых ошибок; t – время тестирования.

С помощью уравнения (8.1) можно предсказать снижение ошибок в ходе тестирования, а также время, требующееся для достижения допустимо низкой интенсивности отказов. [12]

Отладка программного продукта

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

Итак, процессу отладки предшествует выполнение тестового варианта. Его результаты оцениваются, регистрируется несоответствие между ожидаемым и реальным результатами. Несоответствие является симптомом скрытой причины. Процесс отладки пытается сопоставить симптом с причиной, вследствие чего приводит к исправлению ошибки. Возможны два исхода процесса отладки:

Страницы: 1 2 3 4 5 6 7 8 9 10 11

Похожие статьи:

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

Расчёт производственных подразделений
Участок диагностики предназначен для определения технического состояния автомобиля, его агрегатов и механизмов без разборки. На данном участке производятся следующие виды работ: - диагностические - проверка и регулировка углов установки управляемых колёс - проверка и регулировка тормозов. Расчёт го ...

Статика регулятора и выбор его параметров
Уравнение динамики (38) регулятора в целом дает возможность сделать ряд важных выводов в части его статических свойств и особенностей как автономно рассматриваемого устройства. Формально, при выполнении условия p= 0, это уравнение порождает уравнение статического равновесия регулятора в виде Отсюда ...

Навигация

Copyright © 2019 - All Rights Reserved - www.localtransport.ru