Search academic texts

Information × Registration Number 0409U002823, Candidate dissertation Status к.ф.-м.н. Date 12-06-2009 popup.evolution o Title Development a toolkit for checking of asynchronous models Author Kolchin Alexander Valentinovich, popup.head Letichevsky Alexander Adolfovich popup.opponent Дорошенко Анатолій Юхимович popup.opponent Гороховський Семен Самуїлович Description Дисертація присвячена створенню алгоритмів та методів для підвищення ефективності верифікації формальних моделей. Розроблено метод оперативної побудови точних абстракцій станів формальної моделі для перевірки темпоральних властивостей. Головною відмінністю є те, що кожний абстрактний стан формується із підмножини атрибутів та їх реальних значень відповідного конкретного стану, якої достатньо для перевірки властивостей моделі. Абстрактні стани не відрізняють варіювання значень незначущих атрибутів, що дає можливість значно зменшити кількість станів, необхідних для перевірки властивостей моделі. Отримано подальший розвиток методів спрямованого пошуку поведінки моделі. Вперше як засоби спрямування використовуються спеціальні регулярні вирази над алфавітом імен переходів моделі, тим самим задання цілей тестування удосконалено. Метод дає можливість автоматизувати побудову тестових сценаріїв та аналіз поведінок формальних моделей. Registration Date 2009-06-12 popup.nrat_date 2020-04-04 Close