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

Разработка инструментальных средств для проверки формальных моделей

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

Разработка инструментальных средств для проверки формальных моделей

Колчин, А.В.
Інші назви: Developing software tools for model checking
Тема: Інструментальні засоби і середовища програмування
УДК: 519.686.2
URI: http://dspace.nbuv.gov.ua/handle/123456789/1495
Посилання: Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 2008. — N 2-3. — С. 622-626. — Бібліогр.: 25 назв. — рус.
Дата: 2008
Переглядів: 881
Завантажень: 929
Разработка инструментальных средств для проверки формальных моделей

Анотація:

 
Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения.
 
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.
 

Показати повний запис статті

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

Icon
Name: №2-3_2008_Kolchin.pdf
Розмір: 154.1Кб
Формат: PDF
Перегляд/Відкрити

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

Пошук


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

Перегляд

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