Верификация программного обеспечения.-1

Голубева Александра Александровна

Верификация программного обеспечения: Методические указания к практическим работам и организации самостоятельной работы для студентов направления «Программная инженерия» (уровень магистратуры) / А.А. Голубева. – Томск, 2018. – 16 с.

© Томский государственный университет систем управления и радиоэлектроники,

2018

© Голубева А.А., 2018

2

3

1 Введение

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

Практические занятия направлены на изучение и закрепление на практике основных понятий, принципов и подходов верификации программного обеспечения.

Самостоятельная работа предполагает следующие виды деятельности: проработка лекционного материала для подготовки к практическим и самостоятельным работам, подготовка к контрольным работам, выполнение индивидуального задания.

4

2 Методические указания к проведению практических занятий

2.1 Практическое занятие «Составление технического задания»

Цель занятия

Целью проведения практического задания является приобретение практических навыков и теоретических знаний по разработке технического задания.

Рекомендации по подготовке к занятию

Во время подготовки к практическому заданию рекомендуется ознакомиться с лекционным материалом и просмотреть дополнительную учебно-методическую литературу:

1. ГОСТ 19.201-78 Техническое задание. Требования к содержанию и оформлению [Электронный ресурс]. URL: https://www.prj- exp.ru/gost/gost_19-201-78.php (дата обращения 10.07.2018)

Содержание занятия / Порядок проведения занятия

1.Выбрать предметную область (проект, продукт, решение) к которому будет разрабатываться техническое задание и проектная документация.

2.Определить основные функции и ограничения системы.

3.Разработать техническое задание к проекту.

4.Промоделировать процессы обсуждения, корректировки и утверждения технического задания с заказчиком.

5.Подготовить 2-3 минутный доклад, в котором отразить основные особенности процесса: чем пользовались, с чем столкнулись, основные сложности, как решили.

Варианты заданий

Во время проведения практического занятия каждый студент выбирает предметную область (задачу) в рамках которой он будет прорабатывать техническое задание к разрабатываемому проекту.

5

2.2 Практическое занятие «Составление проектной документации программного обеспечения»

Цель занятия

Целью проведения практического задания является приобретение практических навыков и теоретических знаний по проектной документации к проекту.

Рекомендации по подготовке к занятию

Во время подготовки к практическому заданию рекомендуется ознакомиться с лекционным материалом и просмотреть дополнительную учебно-методическую литературу:

1. Золотов, С. Ю. Проектирование информационных систем: Учебное пособие [Электронный ресурс] / Золотов С. Ю. — Томск: ТУСУР,

2016. — 117 с. — Режим доступа: https://edu.tusur.ru/publications/6478.

Содержание занятия / Порядок проведения занятия

1.Выбрать предметную область (проект, продукт, решение) к которому будет разрабатываться проектная документация.

2.Определить основные функции и ограничения системы.

3.Разработать проектную документацию к проекту.

4.Промоделировать процессы обсуждения, корректировки и утверждения т проектной документации с заказчиком.

5.Подготовить 2-3 минутный доклад, в котором отразить основные особенности процесса: чем пользовались, с чем столкнулись, основные сложности, как решили.

Варианты заданий

Во время проведения практического занятия каждый студент выбирает предметную область (задачу) в рамках которой он будет прорабатывать проектную документацию к разрабатываемому проекту.

6

2.3 Практическое занятие «Составление тест-кейсов»

Цель занятия

Целью проведения практического задания является приобретение практических навыков и расширение знаний по построению тест-кейсов системы.

Рекомендации по подготовке к занятию

Во время подготовки к практическому заданию рекомендуется ознакомиться с лекционным материалом и просмотреть дополнительную учебно-методическую литературу:

1. Верификация программного обеспечения [Электронный ресурс].

URL: http://window.edu.ru/resource/700/41700/files/verif_po.pdf (дата об-

ращения 10.07.2018)

Содержание занятия / Порядок проведения занятия

1.Выбрать предметную область (проект, продукт, решение) к которому будет разрабатываться техническое задание и проектная документация.

2.Выбрать 1-3 наиболее подходящие к проекту (продукту, решению) методы верификации программного обеспечения.

3.На основе отобранных методов верификации данных разработать тест-кейсы к системе.

4.Подготовить 2-3 минутный доклад, в котором отразить основные особенности процесса: чем пользовались, с чем столкнулись, основные сложности, как решили.

Варианты заданий

Во время проведения практического занятия каждый студент продолжает прорабатывать выбранную на практическом занятии «Составление технического задания и проектной документации программного обеспечения» предметную область.

7

2.4 Практическое занятие «Применение методов верификации данных»

Цель занятия

Целью проведения практического задания является приобретение практических навыков и расширение знаний по применению методов верификации к оценке качества программного продукта.

Рекомендации по подготовке к занятию

Во время подготовки к практическому заданию рекомендуется ознакомиться с лекционным материалом и просмотреть дополнительную учебно-методическую литературу:

1. Верификация программного обеспечения [Электронный ресурс].

URL: http://window.edu.ru/resource/700/41700/files/verif_po.pdf (дата обра-

щения 10.07.2018)

Содержание занятия / Порядок проведения занятия

1.Выбрать предметную область (проект, продукт, решение) к которому будет разрабатываться техническое задание и проектная документация.

2.Выбрать 1-3 наиболее подходящие к проекту (продукту, решению) методы верификации программного обеспечения.

3.Провести процесс верификации программного обеспечения по выбранным в п.3 методам.

4.Промоделировать процесс взаимодействия тестировщика и разработчика.

5.Подготовить 2-3 минутный доклад, в котором отразить основные особенности процесса: чем пользовались, с чем столкнулись, основные сложности, как решили.

Варианты заданий

Во время проведения практического занятия каждый студент продолжает прорабатывать выбранную на практическом занятии «Составление технического задания и проектной документации программного обеспечения» предметную область.

8

2.5 Практическое занятие «Оформление результатов тестирования»

Цель занятия

Целью проведения практического задания является приобретение практических навыков и расширение знаний по оформлению результатов тестирования; ставлению тест-кейсов.

Рекомендации по подготовке к занятию

Во время подготовки к практическому заданию рекомендуется ознакомиться с лекционным материалом и просмотреть дополнительную учебно-методическую литературу, например, Методы верификации программного обеспечения [Электронный ресурс].

URL: http://www.ict.edu.ru/ft/005645/62322e1-st09.pdf (дата обращения 10.07.2018)

Содержание занятия / Порядок проведения занятия

1.Выбрать инструмент фиксирования результатов применения методов верификации программного обеспечения.

2.Зафиксировать в нем результаты, полученные при выполнении практического занятия «Составление тест-кейсов. Применение методов верификации данных».

3.Промоделировать процесс взаимодействия с разработчиком по исправлению багов системы.

4.Подготовить 2-3 минутный доклад, в котором отразить основные особенности процесса: чем пользовались, с чем столкнулись, основные сложности, как решили.

9

Варианты заданий

Во время проведения практического занятия каждый студент продолжает прорабатывать выбранную на практическом занятии «Составление технического задания и проектной документации программного обеспечения» предметную область.

10