Применение функциональных диаграмм

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

Построение тестов

Выделение классов эквивалентности

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

Стратегии черного ящика

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

Покрытие условий

Покрытие решений

Покрытие операторов

Тестирование путем покрытия логики программы

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

Каждое решение на этих тестах примет значение истина и ложь по крайней мере один раз.

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

3.1.4. Покрытие решений/условий

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

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

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

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

2) покрывать значительную часть других возможных тестов.

Разработка тестов этим методом осуществляется в два этапа:

Этот процесс включает в себя:

1) Назначение каждому классу эквивалентности уникального номера.

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

3) Запись тестов, каждый из которых покрывает один и только один из непокрытых неправильных классов эквивалентности, до тех пор, пока все неправильные классы эквивалентности не будут покрыты тестами.

Анализ граничных значений отличается от эквивалентного разбиения в двух отношениях:

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

Построение тестов этим методом осуществляется в несколько этапов:

1. Спецификация разбивается на «рабочие» участки.

2. В спецификации определяются причины и следствия.

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

4. Диаграмма снабжается примечаниями

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

6. Столбцы таблицы решений преобразуются в тесты.

Дата добавления: 2014-01-07