Знайдено документів: 1
Інформація × Реєстраційний номер 0516U000216, Докторська дисертація На здобуття д.ф.-м.н. Дата захисту 11-03-2016 Статус Запланована Назва роботи Символьні методи в тестуванні та верифікації високонадійних програмних систем Здобувач Летичевський Олександр Олександрович, Керівник Сергієнко Іван Васильович Опонент Дорошенко Анатолій Юхимович Опонент Кліменко Віталій Петрович Опонент Львов Михайло Сергійович Опис Визначено повну технологічну схему процесу розробки високонадійних систем,що інтегрований з процесом верифікації та тестування.Зроблено огляд символьних методів в процесі розробки програмних систем. Створено мову Live UCM. Розширено теорію предикатних перетворювачів для формул з універсальним квантором. Створено методи верифікації та модельного тестування для Live UCM специфікацій.Створено символьні методи перетворень моделей. Розглянуто приклади використання технології та реалізовані системи. Дата реєстрації 2016-03-11 Додано в НРАТ 2020-04-03 Закрити
Дисертація докторська
Символьні методи в тестуванні та верифікації високонадійних програмних систем
1
Летичевський Олександр Олександрович. Символьні методи в тестуванні та верифікації високонадійних програмних систем : д.ф.-м.н. : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : дата захисту 2016-03-11; Статус: Захищена; Інститут кібернетики ім.В.М.Глушкова НАН України. – , 0516U000216.
Знайдено документів: 1

Оновлено: 2026-03-22


Роздрукувати цю сторінку