Летичевський О. О. Символьні методи в тестуванні та верифікації високонадійних програмних систем

English version

Дисертація на здобуття ступеня доктора наук

Державний реєстраційний номер

0516U000216

Облікова картка дисертації

0516U000216.pdf

Здобувач

Спеціальність

  • 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем

11-03-2016

Спеціалізована вчена рада

Д 26.194.02

Інститут кібернетики імені В.М. Глушкова Національної академії наук України

Анотація

Визначено повну технологічну схему процесу розробки високонадійних систем,що інтегрований з процесом верифікації та тестування.Зроблено огляд символьних методів в процесі розробки програмних систем. Створено мову Live UCM. Розширено теорію предикатних перетворювачів для формул з універсальним квантором. Створено методи верифікації та модельного тестування для Live UCM специфікацій.Створено символьні методи перетворень моделей. Розглянуто приклади використання технології та реалізовані системи.

Читати повністю

Файли

aref.doc

dis.doc

Схожі дисертації

0421U104038

Петренко Максим Віталійович

Методи інтеграції гетерогенних бібліографічних даних

0421U104040

Артабаєв Юрій Зуберович

Методика підвищення точності комплексованих навігаційних систем на основі прогнозуючих моделей з використанням генетичних алгоритмів.

0421U103593

Зубко Роман Анатолійович

Удосконалення методів підвищення часової ефективності фрактального стиснення зображень

0421U103401

Чистякова Інна Сергіївна

Метод відображення між дескриптивною логікою та реляційною моделлю даних.

0421U103320

Бєлозьорова Яна Андріївна

Метод застосування вейвлет аналізу в задачах ідентифікації мовної інформації