Метод генерации тестовых сценариев в среде инсерционного моделирования
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Метод генерации тестовых сценариев в среде инсерционного моделирования
|
|
| Creator |
Колчин, А.В.
Котляров, В.П. Дробинцев, П.Д. |
|
| Subject |
Технические приложения инсерционного моделирования
|
|
| 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. Описано метод пошуку специфічних поведінок формальних моделей, за яким використовується задавана користувачем додаткова інформація про поведінкові особливості проектованої системи та його застосування у автоматичній побудові тестових сценаріїв для програмних систем. |
|
| Date |
2015-06-14T19:16:23Z
2015-06-14T19:16:23Z 2012 |
|
| Type |
Article
|
|
| Identifier |
Метод генерации тестовых сценариев в среде инсерционного моделирования / А.В. Колчин, В.П. Котляров, П.Д. Дробинцев // Управляющие системы и машины. — 2012. — № 6. — С. 43-48, 63. — Бібліогр.: 30 назв. — рос.
0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83106 004.4'24 + 004.415.5 + 004.415.28 |
|
| Language |
ru
|
|
| Relation |
Управляющие системы и машины
|
|
| Publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
|
|