Комбинаторное покрытие условий.

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

Для приведённого примера покрыть тестами 8 следующих комбинаций:

1. A>1, B=0; 2. A>1, B!=0; 3. A<=1, B=0; 4. A<=1, B!=0; 5. A=2, X>1; 6. A=2, X<=1; 7. A!=2, X>1; 8. A!=2, X<=1.

Эти комбинации можно проверить четырьмя тестами:

1. A=2, B=0, X=4 K: 1, 5 2. A=2, B=1, X=1 K: 2, 6

3. A=1, B=0, X=2 K: 3, 7 4. A=1, B=1, X=1 K: 4, 8

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

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

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

Для программ, содержащих решение, каждое из которых имеет более одного условия, минимальный критерий состоит из набора тестов, вызывающих выполнение всех возможных комбинаций результатов условий в каждом решении и передающих управление каждой точки входа, по крайней мере, один раз. Термин “возможных” употреблён здесь потому, что некоторые комбинации условий могут быть не реализуемы. Например, для комбинаций K<0, K>40 задать К невозможно.

8. Тестирование по принципу чёрного ящика.

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

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

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

Правильный выбранный тест подмножеством должен обладать следующими свойствами:

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

1. Эквивалентное разбиение;

2. Анализ граничных значений;

3. Предположение об ошибке;

4. Анализ причинно-следственных связей.

НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ НАНИЙ

1) построить тесты для границ области и тесты с неправильными входными данными для ситуаций незначительного выхода за границы области. Если входное условие описывает область значений (например от –1,0 до 1,0), то необходимо написать тесты для ситуаций (-1,0;1,0;-1,001;1,001).

2) Построить тесты для минимальных и максимальных значиний и тесты большие и меньшие этих двух значений, если входное условие удовлетворяет дискретному ряду значений. Например, если входной фаил может содержать от 1 до 255 записей, то проверить 0,1,255 и 256 записей.

3) Использовать правило 1 для каждого выходного условия, причем важно проверить границы пространства результатов, так как не всегда границы входных областей представляют такой же набор условий, как и границы выходных областей. Не всегда также можно получить результат вне выходной области, но тем не менее стоит рассмотреть эту возможность.

4) Использовать правило 2 для каждого выходного условия

5) Если вход или выход программы ест ьупорядоченное множество (последовательный фаил, линейный список, таблица), то необходимо сосредоточить внимание на первом и последнем элементах этого множества.

6) Попробовать свои силы в поиске других граничных условий.

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