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


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

Авторы

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

Аннотация

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

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

Издание

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

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

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

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