Пополнение спецификации для ioco.

Авторы

Бурдонов И.Б., Косачев А.С.

Аннотация

Статья посвящена проблемам отношения ioco, определяющего соответствие (конформность) реализации спецификации. Рассматриваются проблемы нерефлексивности отношения ioco, наличие в спецификации неконформных (отсутствующих в любой конформной реализации) трасс, несохранение ioco при композиции (композиция реализаций, конформных своим спецификациям, может быть неконформна композиции этих спецификаций) и проблема «ложных» ошибок при тестировании в контексте. Для решения этих проблем в статье предлагается алгоритм пополнения спецификации, по отношению к которому ioco инвариантно (сохраняется класс конформных реализаций). На классе пополненных спецификаций указанные проблемы отсутствуют.

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

Издание

Программирование. № 1.

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

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

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

Все публикации