Введение. Методическое пособие

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

ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ МОЛДОВЫ

Кафедра АВТОМАТИКА и ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ

Методическое пособие

для лабораторных работ

по дисциплине “Тестирование и

верификация программных продуктов”

для студентов специальности 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) Приложение В: Список ключевых задач.

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

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