Верификация программного обеспечения.-1
.pdfМинистерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего образования
«ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ СИСТЕМ УПРАВЛЕНИЯ И РАДИОЭЛЕКТРОНИКИ» (ТУСУР)
Кафедра автоматизации обработки информации (АОИ)
ВЕРИФИКАЦИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Методические указания к практическим работам и организации самостоятельной работы для студентов направления «Программная инженерия»
(уровень магистратуры)
2018
Голубева Александра Александровна
Верификация программного обеспечения: Методические указания к практическим работам и организации самостоятельной работы для студентов направления «Программная инженерия» (уровень магистратуры) / А.А. Голубева. – Томск, 2018. – 16 с.
© Томский государственный университет систем управления и радиоэлектроники,
2018
© Голубева А.А., 2018
2
|
Оглавление |
|
1 Введение ........................................................................................................ |
4 |
|
2 Методические указания к проведению практических занятий................ |
5 |
|
2.1 |
Практическое занятие «Составление технического задания и |
|
проектной документации программного обеспечения».................... |
5 |
|
2.2 |
Практическое занятие «Составление тест-кейсов. Применение |
|
методов верификации данных» ........................................................... |
7 |
|
2.3 |
Практическое занятие «Оформление результатов |
|
тестирования» ....................................................................................... |
8 |
|
3 Методические указания для организации самостоятельной работы ..... |
11 |
|
3.1 |
Общие положения......................................................................... |
11 |
3.2 |
Подготовка к контрольным работам ........................................... |
12 |
3.3 |
Подготовка к практическим занятиям ........................................ |
13 |
3.4 |
Проработка лекционного материала ........................................... |
13 |
3.5 |
Индивидуальное задание «Модели жизненного цикла |
|
программного обеспечения».............................................................. |
14 |
|
4 Основная и дополнительная литература ................................................... |
16 |
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