Наукова електронна бібліотека
періодичних видань НАН України

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

Репозиторій DSpace/Manakin

Показати простий запис статті

dc.contributor.author Колчин, А.В.
dc.contributor.author Котляров, В.П.
dc.contributor.author Дробинцев, П.Д.
dc.date.accessioned 2015-06-14T19:16:23Z
dc.date.available 2015-06-14T19:16:23Z
dc.date.issued 2012
dc.identifier.citation Метод генерации тестовых сценариев в среде инсерционного моделирования / А.В. Колчин, В.П. Котляров, П.Д. Дробинцев // Управляющие системы и машины. — 2012. — № 6. — С. 43-48, 63. — Бібліогр.: 30 назв. — рос. uk_UA
dc.identifier.issn 0130-5395
dc.identifier.uri http://dspace.nbuv.gov.ua/handle/123456789/83106
dc.description.abstract Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению тестовых сценариев для программных систем. uk_UA
dc.description.abstract 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. uk_UA
dc.description.abstract Описано метод пошуку специфічних поведінок формальних моделей, за яким використовується задавана користувачем додаткова інформація про поведінкові особливості проектованої системи та його застосування у автоматичній побудові тестових сценаріїв для програмних систем. uk_UA
dc.description.sponsorship Данная разработка поддержана грантом РФФИ 11-07-90412-Укр_ф_а (Россия), научно-исследовательской работой № Ф40\51-2011 (Украина) и ДФФД по проекту Ф40.1/004. uk_UA
dc.language.iso ru uk_UA
dc.publisher Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України uk_UA
dc.relation.ispartof Управляющие системы и машины
dc.subject Технические приложения инсерционного моделирования uk_UA
dc.title Метод генерации тестовых сценариев в среде инсерционного моделирования uk_UA
dc.title.alternative A Method of the Test Scenario Generation in the Insertion Modelling Environment uk_UA
dc.title.alternative Метод генерації тестових сценаріїв у середовищі інсерційного моделювання uk_UA
dc.type Article uk_UA
dc.status published earlier uk_UA
dc.identifier.udc 004.4'24 + 004.415.5 + 004.415.28


Файли у цій статті

Ця стаття з'являється у наступних колекціях

Показати простий запис статті

Пошук


Розширений пошук

Перегляд

Мій обліковий запис