Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=разработка модели систем<.>)
Общее количество найденных документов : 1
1.


    Пакулин, Н. В.
    Разработка формальных модулей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов [Текст] / Н. В. Пакулин, А. В. Хорошилов // Программирование. - 2007. - N 6. - С. 26-55. - Библиогр.: с. 55 (45 назв. )
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
тестирование систем -- телекоммуникационные протоколы -- системы с асинхронными интерфейсами -- разработка модели систем -- тестирование программ
Аннотация: Предлагается подход к преодолению разрыва между методами формального моделирования и методами тестирования, основанный на формализации поведения систем с асинхронными интерфейсами посредством контрактных спецификаций и использовании таких спецификаций для построения адаптивных тестов.


Доп.точки доступа:
Хорошилов, А. В.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 12.09.2024
Число запросов 29710
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)