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


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

Авторы

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

Аннотация

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

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

Издание

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

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

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

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