Ebook: Верификация программного обеспечения

Целью практических и самостоятельных работ в рамках изучения дисциплины «Верификация программного обеспечения» является формирование у студентов, обучающихся по направлению «Программная инженерия», навыков, позволяющих применять методы верификации программного обеспечения к различным типам проектов (задач). Практические занятия направлены на изучение и закрепление на практике основных понятий, принципов и подходов верификации программного обеспечения. Самостоятельная работа предполагает следующие виды деятельности: проработка лекционного материала для подготовки к практическим и самостоятельным работам, подготовка к контрольным работам, выполнение индивидуального задания. Методические указания к практическим работам и организации самостоятельной работы предназначены для студентов направления «Программная инженерия» (уровень магистратуры).