РОССИЙСКАЯ ФЕДЕРАЦИЯ

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ

Федеральное государственное образовательное учреждение

высшего профессионального образования

ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

«УТВЕРЖДАЮ»:

Первый проректор по учебной работе

/Волосникова Л.М./

«_» _ 2013 г.

ВЕРИФИКАЦИЯ И ИСПЫТАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Учебно-методический комплекс. Рабочая программа для студентов специальности 230201.65 – Информационные системы и технологии очной формы обучения «ПОДГОТОВЛЕНО К ИЗДАНИЮ»:

Автор(ы) работы _ /Григорьев М.В./ «15» мая 2013 г.

Рассмотрено на заседании кафедры информационных систем (протокол № 11 от 29.05.13 г.) Соответствует требованиям к содержанию, структуре и оформлению.

«РЕКОМЕНДОВАНО К ЭЛЕКТРОННОМУ ИЗДАНИЮ»:

Объем 17 стр.

Зав. кафедрой _ /Моор П.К./ «29» мая 2013 г.

Рассмотрено на заседании УМК Института математики и компьютерных наук (протокол № _ от «_» 2013 г.) Соответствует ГОС ВПО и учебному плану образовательной программы.

«СОГЛАСОВАНО»:

Председатель УМК /Гаврилова Н.М./ «_» _ 2013 г.

«СОГЛАСОВАНО»:

И.о. директора ИБЦ /Ульянова Е.А./ «_» _ 2013 г.

«СОГЛАСОВАНО»:

Зав. методическим отделом УМУ _ /Фарафонова И.Ю./ «_» _ 2013 г.

РОССИЙСКАЯ ФЕДЕРАЦИЯ

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ

Федеральное государственное образовательное учреждение высшего профессионального образования

ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

Институт математики и компьютерных наук Кафедра информационных систем Григорьев М.В.

ВЕРИФИКАЦИЯ И ИСПЫТАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Учебно-методический комплекс. Рабочая программа для студентов специальности 230201.65 – Информационные системы и технологии очной формы обучения Тюменский государственный университет Григорьев М.В. Верификация и испытания программного обеспечения.

Учебно-методический комплекс. Рабочая программа для студентов специальности 230201.65 – Информационные системы и технологии очной формы обучения. Тюмень, 2013, 17 стр.

Рабочая программа составлена в соответствии с требованиями ГОС ВПО с учетом рекомендаций и ПрООП ВПО по направлению и профилю подготовки.

Рабочая программа дисциплины (модуля) опубликована на сайте ТюмГУ: Методологии программной инженерии [электронный ресурс] / Режим доступа: http://www.umk.utmn.ru., свободный.

Рекомендовано к изданию кафедрой информационных систем.

Утверждено проректором по учебной работе Тюменского государственного университета.

ОТВЕТСТВЕННЫЙ РЕДАКТОР: заведующий кафедрой информационных систем, к.ф.-м.н., доцент П. К. Моор.

© Тюменский государственный университет, 2013.

© Григорьев М.В., 2013.

1. ПОЯСНИТЕЛЬНАЯ ЗАПИСКА

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

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

Задачи дисциплины:

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

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

методики тестирования промышленных программных систем;

процессы верификации проектной документации, а также процессов формальной инспекции кода и документации;

виды документов, сопровождающих процесс верификации, и процессы разработки, в которых эти документы участвуют, уметь:

построить тестовое окружение;

планировать систему тестов, анализа и обнаружения дефектов программного кода тестируемой системы, интеграционного и системного тестирования;

выделить общие аспекты тестирования пользовательских интерфейсов, иметь представление:

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

о методах разработки устойчивого программного обеспечения, позволяющих уменьшить продолжительность фазы тестирования без снижения его качества, иметь навыки:

работы с соответствующими инструментальными средствами;

2. ОБЪЕМ ДИСЦИПЛИНЫ И ВИДЫ УЧЕБНОЙ РАБОТЫ

Вид занятий Самостоятельная

3. ТЕМАТИЧЕСКИЙ ПЛАН ИЗУЧЕНИЯ ДИСЦИПЛИНЫ

программного обеспечения Документация, сопровождающая

4. СОДЕРЖАНИЕ РАЗДЕЛОВ ДИСЦИПЛИНЫ

Тема 1. Место верификации среди процессов разработки программного обеспечения Тема посвящена рассмотрению различных видов жизненного цикла разработки программного обеспечения и современных технологий разработки. Показано место процесса верификации в жизненном цикле, определена его цель и задачи. Рассматриваются различные типы процессов верификации, определяется разница между тестированием, верификацией и валидацией.

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

Тема 2. Обзор общих подходов к тестированию Тема посвящена процессу тестирования программного кода.

