Реклама:

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

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

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

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

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

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


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