Приложение В
Силлабус (памятка учебной дисциплины)
Памятка для студентов направления "Программная инженерия"
по изучению дисциплины "Верификация и тестирование программного обеспечения"
(8 семестр)
Составил | Утверждаю Зав. кафедрой _______ |
По дисциплине " Верификация и тестирование программного обеспечения " предусмотрены 13 часов лекций, 39 часов лабораторных занятий, 56 часов самостоятельной работы студентов в семестре.
1 Содержание дисциплины
Тема 1 Место тестирования и верификации в процессе разработки программного обеспечения – 2 часа
Качество программного обеспечения. Тестирование и верификация. Место в процессе разработки программных продуктов. Классификация видов тестирования. Тест-кейсы и тест-наборы. Системы баг-трекинга.
Литература [1-11]
Тема 2 Модульное тестирование — 1 час
Преимущества и цели модульного тестирования. Основные определения. Фреймворки Junit, NUnit и Gtest. Создание и запуск тестовых наборов и тестов. Покрытия тестов.
Литература [1-11]
Тема 3 Разработка через тестирование (методология TDD) — 1 час
Требования к тестам. Цикл разработки. Применение тестирования во всем процессе разработки. Принципы, преимущества и недостатки подхода разработки через тестирования
Литература [1-11]
Тема 4 Функциональное тестирование и тестирование интерфейса – 1 час
Требования к функциональному тестированию. Использование инструмента IBM Rational functional tester.
Литература [1-11]
Тема 5 Нагрузочное тестирование – 2 часа
Необходимость нагрузочного тестирования. Обзор программных средств для проведения такого тестирования. Сценарии нагрузочного тестирования. Особенности тестирования web-приложений.
Литература [1-11]
Тема 6 Unitesk – 2 часа
Разработка, управляемая моделями (Model driven development). Разработка контрактных спецификаций для программных продуктов. Использование системы Unitesk.
Литература [1-11]
Тема 7 Spec explorer – 2 часа
Использование продукта Microsoft Spec Exporer и языка Spec# для верификации моделей программ.
Литература [1-11]
Тема 8 Верификация с помощью Promela Spin – 2 часа
Темпоральные логики LTL и CTL. Язык Promela для описания моделей взаимодействующих программ. Верификация моделей. Трассировка моделей методом случайной прогулки и задаваемой пользователем симуляцией.
Литература [1-11]
Лабораторные занятия
Тема 1 Системы баг-трекинга – 4 часа
Ведение информации о ошибках в ПО в системе баг-трекинга. Разработка плана тестирования. Регистрация и отслеживание ошибок. Тестовые случаи и тестовые наборы.
Литература [1-11]
Тема 2 Модульное тестирование — 6 часов
Правила подключения в проект фреймворка для модульного тестирования (Junit, Nunit, GTest). Правила написания тестов. Выполнение тестов. Группировка тестов. Регрессивное тестирование.
Литература [1-11]
Тема 3 Разработка через тестирование – 6 часов
Разработка учебного программного обеспечения с нуля при помощи методологии TDD.
Литература [1-11]
Тема 4 Функциональное тестирование – 4 часа
Проведение функционального тестирования программного обеспечения при помощи средства IBM Rational tester
Литература [1-11]
Тема 5 Работа с системой Unitesk – 6 часов
Создание спецификации для программной системы и проведение ее тестирования при помощи средства Unitesk
Литература [1-11]
Тема 6 Работа с системой Spec Explorer – 6 часов
Создание спецификации для программной системы на языке Spec# и проведение ее тестирования при помощи средства Microsoft Spec Explorer
Литература [1-11]
Тема 7 Верификация при помощи верификатора Spin - 7 часов
Изучение основ темпоральной логики LTL. Изучение основ языка Promela. Создание модели программы на языке Promela и ее верификация средством Spin
Литература [1-11]
2 Литература и учебно-методические материалы
Основная литература
1. Островский, верификации структурированных программ. - Барна1, - [10 экз]
Дополнительная литература
2. Старолетов, , распределенных многокомпонентных программных систем и их тестирование на основе автоматных вероятностных моделей. - Барнаул : Изд-во АлтГТУ, 107 с., 2011, – 3 экз.
3. . Математическая логика и теория алгоритмов. - Барнаул.: Изд-во АлтГТУ, 2011. – 275 с. [50 экз.]
4. Маккарти, Дж. Правила разработки программного обеспечения. М.: Рус. ред., 2007 – 1 экз
5. Системная информатика: Сб. науч. тр. / Под ред. - Н.: Изд-во СО РАН, 2004. - Вып.9: Формальные методы и модели информатикис — 1 экз
Программное обеспечение и интернет-ресурсы
6. Материалы сайта "Интернет университет информационных технологий":
6.1. Курс «Маглинец, Ю. Анализ требований к автоматизированным информационным системам», сетевой адрес: http://www. intuit. ru/studies/courses/2188/174/info
6.2. Курс «Котляров, В. Основы тестирования программного обеспечения», сетевой адрес: http://www. intuit. ru/studies/courses/48/48/info
6.3. Курс «Налютин, Н. Верификация программного обеспечения», сетевой адрес: http://www. intuit. ru/studies/courses/1040/209/info
7. Материалы сайта “Сайт по автоматному программированию и мотивации к творчеству”, сетевой адрес http://is. ifmo. ru
8. Материалы сайта "Единое окно доступа к образовательным ресурсам", сетевой адрес http://window. edu. ru/
8.1. , , Яминов автоматных программ: Учебное пособие. - СПб.: СПбГУ ИТМО, 20с. Сетевой адрес http://window. edu. ru/resource/817/72817
8.2. , Налютин программного обеспечения: Курс лекций. - М.: МИФИ (ГУ), 20с. Сетевой адрес - http://window. edu. ru/resource/700/41700
8.3. Кулямин верификации программного обеспечения / Всероссийский конкурсный отбор обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы", 20с. Сетевой адрес - http://window. edu. ru/resource/168/56168
8.4. , Петрухин и средства инженерии программного обеспечения: Учебник. - М.: МФТИ (ГУ), 20с. Сетевой адрес - http://window. edu. ru/resource/699/41699
8.5. Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г. / Под редакцией чл.-корр. РАН . - М.: ИСП РАН, 20с. Сетевой адрес - http://window. edu. ru/resource/972/70972
9. Concise Promela Reference. Сетевой адрес - http:///spin/Man/Quick. html
10. . Критерии тестового покрытия, основанные на структуре контрактных спецификаций //Труды ИСП РАН, Подход UniTESK: итоги и перспективы. С:89-107, 2008. Сетевой адрес - http://panda. ispras. ru/~kuliamin/docs/SpecCoverageCriteria-2008-ru. pdf
11. Spec explorer – Microsoft Research. Сетевой адрес - http://research. /en-us/downloads/b33add8c-6172-444d-b1b1-6a91323ad7cc/default. aspx
Учебно-методические материалы и пособия
12. Конспект лекций (электронная библиотека кафедры)
13. Слайды (электронная библиотека кафедры)
14. Задания к самостоятельной работе (электронная библиотека кафедры)
3 График контроля
Темы | Контрольное испытание | Время проведения | Вес в итоговом рейтинге | Примечания |
1 | Защита лабораторной работы (ЗЛР) | 2 неделя | 0,1 | 2 вопроса по теории, 1 вопрос по программе |
2 | ЗЛР | 3 неделя | 0,1 | 2 вопроса по теории, 1 вопрос по программе |
3 | ЗЛР | 4 неделя | 0,1 | 2 вопроса по теории, 1 вопрос по программе |
4 | ЗЛР | 6 неделя | 0,1 | 2 вопроса по теории, 1 вопрос по программе |
5 | ЗЛР | 8 неделя | 0,1 | 2 вопроса по теории, 1 вопрос по программе |
6 | ЗЛР | 10 неделя | 0,1 | 2 вопроса по теории, 1 вопрос по программе |
7 | ЗЛР | 12 неделя | 0,1 | 2 вопроса по теории, 1 вопрос по программе |
зачет | Зачетная неделя - 13 неделя | 0,3 | Два вопроса по 50 баллов |
4 Примечания
Семестровый рейтинг определяется на основе защиты лабораторной работы, посещаемости занятий и активности на лекциях и лабораторных занятиях. Автоматы по дисциплине выставляются при семестровом рейтинге не менее 75 баллов. При этом итоговый рейтинг равен семестровому.
