Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Об одном классе базовых протоколов
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Об одном классе базовых протоколов
Інші назви:
On the One Class of Basic Protocols
Тема:
Методи і засоби програмної інженерії
УДК:
623
518.3
517.5
518.3
517.5
Посилання:
Об одном классе базовых протоколов / А.А.Летичевский // Проблеми програмування. — 2005. — N 4. — С. 3-19. — Бібліогр.: 7 назв. — рос.
Дата:
2005
Переглядів:
1207
Завантажень:
741
Анотація:
Рассматривается проблема представления требований к поведению интерактивной системы в виде формальных спецификаций, а также ее верификация и генерация трасс, используемых для создания тестовых наборов. Исследуется специальный класс спецификаций, представленный в виде базовых протоколов, в котором рассматриваются возможные виды противоречивости и неполноты. С помощью символьного моделирования требований, производится порождение символьных трасс, используемых для тестирования создаваемой системы по различными критериями.
