5)Стратегии «белого» ящика. Комбинаторное покрытие условий.

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

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

1) вызывает выполнение всех результатов каждого решения, по крайней мере, один раз;

2) передает управление каждой точке входа (например, точке входа, case-единице) по крайней мере один раз (чтобы обеспечить выполнение каждого оператора программы по крайней мере один раз).

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

Билет №11.

1) Диаграммы idef1x: назначение, элементы, правила построения.

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

Наиболее распространенным средством моделирования данных (предметной области) является модель «сущность-связь» (ERM) (Автор Питер Чен, 1976 г.)

Базовые понятия

• сущность,

• связь,

• атрибут.

Сущность (Entity) – реальный, либо воображаемый объект, имеющий существенное значение для рассматриваемой предметной области.

Экземпляр сущности – это конкретный представитель данной сущности. Например, экземпляром сущности «Сотрудник» может быть «Сотрудник Иванов».

Свойства сущности.

Каждая сущность должна обладать некоторыми свойствами:

• иметь уникальное имя;

• к одному и тому же имени должна всегда применяться одна и та же интерпретация;

• одна и та же интерпретация не может применяться к различным именам, если только они не являются псевдонимами;

• обладать одним или несколькими атрибутами, которые либо принадлежат сущности, либо наследуются через связь;

• обладать одним или несколькими атрибутами, которые однозначно идентифицируют каждый экземпляр сущности.

Атрибут (Attribute) – любая характеристика сущности, значимая для рассматриваемой предметной области и предназначенная для квалификации, идентификации, классификации, количественной характеристики или выражения состояния сущности.

Виды атрибутов:

• простой – состоит из одного элемента данных;

• составной – состоит из нескольких элементов данных;

• однозначный – содержит одно значение для одной сущности;

• многозначный – содержит несколько значений для одной сущности;

• необязательный – может иметь пустое (неопределенное) значение;

• производный – представляет значение, производное от значения связанного с ним атрибута.

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

Связь.

Связь – это ассоциация между сущностями, при которой каждый экземпляр одной сущности ассоциирован с произвольным (в том числе нулевым) количеством экземпляров второй сущности, и наоборот.

Степенью связи называется количество сущностей, участвующих в связи.

Связь степени 2 называется бинарной, степени N – N-арной.

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

Мощность связи – максимальное число экземпляров сущности, которое может быть связано с одним экземпляром данной сущности. Мощность связи может быть равна 1, N (любое число) и может быть конкретным числом.

Класс принадлежности характеризует обязательность участия экземпляра сущности в связи: 0 (необязательное участие) или 1 (обязательное участие).

Виды связи:

Связь может иметь один из следующих трех типов (в зависимости от значения мощности):

• Один-к-одному (обозначается 1:1).

• Один-ко-многим (обозначается 1:n).

• Многие-ко-многим (обозначается m:n).