Метод генерации тестовых сценариев в среде инсерционного моделирования
Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению тестовых сценариев для программных систем. 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| _version_ | 1862746123339300864 |
|---|---|
| author | Колчин, А.В. Котляров, В.П. Дробинцев, П.Д. |
| author_facet | Колчин, А.В. Котляров, В.П. Дробинцев, П.Д. |
| citation_txt | Метод генерации тестовых сценариев в среде инсерционного моделирования / А.В. Колчин, В.П. Котляров, П.Д. Дробинцев // Управляющие системы и машины. — 2012. — № 6. — С. 43-48, 63. — Бібліогр.: 30 назв. — рос. |
| collection | DSpace DC |
| container_title | Управляющие системы и машины |
| 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.
Описано метод пошуку специфічних поведінок формальних моделей, за яким використовується задавана користувачем додаткова інформація про поведінкові особливості проектованої системи та його застосування у автоматичній побудові тестових сценаріїв для програмних систем.
|
| first_indexed | 2025-12-07T20:43:29Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-83106 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0130-5395 |
| language | Russian |
| last_indexed | 2025-12-07T20:43:29Z |
| publishDate | 2012 |
| publisher | Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| 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 |
| spellingShingle | Метод генерации тестовых сценариев в среде инсерционного моделирования Колчин, А.В. Котляров, В.П. Дробинцев, П.Д. Технические приложения инсерционного моделирования |
| title | Метод генерации тестовых сценариев в среде инсерционного моделирования |
| title_alt | A Method of the Test Scenario Generation in the Insertion Modelling Environment Метод генерації тестових сценаріїв у середовищі інсерційного моделювання |
| title_full | Метод генерации тестовых сценариев в среде инсерционного моделирования |
| title_fullStr | Метод генерации тестовых сценариев в среде инсерционного моделирования |
| title_full_unstemmed | Метод генерации тестовых сценариев в среде инсерционного моделирования |
| title_short | Метод генерации тестовых сценариев в среде инсерционного моделирования |
| title_sort | метод генерации тестовых сценариев в среде инсерционного моделирования |
| topic | Технические приложения инсерционного моделирования |
| topic_facet | Технические приложения инсерционного моделирования |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/83106 |
| 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â |