Інфопакет

Валідація та верифікація програмних систем

ОК.14

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

Другий

2022/2023

2 Семестр

4

ПРH 1. Ідентифікувати проблемні ситуації, виконувати їх дослідження на основі системного підходу, здійснювати обґрунтований вибір методів та моделей для формування ефективних управлінських рішень, застосовувати моделі і методи прийняття рішень у прогнозуванні розвитку підприємства та в предметній області комп'ютерних наук. ПРH 6. Використовувати розподілені високопродуктивні обчислювальні технології для забезпечення ефективного вибору та використання консолідованих ресурсів і послуг.

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

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

Мета дисципліни – засвоєння техніки перевірки правильності програм шляхом побудови моделей програм з подальшим доведенням властивості побудованих моделей, що характеризують її правильність, а також техніки тестування програмних систем в основних його видах. Дисципліна є обов’язковою за програмою “Інформатика”. Викладається в обсязі 4 кредитів ECTS. зокрема: лекції – 26 год., лабораторні – 12 год., консультації – 2 год., самостійна робота – 80 год.У курсі передбачено 2 частини та 2 контрольні роботи. Завершується дисципліна – іспитом.

1. Електронний ресурс https://training.qatestlab.com/blog/technical-articles/verification-validation-testing/ 2022 р. 2. Електронний ресурс https://qalight.ua/baza-znaniy/verifikatsiya-ta-validatsiya/ .2022 р. 3. Л.П. Бабенко, К.М. Лавріщева. Основи програмної інженерії. К.:”Знання”, 2001. – 269 с. 4. Project Management Body of Knowledge (PMBOK Guide)-2008". IEEE P1490/D1, May 2011 (4th ed.). IEEE: 452. June 2011. doi:10.1109/IEEESTD.2011.5937011 (inactive 31 July 2022). Retrieved 28 March 2017. 5. N. Przigoda, R. Wille, J. Przigoda, R. Drechsler, Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Springer. 2018. 257 р. 6. Ian Sommerville, SOFTWARE ENGINEERING. 9-th Edition, 2016. 624 p.

Лекції, лабораторні заняття, самостійна робота.

Семестрове оцінювання: 1. Контрольна робота: 1 (тест): РН 1.1., РН 1.2 – 9 балів/4,5 балів; 2 (тест): РН1.3 – 9 балів/4,5 балів. 2. Захист лабораторної роботи 1-6 (проект): РН 1.2, РН 1.3, РН 2.1, РН 2.2, РН 2,3, РН 2.4 – 7 балів/3,5 балів. Підсумкове оцінювання (у формі іспиту): - максимальна кількість балів які можуть бути отримані студентом: 40 балів; - результати навчання які будуть оцінюватись: PH1.1, PH1.2, PH1.3, PH2.1, PH2.2, PH2.3, PH2.4; - форма проведення: письмова робота.

Українська