Scanned (555307), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

если (а>1) и (b-О)то if (а>1) and (b=0) then

х:=х/а х:=х/а;

все {and if}

если (а=2) и (х>1)то if (a=2) and (х>1) then

х:=х+1 х:=х+1;

все {end if)

Метод покрытия операторов.

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

Тест 7. {а=2, b=0, х=6) Эталон: х=4

Наиболее слабым из критериев полноты структурного тестирования является требование хотя бы однократного выполнения (покрытия) каждого оператора программы.

Метод покрытия решений.

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

Вариант 1. Первый тест - для случая, когда оба решения: первое -{(а>1) и (b=0)} и второе -{ (а=2) и (х>1)}, не выполняются, а второй - когда оба они выполняются;

Вариант 2. Первый - для случая, когда первое решение {(а>1) и (b=0)} выполняется, а второе {(а=2) и (х>1) } не выполняется, а во втором случае - наоборот, не выполняется первое и выполняется второе решение.

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

Тест I. {а=2, b=0, х=3} Эталон: х=2,5 =>Оба решения выполняются.

Тест 2. {а=3, b=1, х=1} Эталон: х=1 =>Оба решения не выполняются.

Метод комбинированного покрытия условий.

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

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

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

Тест 1 {а=2, b=0, х=4} Эталон: х=3

Тест 2 {а=2, b=1, х=4} Эталон: х=5

Тест 3 {а=1, b=0, x=2} Эталон :х=2

Тест 4 {а=1, b=1, х=1 {Эталон: х=1

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

Как правило; сначала подготавливают тесты по стратегии «черного ящика», а затем, в случае, если первоначального набора тестов недостаточно, он дополняется тестами, построенными на основе знания логической структуры программы. Используемый метод определяет и то, сколько и какие тесты должны быть добавлены.

Методика совместного тестирования модулей

Известны два подхода к совместному тестированию модулей: пошаговое и монолитное тестирование.

При монолитном тестировании сначала по отдельности тестируются все модули программного комплекса, а затем все они объединяются в рабочую программу для комплексного тестирования.

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

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

При сравнении пошагового и монолитного тестирования можно отметить следующие преимущества первого подхода :

1. меньшая трудоемкость

2. более раннее обнаружение ошибок в интерфейсах между модулями (их сборка
   начинается раньше, чем при монолитном тестировании );

3. легче отладка, то есть локализация ошибок (они в основном связаны с
   последним из подключенных модулей );

4. более совершенны результаты тестирования (более тщательная проверка
   совместного использования модулей).

Есть преимущества и у монолитного тестирования :

1. меньше расход машинного времени (хотя из-за большей сложности отладки
   может потребоваться дополнительная проверка программы и это преимущество будет
   сведено на нет);

2. предоставляется больше возможностей для организации параллельной работы на
   начальном этапе тестирования.

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

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

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

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

а) модули, содержащие операции ввода-вывода, должны подключаться к
тестированию как можно раньше;

б) критические (т.е. наиболее важные ) для программы в целом модули также
должны тестироваться в первую очередь.

Основные достоинства нисходящего тестирования

1. уже на ранней стадии тестирования есть возможность получить работающий
   вариант разрабатываемой программы;

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

Недостатки нисходящей стратегии:

Допустим, что на следующем шаге тестирования заглушка «низшего» модуля заменяется его реальным текстом. Тогда

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

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

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

Другие проблемы, которые могут возникать при нисходящем тестировании :

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

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

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

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

Другие достоинства восходящего тестирования:

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

2. нет возможности совмещения проектирования с тестированием ;

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

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

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

ПРАВИЛА ЗАПИСИ ТРАССИРОВКИ

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

1. В качестве результатов операций ввода и присваивания записываются новые
   значения переменных (в виде тождеств).

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

3. Условие (в операциях ветвления и цикла) записывается в виде отношений, в
   которых все переменные заменены их текущими значениями. Условие помещается в
   фигурные скобки и затем записывается результат в форме «да/нет».

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

5. Для всех, не детализированных в данном алгоритме действий и подпрограмм
   результаты считать сформированными правильно.

6. Трассировка должна быть прекращена только по достижении строки «конец»
   алгоритма.

7. Только после этого надо приступить к анализу результатов алгоритма. Именно за
   счет этого появляется возможность увидеть такие результаты, которых программа не
   должна делать, но из-за ошибки в алгоритме делает. В качестве примера приведем
   запись трассировки изображенного выше фрагмента из двух последовательных
   конструкций «если» для теста номер 1, построенного по методу комбинированного
   покрытия условий.

Дано: {а=2,b=0, х=4}

Требуется: {x=3}

Трассировка:

{{2>1}да и{0=0да}}да

х=2

{{2=2}да и{2>1}да}да

х=3

Конец.

Вывод: Полученный результат совпадает с эталонным. Ошибки нет.

10

Характеристики

Список файлов лабораторной работы