23. Методы стр-ного тест-ия. Общий недостаток методов.* //белый ящик

Стр-ное тест-ие наз-этот также тест-ием по «маршрутам», так как в этом случае тестовые наборы формируют путем анализа маршрутов, предусмотренных алгоритмом. Под маршрутами при этом понимают послед-ости операторов прог-ы, к-е выполняются при конкретном варианте исх-х д-х.

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

2 - метод покрытия операторов. Критерий покрытия операторов подразумевает такой подбор тестов, чтобы каждый оператор прог-ы выполнялся, по крайней мере, один раз.

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

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

Применяются при тестировании логики прог-ного МОД. Для применения этих методов на практике стр-а прог-ы должна быть известной.

Стр-ный подход к тестированию имеет ряд недостатков. Так тестовые наборы, построенные по д-ой стратегии:

- не обнаруживают пропущенных маршрутов;

- не обнаруживают ошибок, зависящих от обрабатываемых д-х;

- не дают гарантии, что прог-а правильна, например, if вместо сортировки по убыванию реализована сортировка по возрастанию.

24. Методы ф-онального тест-ия. Области применения.* //черный ящик

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

Методы:

эквивалентного разбиения (Область всех возможных наборов входных д-х прог-ы по каждому параметру разбивают на конечное число групп - классов эквивалентности. Наборы д-х такого класса объединяют по принципу обнаружения одних и тех же ошибок: if набор какого-либо класса обнаруживает некоторую ошибку, то предполагается, что все другие тесты го класса эквивалентности тоже обнаружат эту ошибку и наоборот.)

анализа граничных значений (Граничные значения - значения на границах классов эквивалентности входных значений или около них. Анализ показывает, что в этих местах резко увеличивается возможность обнаружения ошибок. Например, if в прог-е анализа вида треугольника было записано А+В≥С вместо А+В>С, то задание граничных значений приведет к ошибке: линия будет отнесена к одному из видов треугольника)

Анализ причинно-следственных связей (Метод исп-ет алгебру логики и оперирует понятиями «причина» и «следствие». Причиной в д-ом случае наз-этот отдельное входное условие или класс эквивалентности. Следствием - выходное условие или преобразование сист. Идея метода заключается в отнесении всех следствий к причинам, этот. е. в уточнении причинно-следственных связей. Д-ый метод дает полезный побочный эффект, позволяя обнаруживать неполноту и неоднозначность исх-х спецификаций.)

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