МИНИСТЕРСТВО ОБРАЗОВАНИЯ
ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ МОЛДОВЫ
Кафедра АВТОМАТИКА и ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Методическое пособие
для лабораторных работ
по дисциплине “Тестирование и
верификация программных продуктов”
для студентов специальности TI
(для дневного обучения)
Утверждено
Методической комиссией
факультета вычислительной техники,
информатики и микроэлектроники
Кишинёв 2011
Содержание
Введение……………………………………………………………………...… 3
1 Лабораторная работа №1 ………………………………………………..... 5
2 Лабораторная работа №2 ………………………………………………… 16
3 Лабораторная работа №3 ………………………………………………… 36
4 Лабораторная работа №4 ………………………………………………… 48
Список используемой литературы.…………………………………….…… 56
Приложение A..…………………………………………….…………….…… 57
Приложение Б..…………………………………………….…………….…… 58
Приложение В..…………………………………………….…………….…… 63
Приложение Г..…………………………………………….…………….…… 66
Введение
Цель данного курса заключается в изучении принципов и способах тестирования и верификации программных продуктов.
По окончанию курса студенты обретут: знания о принципах структурного и функционального тестирования, по вопросам организации процесса тестирования; способность составлять тестовые варианты для обнаружения ошибок и их документировать, анализировать и исправлять и количественно оценивать комплексную сложность программных продуктов.
Основные понятия:
Требования к программному обеспечению — совокупность утверждений относительно атрибутов, свойств или качества программной системы, подлежащей реализации.
Спецификация требований программного обеспечения (Software Requirements Specification) — законченное описание поведения системы, которую требуется разработать.
Дефект («баг») - ошибка в программе или системе, которая выдает неожиданный или неправильный результат относительно указанных в спецификации требований ПО.
Тестирование ПО - Процесс проверки соответствия заявленных к продукту требований и реально реализованной функциональности, осуществляемый путем наблюдения за его работой в искусственно созданных ситуациях и на ограниченном наборе тестов, выбранных определенным образом.
Тестирование по стратегии чёрного ящика – стратегия тестирования, при котором программа рассматривается как чёрный ящик (нет сведений о ее внутренней структуре, нет доступа к коду программы). Целью тестирования ставится выяснение обстоятельств, в которых поведение программы не соответствует спецификации.
Тестировщик ПО - специалист, который проводит тестирование программного обеспечения, с целью обеспечения и контроля качества программного продукта или информационной системы.
Полный перечень пунктов, которые должны содержаться в спецификации требований программного обеспечения согласно стандартам:
Введение
a) цели;
b) соглашения о терминах;
c) предполагаемая аудитория;
d) масштаб проекта;
e) ссылки на источники.
Общее описание
a) видение продукта;
b) функциональность продукта;
c) классы и характеристики пользователей;
d) среда функционирования продукта (операционная среда);
e) рамки, ограничения, правила и стандарты;
f) документация для пользователей;
g) допущения и зависимости.
Функциональность системы
a) функциональный блок X (таких блоков может быть несколько);
b)описание и приоритет;
c) причинно-следственные связи, алгоритмы (движение процессов, workflows);
d) функциональные требования.
Требования к внешним интерфейсам
a) интерфейсы пользователя (UI);
b) программные интерфейсы;
c) интерфейсы оборудования;
d) интерфейсы связи и коммуникации.
Нефункциональные требования
a) требования к производительности;
b) требования к сохранности (данных);
c) критерии качества программного обеспечения;
d) требования к безопасности системы.
Прочие требования
a) Приложение А: Глоссарий;
b) Приложение Б: Модели процессов и предметной области и другие диаграммы;
c) Приложение В: Список ключевых задач.
В практическом задании следует описать видение продукта/программы, его описание и назначение, а также функциональные требования. По возможности могут быть описаны остальные пункты. Спецификация требований должна быть описана в одном документе.
Пример спецификации требований для программы, реализующей сортировку вставкой, представлен в Приложении В.
