4)Стратегии «белого» ящика. Покрытие условий. Покрытие решений/условий.

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

Покрытие решений\условий-Очевидным следствием из этой дилеммы является критерий, названный покрытием решений/условий. Он требует такого достаточного набора тестов, чтобы все возможные результаты каждого условия в решении, все результаты каждого решения выполнялись, по край- ней мере, один раз и каждой точке входа передавалось управление, по крайней мере, один раз.

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

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

Билет №10.

1)Диаграммы idef0: иерархия диаграмм, правила построения, стратегии декомпозиции и критерии завершения декомпозиции.

Методология функционального моделирования IDEF0 – это технология описания системы в целом как множества взаимозависимых действий, или функций.

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

Методология IDEF0 применяется на ранних этапах разработки проекта (анализ).

Правила построения диаграмм.

Синтаксис диаграмм определяется следующими правилами:

• диаграммы содержат блоки и дуги;

• блоки представляют функции;

• количество блоков на диаграмме ограничено: от 3 до 6-7;

• блоки имеют доминирование (выражающееся в их ступенчатом расположении, причем доминирующий блок располагается в верхнем левом углу диаграммы);

• дуги изображают наборы объектов, передаваемых между блоками;

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

Стратегии декомпозиции

При построении иерархии диаграмм используются следующие стратегии декомпозиции:

- Функциональная декомпозиция — декомпозиция в соответствии с функциями, которые выполняют люди или организация.

- Декомпозиция в соответствии с известными стабильными подсистемами — приводит к созданию набора моделей, по одной модели на каждую подсистему или важный компонент.

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

Признаки завершения декомпозиции блока:

1. блок содержит достаточно деталей.

2. необходимо изменить уровень абстракции, чтобы достичь большей детализации блока.

3. необходимо изменить точку зрения, чтобы детализировать блок.

4. блок очень похож на другой блок той же модели или на блок другой модели.

5. блок представляет тривиальную функцию.

Дополнительные виды диаграмм IDEF0

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

Презентационные диаграммы (For Exposition Only diagrams – FEO diagrams) часто включают в модели, чтобы проиллюстрировать другие точки зрения или детали, выходящие за рамки традиционного синтаксиса IDEF0.

Виды презентационных диаграмм:

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

• копия диаграммы IDEF0, которая содержит все функциональные блоки, и стрелки, непосредственно относящиеся только к входу и (или) к выходу родительского блока;

различные точки зрения, как правило, на глубину одного уровня декомпозиции.