Киричук, ЮрійСтахова, АнжелікаНазаренко, НаталіяЗаєць, Сергій2026-05-182026-05-182025Огляд методів, модулів тестування підсистем та програми загалом / Киричук Юрій, Стахова Анжеліка, Назаренко Наталія, Заєць Сергій // Міжнародний науково-технічний журнал «Вимірювальна та обчислювальна техніка в технологічних процесах». — 2025. — Вип. 2. — C. 180-186. — Бібліогр.: 8 назв.2219-9365https://ela.kpi.ua/handle/123456789/80887У цьому дослідженні вивчалися методи забезпечення якості програмного забезпечення, а також проблеми, з якими стикаються під час реалізації якості програмного забезпечення у прагненні покращити якість програмного забезпечення. Відомо, що розробка якісного програмного продукту -важлива потреба для індустрії програмного забезпечення. Визначено, що зосередження уваги на якості продукту дозволяє кінцевим користувачам програмного забезпечення більш легко та ефективно адаптувати продукт. Якість відіграє життєво важливу роль користувачів програмного забезпечення. Це підтвердження всіх вимог щодо задоволеності клієнтів. Отже, важливо визначити правильний процес розробки програмного забезпечення, що веде до якісного програмного продукту. В роботі, розглядаються основні поняття в області тестування програмного забезпечення, критерії вибору тестів, оцінка відтестованості проекту. Значна увага приділяється методам тестування програмного забезпечення, всі існуючі методи тестування діють у рамках формального процесу перевірки програмного забезпечення, що досліджується або розробляється. Такий процес формальної перевірки може довести, що дефекти відсутні з точки зору використовуваного методу. Тобто, немає ніякої можливості точно встановити або гарантувати відсутність дефектів у програмному продукті з урахуванням людського фактора, присутнього на всіх етапах життєвого циклу програмного забезпечення. Розглядаються питання автоматизації процесу тестування та питання зв’язку між процесомтестування і якістю програмного забезпечення. Таким чином, тестування є одним із способів розробки якісного програмного продукту і входить до набору ефективних засобів сучасної системи забезпечення якості програмного продукту.ukтестуванняякість програмного забезпеченняметоди оцінки якостіверифікація програмзасіб специфікації модулівestingsoftware qualitymethods of quality assessmentprogram verificationmodule specification toolОгляд методів, модулів тестування підсистем та програми загаломOverview of methods,modules testing of subsystems and programs in generalArticleС. 180-186https://doi.org/10.31891/2219-9365-2025-82-24004.415.530000-0001-8638-60600000-0001-5171-63300000-0001-6100-4193