Новини

11 квітня 2025 року, на базі львівської компанії-розробника та стейкхолдера коледжу «Тему» відбулося надзвичайно цікаве та корисне відкрите практичне заняття для студентів групи ІПЗ(н)-12, організоване викладачем коледжу Михайлом Скубієм на тему: «Методи доведення, верифікації і тестування програм». Він не лише підготував теоретичну основу для розуміння студентами складних концепцій доведення, верифікації та тестування програмного забезпечення, але й активно моделював дискусію під час практичної частини. Михайло Скубій вміло координував взаємодію між студентами та запрошеним експертом, ставлячи навідні запитання та заохочуючи студентів до активної участі. Його багаторічний досвід викладання дозволив створити сприятливу атмосферу для навчання та обміну знаннями.

Особливим гостем та спікером виступив Ігор Хрипак, фахівець рівня Lead Developer з відомої IT-компанії ТОВ «Еджайл Девелопмент». Його безпосередня участь додала заняттю практичної цінності та актуальності. Ігор поділився з майбутніми програмістами своїм багатим досвідом у сфері розробки, детально розповів про різні підходи до доведення коректності програмного коду, ефективні методи верифікації та сучасні техніки тестування.

Студенти дізналися про:

• Формальні методи доведення: як математично обґрунтувати правильність роботи алгоритмів та програм.

• Статичний та динамічний аналіз коду: інструменти та підходи для виявлення потенційних помилок без та під час виконання програми.

• Різні види тестування: від модульного до інтеграційного та системного тестування, їх цілі та особливості.

• Практичні кейси з реальних проєктів: Ігор Хрипак на конкретних прикладах продемонстрував застосування різних методів верифікації та тестування в робочому процесі.

• Сучасні інструменти для тестування: огляд популярних фреймворків та платформ, які використовуються в індустрії.

Заняття пройшло в інтерактивній атмосфері. Студенти мали можливість ставити питання, обговорювати складні моменти та отримувати кваліфіковані відповіді як від Ігоря Хрипака, так і від Михайла Скубія, який доповнював практичні аспекти теоретичними знаннями.

Циклова комісія Інформатики та інженерії програмного забезпечення висловлює щиру подяку компанії «Тему» за надану можливість провести заняття на їхній базі, а також Ігорю Хрипаку за цінний час та експертні знання, якими він поділився зі студентами.

Такі зустрічі з представниками IT-індустрії у поєднанні з якісною теоретичною підготовкою є запорукою успішного майбутнього наших випускників.