Ректору НУХТ
проф. Шевченку О.Ю.
аспіранта кафедри
Автоматизації та комп'ютерних технологій систем управління
першого року навчання
Бойка О.О.
Звіт
про виконану роботу згідно з індивідуальним планом за перше півріччя першого року навчання аспіранта кафедри автоматизації та комп'ютерних технологій систем управління
Бойка Олександра Олеговича
Спеціальність: 151 Автоматизація та комп’ютерно-інтегровані технології
Тема дисертації: «Розробка та дослідження методів тестування на основі формальних специфікацій у процесах розробки програмних комплексів»
Науковий керівник: д.ф.м.н., доцент Андріюк Олена Петрівна
Відповідно до індивідуального плану роботи аспіранта за перший рік підготовки було виконано наступне:
Опановано та захищено теоретичні курси дисциплін, відповідно до освітньої складової навчально-наукової програми.
2. Виконано перший етап аналітичного огляду джерел науково-технічної інформації і проаналізовано літературні джерела, присвячені окремим питанням розробки програмних комплексів.
3. Проведено аналіз проблем підвищення якості програмного забезпечення та якості процесів розробки програмного забезпечення, який показав, що необхідна загальна концепція, на базі якої будуть вирішуватися як окремі технічні завдання, так і загальні питання організації розробки програмного забезпечення.
4. Здійснено аналітичний огляд методів тестування на основі формальних специфікацій під час розробки програмних комплексів.
5. Пройдено педагогічну практику.
6. На основі визначених теоретичних і експериментальних даних підготовлено:
- Матеріали на тему «Вплив формалізованих та формальних методів розробки на етапи життєвого циклу розвитку ПЗ» та представлено на 79 науковій конференції професорсько-викладацького складу, аспірантів, студентів та працівників відокремлених структурних підрозділів НТУ.
- Матеріали на тему «Переваги використання формальних методів та специфікацій в процесі тестування» та представлено на IX Міжнародній науково-технічній Internet-конференція «Сучасні методи, інформаційне, програмне та технічне забезпечення систем керування організаційно-технічними та технологічними комплексами».
- Матеріали на тему «Специфікація та проблематика тестування компіляторів, задіяних в тестуванні на основі формальних специфікацій» та представлено на V Міжнародній науково-практичній конференції НУХТ.
Висновок: відповідно до індивідуального плану наукової роботи, обсяг навчально-наукової, теоретичної і аналітичної роботи, запланованої на 2022-2023 н.р. - виконано повністю.
Аспірант ______________ О.О. Бойко
Науковий керівник ______________ О.П. Андріюк
Протокол № від «__» ___________ 2023 р.
Завідувач кафедри ______________ Я.В. Смітюх