Зображення обкладинки

Метод генерации тестовых сценариев в среде инсерционного моделирования

Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению тестовых сценариев для программных систем. A method of the search of speci...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Управляющие системы и машины
Дата:	2012
Автори:	Колчин, А.В., Котляров, В.П., Дробинцев, П.Д.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
Теми:	Технические приложения инсерционного моделирования
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/83106
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Метод генерации тестовых сценариев в среде инсерционного моделирования / А.В. Колчин, В.П. Котляров, П.Д. Дробинцев // Управляющие системы и машины. — 2012. — № 6. — С. 43-48, 63. — Бібліогр.: 30 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Инсерционное моделирование сценариев ролевых игр
за авторством: Кожаев, В.В.
Опубліковано: (2012)

Организация базы знаний о переходах системы с атрибутами перечислимых типов
за авторством: Потиенко, С.В.
Опубліковано: (2012)

Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
за авторством: Колчин, А.В.
Опубліковано: (2008)

Инсерционное моделирование
за авторством: Летичевский, А.Ад.
Опубліковано: (2012)

Генерация тестовых сценариев на основе формальной модели
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)

Метод генерации тестовых данных по исходному коду Java программ
за авторством: Колчин, А.В., та інші
Опубліковано: (2016)

Метод автоматической генерации автотюнеров для параллельных программ
за авторством: Иваненко, П.А., та інші
Опубліковано: (2014)

Генерация символьных трасс в системе инсерционного моделирования
за авторством: Летичевский, А.А., та інші
Опубліковано: (2015)

Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
за авторством: Волков, В.А., та інші
Опубліковано: (2017)

Оценка эффективности системы пассивной безопасности локомотива при отработке тестовых сценариев столкновения
за авторством: Науменко, Н.Е., та інші
Опубліковано: (2012)

Оценка сценариев развития ядерной генерации Украины после 2030 года
за авторством: Власенко, Н.И., та інші
Опубліковано: (2014)

Декомпозиция тестовых магнитных и электропотенциальных изображений недипольной структуры в соответствии с мультипольным разложением
за авторством: Будник, Н.Н., та інші
Опубліковано: (2007)

Улучшенные распределения плотности псевдотоков, полученные из тестовых магнитных или электропотенциальных изображений дипольной структуры
за авторством: Будник, Н.Н., та інші
Опубліковано: (2007)

Каталог архитектурно-конструктивных деталей
за авторством: Кирилко, В.П.
Опубліковано: (2015)

Некоторые свойства палеопочв и вопросы датировки курганов на юге Украины
за авторством: Золотун, В.П.
Опубліковано: (1970)

Метод критических дисперсий как аналитический аппарат теории индуктивного моделирования
за авторством: Степашко, В.С.
Опубліковано: (2008)

Программа для численного моделирования системы извлечения ионного пучка в плазменном источнике ионов
за авторством: Пустовойтов, С.А., та інші
Опубліковано: (2008)

Оценка энергопотребления комбинационных КМОП-схем на основе логического моделирования с учетом временных задержек элементов
за авторством: Бибило, П.Н., та інші
Опубліковано: (2014)

Суперкомпьютерная технология моделирования жизненного цикла особо сложных технических объектов
за авторством: Слободян, Я.Е.
Опубліковано: (2009)

Многокритериальная оценка альтернативных вариантов интеграции источников распределенной генерации в распределительные сети
за авторством: Жаркин, А.Ф., та інші
Опубліковано: (2016)

Концептуальные основы интеллектуального моделирования
за авторством: Степашко, В.С.
Опубліковано: (2016)

Метод быстрого таймерного кодирования текстов
за авторством: Скуратовский, Р.В.
Опубліковано: (2013)

Краниологические материалы эпохи энеолита — ранней бронзы в Северо-Западном Причерноморье
за авторством: Зиневич, Г.П.
Опубліковано: (1970)

Анализ кремнёвых находок
за авторством: Чабай, B.П.
Опубліковано: (2015)

Интерференция при многомодовой генерации в активной поглощающей среде
за авторством: Куклин, В.М., та інші
Опубліковано: (2008)

Каталог изделий из стекла
за авторством: Тесленко, И.Б., та інші
Опубліковано: (2015)

Каталог изделий из металла и артефактов фаунистического происхождения
за авторством: Тесленко, И.Б., та інші
Опубліковано: (2015)

Оптимальное конструирование электромагнитов с коническими полюсами для генерации высокооднородного магнитного поля
за авторством: Гапьченко, В.Я., та інші
Опубліковано: (2010)

Обобщенное уравнение генерации спонтанной электромагнитной эмиссии во фрактальной среде
за авторством: Шуман, В.Н.
Опубліковано: (2013)

Метод организации параллельно-иерархической сети для распознавания образов
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2011)

Метод построения нечеткой регрессионной модели на основе LARS для выбора значимых признаков
за авторством: Ерохин, А.Л., та інші
Опубліковано: (2016)

Болградский курганный могильник
за авторством: Субботин, Л.В., та інші
Опубліковано: (1970)

Каталог изделий из керамики и камня
за авторством: Игнатенко, О.В., та інші
Опубліковано: (2015)

Особенности многокритериальной оценки альтернативных вариантов применения распределенной генерации в условиях неопределенности исходной информации
за авторством: Попов, В.А., та інші
Опубліковано: (2018)

Функциональное эквивалентирование электрических сетей при оценке влияния источников распределенной генерации на их режимы
за авторством: Жаркин, А.Ф., та інші
Опубліковано: (2013)

Курганы у села Огородное
за авторством: Субботин, Л.В., та інші
Опубліковано: (1970)

Метод доказательства инвариантности линейных неравенств для линейных циклов
за авторством: Львов, М.С.
Опубліковано: (2014)

Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием
за авторством: Львов, М.С., та інші
Опубліковано: (2012)

Разработка сценариев аналитической деятельности
за авторством: Додонов, А.Г., та інші
Опубліковано: (2010)

Метод обобщенных грамматических конструкций для автоматизированного перевода текстовой информации в жестовые аналоги
за авторством: Крак, Ю.В., та інші
Опубліковано: (2014)