Институт системного программирования им. В.П. Иванникова РАН


Формализация тестового эксперимента.

Авторы

И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин.

Аннотация

Статья посвящена формальным методам тестирования соответствия (конформности) исследуемой системы заданным требованиям (спецификации). Операционная семантика взаимодействия задаётся с помощью специальной машины тестирования, формально определяющей те или иные тестовые возможности. Выделяется набор теоретически достаточно мощных и практически значимых возможностей, сводимый к наблюдению внешних действий и отказов (отсутствие внешних действий). Нововведениями являются: 1) Параметризация семантики семействами наблюдаемых и ненаблюдаемых отказов, что позволяет учитывать те или иные ограничения на (правильное) взаимодействие. 2) Разрушение как запрещённое действие, которое возможно, но не должно выполняться при правильном взаимодействии. 3) Моделирование дивергенции Δ-действием, которого тоже следует избегать в правильном взаимодействии. Предлагаются основанные на такой семантике понятие безопасного тестирования, реализационная гипотеза о безопасности и отношение безопасной конформности, отвечающее принципу независимости наблюдений: поведение реализации правильно или неправильно независимо от других её поведений. Для более узкого класса взаимодействий могут также использоваться версия семантики, основанная на трассах готовности, и соответствующее отношение конформности. Формулируется ряд утверждений о связи отношений конформности в различных семантиках. Определяются преобразование пополнения, решающее проблему рефлексивности отношения, и монотонное преобразование, решающее проблему монотонности (сохранение конформности при композиции).

Полный текст статьи в формате pdf

Издание

Программирование, №5, 2007, стр. 3-32.

Научная группа

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

Все публикации за 2007 год Все публикации