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

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

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

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Управляющие системы и машины
Дата:2012
Автори: Колчин, А.В., Котляров, В.П., Дробинцев, П.Д.
Формат: Стаття
Мова:Russian
Опубліковано: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 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
id nasplib_isofts_kiev_ua-123456789-83106
record_format dspace
spelling Колчин, А.В.
Котляров, В.П.
Дробинцев, П.Д.
2015-06-14T19:16:23Z
2015-06-14T19:16:23Z
2012
Метод генерации тестовых сценариев в среде инсерционного моделирования / А.В. Колчин, В.П. Котляров, П.Д. Дробинцев // Управляющие системы и машины. — 2012. — № 6. — С. 43-48, 63. — Бібліогр.: 30 назв. — рос.
0130-5395
https://nasplib.isofts.kiev.ua/handle/123456789/83106
004.4'24 + 004.415.5 + 004.415.28
Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению тестовых сценариев для программных систем.
A method of the search of specific behaviours of the formal models which uses an additional information about peculiarities of the progected system and its application to the automatic construction of test scenarious for program systems is desceibed.
Описано метод пошуку специфічних поведінок формальних моделей, за яким використовується задавана користувачем додаткова інформація про поведінкові особливості проектованої системи та його застосування у автоматичній побудові тестових сценаріїв для програмних систем.
Данная разработка поддержана грантом РФФИ 11-07-90412-Укр_ф_а (Россия), научно-исследовательской работой № Ф40\51-2011 (Украина) и ДФФД по проекту Ф40.1/004.
ru
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
Управляющие системы и машины
Технические приложения инсерционного моделирования
Метод генерации тестовых сценариев в среде инсерционного моделирования
A Method of the Test Scenario Generation in the Insertion Modelling Environment
Метод генерації тестових сценаріїв у середовищі інсерційного моделювання
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Метод генерации тестовых сценариев в среде инсерционного моделирования
spellingShingle Метод генерации тестовых сценариев в среде инсерционного моделирования
Колчин, А.В.
Котляров, В.П.
Дробинцев, П.Д.
Технические приложения инсерционного моделирования
title_short Метод генерации тестовых сценариев в среде инсерционного моделирования
title_full Метод генерации тестовых сценариев в среде инсерционного моделирования
title_fullStr Метод генерации тестовых сценариев в среде инсерционного моделирования
title_full_unstemmed Метод генерации тестовых сценариев в среде инсерционного моделирования
title_sort метод генерации тестовых сценариев в среде инсерционного моделирования
author Колчин, А.В.
Котляров, В.П.
Дробинцев, П.Д.
author_facet Колчин, А.В.
Котляров, В.П.
Дробинцев, П.Д.
topic Технические приложения инсерционного моделирования
topic_facet Технические приложения инсерционного моделирования
publishDate 2012
language Russian
container_title Управляющие системы и машины
publisher Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
format Article
title_alt A Method of the Test Scenario Generation in the Insertion Modelling Environment
Метод генерації тестових сценаріїв у середовищі інсерційного моделювання
description Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению тестовых сценариев для программных систем. A method of the search of specific behaviours of the formal models which uses an additional information about peculiarities of the progected system and its application to the automatic construction of test scenarious for program systems is desceibed. Описано метод пошуку специфічних поведінок формальних моделей, за яким використовується задавана користувачем додаткова інформація про поведінкові особливості проектованої системи та його застосування у автоматичній побудові тестових сценаріїв для програмних систем.
issn 0130-5395
url https://nasplib.isofts.kiev.ua/handle/123456789/83106
citation_txt Метод генерации тестовых сценариев в среде инсерционного моделирования / А.В. Колчин, В.П. Котляров, П.Д. Дробинцев // Управляющие системы и машины. — 2012. — № 6. — С. 43-48, 63. — Бібліогр.: 30 назв. — рос.
work_keys_str_mv AT kolčinav metodgeneraciitestovyhscenarievvsredeinsercionnogomodelirovaniâ
AT kotlârovvp metodgeneraciitestovyhscenarievvsredeinsercionnogomodelirovaniâ
AT drobincevpd metodgeneraciitestovyhscenarievvsredeinsercionnogomodelirovaniâ
AT kolčinav amethodofthetestscenariogenerationintheinsertionmodellingenvironment
AT kotlârovvp amethodofthetestscenariogenerationintheinsertionmodellingenvironment
AT drobincevpd amethodofthetestscenariogenerationintheinsertionmodellingenvironment
AT kolčinav metodgeneracíítestovihscenaríívuseredoviŝíínsercíinogomodelûvannâ
AT kotlârovvp metodgeneracíítestovihscenaríívuseredoviŝíínsercíinogomodelûvannâ
AT drobincevpd metodgeneracíítestovihscenaríívuseredoviŝíínsercíinogomodelûvannâ
first_indexed 2025-12-07T20:43:29Z
last_indexed 2025-12-07T20:43:29Z
_version_ 1850883659877318656

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