Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>ID=20090819001199<.>) |
Загальна кількість знайдених документів : 1
|
| Колчин О.В. Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / О.В. Колчин ; Ін-т кібернетики ім. В.М.Глушкова НАН України. — К., 2009. — 16 с. — укp.Створено алгоритми та методи для автоматичної верифікації формальних моделей великих промислових систем. Одержано метод оперативної побудови точних абстракцій станів формальної моделі для перевірки темпоральних властивостей. Головною відмінністю є те, що кожний абстрактний стан формується з підмножини атрибутів та їх реальних значень відповідного конкретного стану, якої достатньо для перевірки властивостей моделі. Абстрактні стани не відрізняють варіювання значень незначущих атрибутів, що дозволяє значно зменшити кількість станів, необхідних для перевірки властивостей моделі. Розвинуто методи спрямованого пошуку поведінки моделі. Як засоби спрямовування використано спеціальні регулярні вирази над алфавітом імен переходів моделі, тим самим задання цілей тестування вдосконалено. Метод дозволяє автоматизувати побудову тестових сценаріїв і аналіз поведінок формальних моделей. Завантажити Індекс рубрикатора НБУВ: З973-018.025 + Шифр НБУВ: РА364136
Рубрики:
|
|
|