Ukrainian
Summary:У монографії предметом обговорення є питання тестування та верифікації програмного забезпечення. Розглядаються різні підходи до тестування і верифікації програмного забезпечення
Reading audience:Монографія може використовуватися для вивчення курсів "Якість програмного забезпечення та тестування", "Конструювання програмного забезпечення", "Моделювання та аналіз програмного забезпечення", тим, що навчаються за напрямами "Програмна інженерія" та "Комп’ютерні науки". Вона буде корисною також для науковців, інженерно-технічних працівників, викладачів, аспірантів та студентів, що займаються промисловою розробкою програмного забезпечення складних систем обробки інформації
Russian
Summary:В монографии предметом обсуждения является вопрос тестирования и верификации программного обеспечения. Рассматриваются различные подходы к тестированию и верификации программного обеспечения
Reading audience:Монография может использоваться для изучения курсов "Качество программного обеспечения и тестирования", "Конструирование программного обеспечения", "Моделирование и анализ программного обеспечения", обучающихся по направлениям "Программная инженерия" и "Компьютерные науки". Она будет полезна также для научных, инженерно-технических работников, преподавателей, аспирантов и студентов, занимающихся промышленной разработкой программного обеспечения сложных систем обработки информации