Основные определения — Тестирование программного средства

ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ

Хотя в тестировании можно выделить несколько различных процессов, такие термины, как «тестирование», «отладка», «до­казательство», «контроль» и «испытание», часто используются как синонимы и, к сожалению, для разных людей имеют разный смысл. Нашу классификацию различных форм тестирования мы начнем с того, что дадим эти определения, слегка их дополнив и расширив их список.

Тестирование (testing— процесс выполнения программы (или части программы) с намерением (или целью) найти ошибки.

Доказательство (proof— попытка найти ошибки в програм­ме безотносительно к внешней для программы среде. Большин­ство методов доказательства предполагает формулировку утверждений о поведении программы и затем вывод и доказательство математических теорем о правильности программы. Доказатель­ства могут рассматриваться как форма тестирования, хотя они и не предполагают прямого выполнения программы. Многие ис­следователи считают доказательство альтернативой тестирова­нию — взгляд во многом ошибочный.

Контроль (verification— попытка найти ошибки, выполняя программу в тестовой, или моделируемой, среде.

Испытание (validation— попытка найти ошибки, выполняя программу в заданной реальной среде.

Аттестация (certification— авторитетное подтверждение правильности программы. При тестировании с целью аттеста­ции выполняется сравнение с некоторым заранее определенным стандартом.

Отладка (debuggingне является разновидностью тестирова­ния. Хотя слова «отладка» и «тестирование» часто используются как синонимы, под ними подразумеваются разные виды деятель­ности. Тестирование — деятельность, направленная на обнару­жение ошибок; отладка направлена на установление точной при­роды известной ошибки, а затем — на исправление этой ошибки. Эти два вида деятельности связаны — результаты тестирования являются исходными данными для отладки.

Эти определения представляют один взгляд на тестирование — со стороны среды, на которую оно опирается. Другой ряд опреде­лений, приведенный ниже, охватывает вторую сторону тестиро­вания: типы ошибок, которые предполагается обнаружить, и стан­дарты, с которыми сопоставляются тестируемые программы.

Тестирование модуля, или автономное тестирование (module testingunit testing), — контроль отдельного программного моду­ля, обычно в изолированной среде (т. е. изолированно от всех остальных модулей). Тестирование модуля иногда включает так­же математическое доказательство.

Тестирование сопряжений (integration testing— контроль со­пряжений между частями системы (модулями, компонентами, под­системами).

Тестирование внешних функций (external function testing— контроль внешнего поведения системы, определенного внешни­ми спецификациями.

Комплексное тестирование (system testing— контроль и/или испытание системы по отношению к исходным целям. Комплексное тестирование является процессом контроля, если оно выпол­няется в моделируемой среде, и процессом испытания, если вы­полняется в среде реальной, жизненной.

Тестирование приемлемости (acceptance testing— проверка соответствия программы требованиям пользователя.

Тестирование настройки (installation testing) — проверка со­ответствия каждого конкретного варианта установки системы с целью выявить любые ошибки, возникшие в процессе настройки системы.

Популярные статьи

 

БАНКИ ДАННЫХ
ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ УПРАВЛЕНИЯ
ДОСТОИНСТВА И НЕДОСТАТКИ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ
ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ ОБРАБОТКИ ДАННЫХ
ВИДЫ ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ 
ОСНОВНЫЕ ПОНЯТИЯ ТЕОРИИ АЛГОРИТМОВ
ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ АВТОМАТИЗАЦИИ ОФИСА
КОМПЛЕКСНОЕ ТЕСТИРОВАНИЕ
КОМПОНЕНТЫ ИНФОРМАЦИОННОЙ ТЕХНОЛОГИИ АВТОМАТИЗАЦИИ ОФИСА
АВТОМАТИЗИРОВАННОЕ РАБОЧЕЕ МЕСТО СПЕЦИАЛИСТА
ЭТАПЫ РАЗВИТИЯ ИНФОРМАТИЗАЦИИ
ПОНЯТИЕ МУНИЦИПАЛЬНОЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ 
РЕЖИМЫ ОБРАБОТКИ ИНФОРМАЦИИ
ФУНКЦИИ АВТОМАТИЗИРОВАННОЙ ИНФОРМАЦИОННОЙ ТЕХНОЛОГИИ
МЕТОДЫ ОБЕСПЕЧЕНИЯ НАДЕЖНОСТИ ПРОГРАММНЫХ СРЕДСТВ
ПРАВИЛА ЗАЩИТЫ ОТ КОМПЬЮТЕРНЫХ ВИРУСОВ
ДОКУМЕНТАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ
ПРОТОКОЛЫ ТЕСТИРОВАНИЯ
ДЕСТРУКТИВНЫЕ ВОЗМОЖНОСТИ ВИРУСОВ
КЛАССИФИКАЦИЯ АВТОМАТИЗИРОВАННЫХ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
КОНЦЕПТУАЛЬНАЯ, ЛОГИЧЕСКАЯ И ФИЗИЧЕСКАЯ МОДЕЛИ
КОМПЬЮТЕРНЫЕ ТЕХНОЛОГИИ ПОДГОТОВКИ ТЕКСТОВЫХ ДОКУМЕНТОВ
ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ ЭКСПЕРТНЫХ СИСТЕМ
ДИАЛОГОВЫЙ РЕЖИМ АВТОМАТИЗИРОВАННОЙ ОБРАБОТКИ ИНФОРМАЦИИ
ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ КОМПЬЮТЕРНЫХ СЕТЕЙ