Разработка инструментальных средств для проверки формальных моделей
Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения....
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Назва видання: | №2-3 |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1495 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 2008. — N 2-3. — С. 622-626. — Бібліогр.: 25 назв. — рус. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-1495 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-14952008-08-01T16:06:49Z Разработка инструментальных средств для проверки формальных моделей Колчин, А.В. Інструментальні засоби і середовища програмування Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения. Software for automated checking of dynamic properties of formal models together with test scenarios generation developed. Guided search and optimizing solutions on behavior space traversal described. 2008 Article Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 2008. — N 2-3. — С. 622-626. — Бібліогр.: 25 назв. — рус. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1495 519.686.2 ru №2-3 С. 622-626 Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Інструментальні засоби і середовища програмування Інструментальні засоби і середовища програмування |
| spellingShingle |
Інструментальні засоби і середовища програмування Інструментальні засоби і середовища програмування Колчин, А.В. Разработка инструментальных средств для проверки формальных моделей №2-3 |
| description |
Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения
тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения. |
| format |
Article |
| author |
Колчин, А.В. |
| author_facet |
Колчин, А.В. |
| author_sort |
Колчин, А.В. |
| title |
Разработка инструментальных средств для проверки формальных моделей |
| title_short |
Разработка инструментальных средств для проверки формальных моделей |
| title_full |
Разработка инструментальных средств для проверки формальных моделей |
| title_fullStr |
Разработка инструментальных средств для проверки формальных моделей |
| title_full_unstemmed |
Разработка инструментальных средств для проверки формальных моделей |
| title_sort |
разработка инструментальных средств для проверки формальных моделей |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2008 |
| topic_facet |
Інструментальні засоби і середовища програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/1495 |
| citation_txt |
Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 2008. — N 2-3. — С. 622-626. — Бібліогр.: 25 назв. — рус. |
| series |
№2-3 |
| work_keys_str_mv |
AT kolčinav razrabotkainstrumentalʹnyhsredstvdlâproverkiformalʹnyhmodelej |
| first_indexed |
2023-03-24T08:22:02Z |
| last_indexed |
2023-03-24T08:22:02Z |
| _version_ |
1796138896788029440 |