Реклама:

Средства расчета длительностей функционирования программ.

С использованием графовой модели программы может быть автоматически построен массив длительностей исполнения отдельных операторов (рис. 3.17). При этом используется список операторов с нх граничными адресами в программе, полученный при построении графовой модели, и текст исследуемой программы в объектном коде ЭВМ, для которой она предназначена. Длительности исполнения отдельных команд, нз которых складываются веса операторов, определяются по кодам операций нз таблицы. Эта таблица может .содержать не только длительности исполнения команд, но и обращение к подпрограммам для вычисления значений длительности с учетом некоторого параметра (например, значение сдвига числа в соответствующей операции),. Вероятности условных переходов либо принимаются равными 0,5, либо задаются разработчиком на основе его представлении о динамике работы данной программы. Для оценки вероятностей ветвления при исполнении программы используется модель внешней обстановки, соответствующая нормальным н предельным условиям функционирования комплекса программ (см. § 4.1). Такая модель позволяет оценить средние и предельные значения количества реализаций циклов и вероятности условных переходов, определяющие маршруты обработки информации в КП.

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

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

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

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

Рис 3.17. Схема расчета длительностей функционирования программ

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


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