Определяются его задачи и цели, перечисляются основные методы и подходы к тестированию программного кода. Вводится понятие тестового окружения, рассматриваются его компоненты и различные виды окружения.

Цель темы: дать представление о процессе тестирования программного кода, его видах. Определить методы построения тестового окружения, необходимого для выполнения тестирования.

Тема 3. Тестирование программного кода Тема посвящена разработке тестовых примеров: определяются методы из создания, проводится классификация типов тестовых примеров, рассматривается тестирование робастности, определяются понятия классов эквивалентности, рассматриваются примеры тестирования компараторов.

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

Тема 4. Методы оценки результатов выполнения тестов В теме рассмотрены вопросы объединения тестовых примеров в тестпланы; определяются методы оценки результатов выполнения тестов.

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

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

Тема 5. Тестовое окружение Тема посвящена тестовому окружению. Рассматриваются вопросы проектирования тестового окружения, вводятся понятия тестовых классов и тестовых проектов.

Тема 6. Обеспечение повторяемости тестирования в промышленном окружении Тема посвящена вопросам обеспечения повторяемости тестирования в промышленном окружении. Определяются задачи и цели обеспечения повторяемости, рассматриваются процессы настройки тестового окружения, оптимизации последовательности выполнения тестовых примеров. Определяются проблемы, возникающие при наличии зависимостей между тестовыми примерами.

Цель темы: дать представление о подготовке тестов в промышленных средах.

Тема 7. Модульное тестирование Тема посвящена модульному тестированию, его задачам и целям.

Вводится понятие модуля и его границ. Рассматривается тестирование классов, проектирование тестового окружения.

Тема 8. Документация, сопровождающая процесс верификации и тестирования Тема посвящена документации, создаваемой в процессе тестирования. Рассмотрены технологические процессы, сопряженные с созданием или использованием тестовой документации.

Рассмотрены следующие типы документов: стратегия и планы верификации, тест-требования.

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

Тема 9. Формальные инспекции Тема определяет основные подходы к организацию статического анализа исходных текстов программ и документации при помощи формальных инспекций.

Цель темы: определить основные задачи и цели проведения формальных инспекций, определить этапы проведения формальной инспекции.

Тема 10. Покрытие программного кода Семинар посвящен покрытию программного кода. Рассмотрены методы проверки покрытия, методы улучшения покрытия, покрытие по методу MC/DC. Обсуждаются отчеты о покрытии, различные их формы, анализ неполноты покрытия, влияние зависимостей тестовых примеров на полноту покрытия. Описан процесс сбора покрытия и генерации отчетов о покрытии в MVSTE.

Тема 11. Интеграционное тестирование Тема является второй из трех рассматривающих уровни процесса верификации. Тема темы - процесс интеграционного тестирования, его задачи и цели. Рассматриваются организационные аспекты модульного тестирования - структурная и временная классификации методов интеграционного тестирования, планирование интеграционного тестирования.

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

Тема 12. Системное тестирование Тема является последней из трех рассматривающих уровни процесса верификации. Тема данной лекции - процесс системного тестирования, его задачи и цели. Рассматриваются виды системного тестирования, особенности системного тестирования и испытаний при разработке сертифицируемого программного обеспечения.

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

5. ПРАКТИЧЕСКИЕ ЗАНЯТИЯ

Тема 3. Тестирование программного кода Разработка тест-требований и их документирование.

Тема 7. Модульное тестирование Разработка вариантов тестирования и их исполнение.

6. САМОСТОЯТЕЛЬНАЯ РАБОТА

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

7. ВОПРОСЫ К ЭКЗАМЕНУ

1. Проблемы и перспективы развития современной программной инженерии.

2. Различные подходы в программировании: «снизу-вверх», «сверхувниз» (структурный подход), объектно-ориентированный.

3. Связь тестирования и качества разрабатываемого ПО.

4. Типы тестов и их роль в процессе разработки ПО.

5. Документирование и анализ ошибок.

6. Разработка тестов.

7. Примеры построения тестов.

8. Оценка степени тестируемости ПО.

9. Критерии структурного тестирования.

10. Построение управляющего графа программы.

11. Функциональное тестирование (Метод « черного ящика»).

12. Тестирование циклов.

13. Тестирование потоков данных.

14. Тестирование транзакций.

15. Характеристики хорошего теста.

16. Нагрузочные испытания.

17. Тестирования баз данных.

18. Стандарты на разработку интерфейса, примеры основных ошибок при разработке интерфейсов программ.

8. РЕЙТИНГОВАЯ СИСТЕМА ОЦЕНКИ УСПЕВАЕМОСТИ

СТУДЕНТОВ

