Реклама:

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

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

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

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

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


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