Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Управляющие системы и машины
Datum:	2012
Hauptverfasser:	Колчин, А.В., Котляров, В.П., Дробинцев, П.Д.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
Schlagworte:	Технические приложения инсерционного моделирования
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/83106
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Метод генерации тестовых сценариев в среде инсерционного моделирования / А.В. Колчин, В.П. Котляров, П.Д. Дробинцев // Управляющие системы и машины. — 2012. — № 6. — С. 43-48, 63. — Бібліогр.: 30 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Инсерционное моделирование сценариев ролевых игр
von: Кожаев, В.В.
Veröffentlicht: (2012)

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

Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
von: Колчин, А.В.
Veröffentlicht: (2008)

Инсерционное моделирование
von: Летичевский, А.Ад.
Veröffentlicht: (2012)

Генерация тестовых сценариев на основе формальной модели
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Метод генерации тестовых данных по исходному коду Java программ
von: Колчин, А.В., et al.
Veröffentlicht: (2016)

Метод автоматической генерации автотюнеров для параллельных программ
von: Иваненко, П.А., et al.
Veröffentlicht: (2014)

Генерация символьных трасс в системе инсерционного моделирования
von: Летичевский, А.А., et al.
Veröffentlicht: (2015)

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

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

Оценка сценариев развития ядерной генерации Украины после 2030 года
von: Власенко, Н.И., et al.
Veröffentlicht: (2014)

Декомпозиция тестовых магнитных и электропотенциальных изображений недипольной структуры в соответствии с мультипольным разложением
von: Будник, Н.Н., et al.
Veröffentlicht: (2007)

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

Каталог архитектурно-конструктивных деталей
von: Кирилко, В.П.
Veröffentlicht: (2015)

Некоторые свойства палеопочв и вопросы датировки курганов на юге Украины
von: Золотун, В.П.
Veröffentlicht: (1970)

Метод критических дисперсий как аналитический аппарат теории индуктивного моделирования
von: Степашко, В.С.
Veröffentlicht: (2008)

Программа для численного моделирования системы извлечения ионного пучка в плазменном источнике ионов
von: Пустовойтов, С.А., et al.
Veröffentlicht: (2008)

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

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

Многокритериальная оценка альтернативных вариантов интеграции источников распределенной генерации в распределительные сети
von: Жаркин, А.Ф., et al.
Veröffentlicht: (2016)

Концептуальные основы интеллектуального моделирования
von: Степашко, В.С.
Veröffentlicht: (2016)

Метод быстрого таймерного кодирования текстов
von: Скуратовский, Р.В.
Veröffentlicht: (2013)

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

Анализ кремнёвых находок
von: Чабай, B.П.
Veröffentlicht: (2015)

Интерференция при многомодовой генерации в активной поглощающей среде
von: Куклин, В.М., et al.
Veröffentlicht: (2008)

Каталог изделий из стекла
von: Тесленко, И.Б., et al.
Veröffentlicht: (2015)

Каталог изделий из металла и артефактов фаунистического происхождения
von: Тесленко, И.Б., et al.
Veröffentlicht: (2015)

Оптимальное конструирование электромагнитов с коническими полюсами для генерации высокооднородного магнитного поля
von: Гапьченко, В.Я., et al.
Veröffentlicht: (2010)

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

Метод организации параллельно-иерархической сети для распознавания образов
von: Тимченко, Л.И., et al.
Veröffentlicht: (2011)

Метод построения нечеткой регрессионной модели на основе LARS для выбора значимых признаков
von: Ерохин, А.Л., et al.
Veröffentlicht: (2016)

Особенности многокритериальной оценки альтернативных вариантов применения распределенной генерации в условиях неопределенности исходной информации
von: Попов, В.А., et al.
Veröffentlicht: (2018)

Функциональное эквивалентирование электрических сетей при оценке влияния источников распределенной генерации на их режимы
von: Жаркин, А.Ф., et al.
Veröffentlicht: (2013)

Болградский курганный могильник
von: Субботин, Л.В., et al.
Veröffentlicht: (1970)

Каталог изделий из керамики и камня
von: Игнатенко, О.В., et al.
Veröffentlicht: (2015)

Метод доказательства инвариантности линейных неравенств для линейных циклов
von: Львов, М.С.
Veröffentlicht: (2014)

Курганы у села Огородное
von: Субботин, Л.В., et al.
Veröffentlicht: (1970)

Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием
von: Львов, М.С., et al.
Veröffentlicht: (2012)

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

Разработка сценариев аналитической деятельности
von: Додонов, А.Г., et al.
Veröffentlicht: (2010)