Каждое практическое задание оценивается по 5-балльной шкале и за них начисляются баллы:

задание выполнено без замечаний – оценка 5 – 50 баллов;

есть незначительные замечания – оценка 4 – 40 баллов;

имеются серьезные замечания _ – оценка 3 – 30 баллов;

задание выполнено неправильно – оценка 2 – 20 баллов;

задание не выполнено_ – оценка 0 – 10 баллов.

За несвоевременную сдачу задания оценка (и баллы) снижается на балла.

Шкала перевода баллов в оценки:

– 60 баллов и менее _ – «неудовлетворительно», – от 61 до 75 баллов _ – «удовлетворительно», – от 76 до 90 баллов – «хорошо», – от 91 до 100 баллов – «отлично».

9. ЛИТЕРАТУРА Основная литература:

1. Автоматизированные информационные технологии в экономике:

учеб. для студ. вузов, обуч. по эконом. спец./ ред. Г. А. Титоренко. Москва: ЮНИТИ, 2005. - 399 с.

2. Информационные системы и технологии в экономике: учеб. для студ. вузов/ В. Б. Уткин, К. В. Балдин. - Москва: ЮНИТИ, 2005. - 3. Введение в анализ, синтез и моделирование систем: учеб. пособие/ В. М. Казиев. - Москва: БИНОМ. Лаборатория знаний: ИнтернетУниверситет Информационных Технологий, 2006. - 244 с.

4. Проектирование информационных систем: учеб.-метод. пособие/ А.

Г. Ивашко. - Тюмень: Изд-во ТюмГУ, 2007. - 329 с.

Дополнительная литература:

1. Гостехкомиссия России. Руководящий документ. Защита от несанкционированного доступа к информации. Часть 1.

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

Классификация по уровню контроля отсутствия недекларированных возможностей. М.: Гостехкомиссия РФ, 2. Гостехкомиссия России. Руководящий документ. Средства вычислительной техники. Защита от несанкционированного доступа несанкционированного доступа к информации. М.: Гостехкомиссия РФ, 3. ГОСТ Р ИСО 9001-2001. Системы менеджмента качества.

Требования. М.: ИПК Изд-во стандартов, 2001, – 140 с Internet – ресурсы 1. http://ru.wikipedia.org/wiki/Тестирование_программного_обеспечения 2. http://www.intuit.ru/department/se/testing/ 10. Технические средства и материально-техническое обеспечение дисциплины В процессе изучения дисциплины используются мультимедийные и технические средства обучения. Для проведения аудиторных занятий используются лекционные аудитории, оснащенные проектором или системой видеоконференцсвязи и компьютерные классы.

Изменения к рабочей программе:

В рабочую программу вносятся следующие изменения.

9. ЛИТЕРАТУРА Основная литература:

1. Крылов, Е. В. Техника разработки программ: учеб. для студ. вузов :

в 2 кн./ Евгений Васильевич Крылов; Е. В. Крылов, В. А.

Острейковский, Н. Г. Типикин. - Москва: Высшая школа. Кн. 2:

Технология, надежность и качество программного обеспечения. – 2. Плещев, В. В. Разработка и стандартизация программных средств, информационных технологий и систем: организация, методология, метрология, качество, CASE-средства : учеб. пособие/ В. В.

Плещев. - Тюмень: Изд-во ТюмГУ, 3. Кузин, А. В. Базы данных: учеб. пособие для студ. вузов, обуч. по напр. подгот. дипломир. спец. 654600 "Информатика и вычисл.

техника"/ А. В. Кузин, С. В. Левонисова. - 3-е изд., стер.. - Москва:

Академия, 2008.

Дополнительная литература:

1. Позднеев Б. М. Стандартизация и сертификация программного обеспечения/ Б. М. Позднеев. Программное обеспечение Transcend Elite Software [Электронный ресурс]: видеокурсы/ Интернет-ун-т информ. технологий. - прогр. - [Москва]: INTUIT, 2. Черников Б. В. Управление качеством программного обеспечения:

Учебник / Б.В. Черников. - М.: ИД ФОРУМ: ИНФРА-М, 2012 Режим http://znanium.com/bookread.php?book= обращения: 29.08.2011) 3. ГОСТ Р ИСО 9001-2001. Системы менеджмента качества.

Требования. М.: ИПК Изд-во стандартов, 2001, – 140 с Internet – ресурсы 1. http://ru.wikipedia.org/wiki/Тестирование_программного_обеспечения 2. http://www.intuit.ru/department/se/testing/ Рабочая программа пересмотрена и одобрена на заседании кафедры протокол № _ от «_» _ 2013 г.

Заведующий кафедрой _ /Моор П.К./