Практическая работа №1 Тестирование программного продукта методом «белого ящика»
жүктеу/скачать 77,33 Kb.
|
Практическая работа №1 Тестирование программного продукта методом «белого ящика»
lab6
- Бұл бет үшін навигация:
- Тестовое покрытие циклов
| Покрытие решений/условий
Анализ, проведенный выше, показывает, что этому критерию удовлетворяют тесты: а = 2, b =0, х=4 – путь 1-2-3-4-5-6, условия: 1 - да, 2 - да, 3 - да, 4 - да; а=1, b=1, х=1 – путь 1-2-4-6, условия: 1 - нет, 2 - нет, 3 - нет, 4 - нет. Комбинаторное покрытие условий требует покрыть тестами восемь комбинаций: 1) а>1,b = 0; 5) а = 2,х>1; 2) а>1, b ≠ 0; 6) а = 2, х<1; 3) а<1, b = 0; 7) а ≠ 2, х>1; 4) а<1, b ≠ 0 8) а ≠ 2, х<1. Эти комбинации можно проверить четырьмя тестами: а = 2, b = 0, х = 4 — проверяет комбинации (1), (5); а = 2, b = 1, х = 1 — проверяет комбинации (2), (6); а= 1, b = 0, х = 2 — проверяет комбинации (3), (7); а=1, b =1,х=1— проверяет комбинации (4), (8). В данном случае то, что четырем тестам соответствуют четыре пути, является совпадением. Представленные тесты не покрывают всех путей, например, acd. Поэтому иногда необходима реализация восьми тестов. Таким образом, для программ, содержащих только одно условие на каждое решение, минимальным является набор тестов, который проверяет все результаты каждого решения и передает управление каждому оператору, по крайней мере, один раз. Для программ, содержащих вычисления, каждое из которых требует проверки более чем одного условия, минимальный набор тестов должен: генерировать все возможные комбинации результатов проверок условий для каждого вычисления; передавать управление каждому оператору, по крайней мере, один раз. Термин «возможных» употреблен здесь потому, что некоторые комбинации условий могут быть нереализуемы. Например, для комбинации k<0 и k>40 задать k невозможно. Тестовое покрытие циклов Цикл — наиболее распространенная конструкция алгоритмов, реализуемых в программном обеспечении. При проверке циклов основное внимание обращается на правильность конструкций циклов. Количество наборов тестов для проверки циклов по принципу «белого ящика» зависит от типа цикла. Различают 4 типа циклов: простые, вложенные, объединенные, неструктурированные. Для проверки простых циклов с количеством повторений n может использоваться один из следующих наборов тестов: прогон всего цикла; только один проход цикла; два прохода цикла; t проходов цикла, где t n - 1, n, n + 1 проходов цикла. С увеличением уровня вложенности циклов количество возможных путей резко возрастает. Это приводит к нереализуемому количеству тестов. Для сокращения количества тестов применяется специальная методика, использующая понятия объемлющего и вложенного циклов (рис. 3). Рис. 3. Объемлющий и вложенный циклы Порядок тестирования вложенных циклов следующий: Выбирается самый внутренний цикл. Устанавливаются минимальные значения параметров всех остальных циклов. Для внутреннего цикла проводятся тесты простого цикла. Добавляются тесты для исключенных значений и значений, выходящих за пределы рабочего диапазона. Переходят в следующий по порядку объемлющий цикл. Выполняют его тестирование. При этом сохраняются минимальные значения параметров для всех внешних (объемлющих) циклов и типовые значения для всех вложенных циклов. Работа продолжается до тех пор, пока не будут протестированы все циклы. Если каждый из циклов независим от других (объединенные циклы), то используется техника тестирования простых циклов. При наличии зависимости (например, конечное значение счетчика первого цикла используется как начальное значение счетчика второго цикла) используется методика для вложенных циклов. Неструктурированные циклы тестированию не подлежат. Этот тип циклов должен быть переделан с помощью структурированных программных конструкций. Задачижүктеу/скачать 77,33 Kb. Достарыңызбен бөлісу:
|