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


Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 1. Гипотеза о безопасности и безопасная конформность.

Авторы

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

Аннотация

Исследуются формальные методы тестирования конформности исследуемой системы спецификации. Семантика взаимодействия определяет тестовые возможности, сводимые к наблюдению действий и отказов (отсутствия действий). Семантика параметризуется семействами наблюдаемых и ненаблюдаемых отказов. Вводится разрушение – запрещённое действие, которого следует избегать при взаимодействии. Определяются понятие безопасного
тестирования, реализационная гипотеза о безопасности и безопасная конформность. Рассматриваются теоретические аспекты генерации тестов по спецификации в заданной семантике.

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

Ключевые слова

тестирование, конформность, семантика взаимодейст- вия, трассы, отказы, LTS.

Издание

Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №4, 2010, стр.124-133

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

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

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