Реклама:

Эту задачу целесообразно решать поэтапно [31] (рис. 3.22). На первом этапе распределяется минимальное число точек регистрации, позволяющих однозначно идентифицировать маршруты нсполнения программы н условия их реализации. Оценивается объем информации, который может быть получен по точкам регистрации при тестировании, а также достигаемая полнота проверки программ при обработке всех зарегистрированных данных. Далее, на втором этапе, производится размещение операторов регистрации по тестируемой программе для накопления промежуточных результатов в базе данных. В процессе тестирования зарегистрированные данные о значениях переменных н координатах маршрутов исполнения программы оперативно селектируются н обрабатываются. Накопленные в" базе данных результаты тестирования анализируются независимо и асинхронно от моментов их получения иа третьем этапе. При этом данные дополнительно селектируются и редактируются.

Такая трехэтапная схема тестирования и анализа результатов позволяет минимизировать время для тестирования и реализации операторов регистрации и многократно анализировать накопленные данные тестирования без повторения исполнения программы. Благодаря накоплению результатов тестирования в базе данных процессы тестирования и анализа результатов могут быть разделены во времени. При

Липаев В. В. Тестирование программ.

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

Использование этого метода регистрации имеет значительные особенности при тестировании структуры программ и при анализе потоков данных. Рассмотрим сначала регистрацию при тестировании структуры программ. Выделение точек регистрации и минимизация их числа.зависит от'структуры графа программы/ В .ациклическом графе типа дерево ^.-(см. рис. 2.3) достаточно фиксировать исполнения каждой команды после завершения, ветвления в самой Широкой части графа. В этом случае регистрация предшествующих ветвлений является избыточной. .Для асимметричного графа Г4 однозначное -определение маршрута может быть произведено, если регистрируется исполнение каждой из боковых ветвей: Тогда центральный маршрут рассматривается как альтернатива при отсутствии реализации хотя бы1 одного из боковых. В графе Г3 необходимо регистрировать прохождение'после ветвления одной из дуг. Это позволяет однозначно устано-. вить каждый маршрут исполнения программы,-если вычислять альтернативные .незарегистрированные дуги. В результате минимальное число точек регистрации для однозначной идентификации, маршрутов ис*. полнения -программ в графах Гх и Гэ соответствует числу вершин ветвления, а в графе «\ равно удвоенному числу вершин ветвления на нижнем иерархическом уровне, что значительно меньше общего числа вершин.

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


⇐ Предыдущая страница| |Следующая страница ⇒