Інфопакет

Коректність програм та логіки програмування

ДВС.2.07

Вибіркова дисципліна для ОП

Перший

2023/2024

8 Семестр

3

ПРН17.2. Знати та вміти застосовувати підходи щодо оцінки та забезпечення якості програмного забезпечення. ПРН19.2. Вибирати вихідні дані для проектування, керуючись формальними методами опису вимог та моделювання.

Дистанційне навчання

Знати: основні поняття, відомості з програмування, теорії програмування, дискретної математики, математичної логіки, тестування та верифікації. Вміти: описувати синтаксис та семантику, створювати програми з використанням функціонального та логічного підходу. Володіти елементарними навичками: програмування в сучасних мовах і середовищах.

Мета дисципліни – засвоєння базових знань з дисципліни «Коректність програм та логіки програмування», що передбачає розгляд основних формальних методів валідації програмних систем та верифікації, а саме: тестування, формальна верифікація, перевірка моделі. Підготовка професіоналів, здатних розв’язувати завдання, що пов’язані з практичним застосуванням методів верифікації та валідації програмних систем. Навчальна дисципліна "Коректність програм та логіки програмування" є складовою освітньо-професійної програми підготовки фахівців за першим (бакалаврським) рівнем вищої освіти галузі знань 12 "Інформаційні технології" зі спеціальності 122 "Комп’ютерні науки", освітньо-професійної програми "Інформатика". Дана дисципліна є навчальною дисципліною за вибором за програмою "Інформатика" за спеціалізацією "Теорія та технологія програмування". Викладається в 8 семестрі в обсязі 90 годин (3 кредити ECTS) зокрема: семінарські заняття – 30 год., самостійна робота – 60 год. У курсі передбачено 2 частини та 2 контрольні роботи. Завершується дисципліна заліком.

1. Авраменко В.С., Авраменко А.С., Косенюк Г.В. Тестування програмного забезпечення: навчальний посібник. – Черкаси: Черкаський національний університет ім. Б. Хмельницького. Видавець: Ю.А. Чабаненко, 2016. – 284 с. 2. Кривий С.Л. Вступ до методів створення програмних продуктів : [навч. посібник для студентів ВНЗ та аспірантів, які спеціалізуються за напрямом "Комп"ютерні науки" та "Інженерія програмного забезпечення"] / С.Л. Кривий ; Нац. ун-т "Києво-Могилян. акад.". – Київ : НаУКМА, 2018. – 449 с. 3. Омельчук Л.Л. Формальні методи специфікації програм — Київ: УкрІНТЕІ, 2010. — 78 с. 4. Зубенко В.В., Шкільняк С.С. Основи математичної логіка: навчальний посібник. К.: НУБіП України, 2020. 102 с. 5. Hoare C.A.R. Axiomatic Bases for Computer Programming // Magazine Communications of the ACM, Vol. 12. — New York, 1969. — Pages 576-580.

Семінарські заняття, самостійна робота, тест.

Семестрове оцінювання: 1. Контрольні роботи: РН 1.1., РН 1.2, РН 2.1, РН 2.2 — 40/24 балів. 2. Самостійна робота: РН 2.1, РН 2.2, РН 3.1, РН 4.1 –– 60/36 балів. Підсумкове оцінювання у формі заліку. Виставляється за результатами роботи студентами впродовж усього семестру та не передбачає додаткових заходів оцінювання для успішних студентів.

Українська