- •Основные понятия мпо.
- •Основные цели:
- •Виды метрик и шкал, используемых при оценке:
- •Критерии оценки качества программ
- •Способ формирования зависит от этапа:
- •Классификация видов сложности пп
- •Метрики Холстеда.
- •Основные измеряемые параметры:
- •Дополнительные параметры:
- •6 Марта 2007 года
- •Методы и средства измерения характеристик программ
- •Необходимые условия применения измерительных методов:
- •Общая схема проведения измерений.
- •2 Основных способа регистрации параметров программы:
- •Измерительные мониторы (им)
- •Требования к им:
- •Классификации им.
- •Типы измеряемых характеристик программы.
- •Аппаратные измерительные мониторы (аим)
- •Достоинства аим:
- •Недостатки аим:
- •Гибридные измерительные мониторы (гим)
- •Программные измерительные мониторы (пим)
- •Автономные пим
- •Общие особенности программных мониторов.
- •Проблемы, возникающие при построении мониторов
- •Общая схема использования пим
- •Способы расстановки контрольных точек.
- •Основные способы мониторинга
- •Сопоставление возможностей аим и пим.
- •Структурный анализ качества программных продуктов
- •Маршруты делятся на:
- •Анализ сложности программных средств с модульной организацией
- •Свойства модульной организации
- •Понятие корректности программ
- •2 Метода проверки корректности:
- •Критерии корректности:
- •Корректность программ:
- •Эталоны и методы проверки корректности
- •Способы формирования эталонных тестов
- •Понятие верификации программы
- •Основные задачи анализа корректности при верификации
- •Тестирование программ
- •Особенности
- •Основные принципы тестирования
Общая схема проведения измерений.
Исследуемая ВС – включает набор программных и аппаратных средств
Измеряемая программа – 1-подается извне, 2-компонент системы
Исследуемая ВС содержит средства проведения измерений, которые регистрируют параметры программы; параметры накапливаются в архиве, а затем обрабатываются.
2 Основных способа регистрации параметров программы:
1) Трассирующий – измеряемы параметры регистрируются при наступлении определенных событий, важных для выполнения программы (обращение к набору данных, выполнение оператора или процедуры и т.д.). Формируется набор . Проблемы: необходимо умение определять и регистрировать событие, необходимо измерять значения заданных параметров
2) Выборочный – значения параметров регистрируются в последовательные моменты времени, обычно равноудаленные. Формируется набор . Не требуется регистрация событий в процессе измерения, но в той или иной степени привязывание к событиям осуществляется после
Трассирующий способ содержит меньший набор измерений
Выборочный способ содержит большее число измерений, поскольку должен быть достаточно мал, чтобы не пропустить важные события, а в число параметров добавляются параметры, позволяющие в дальнейшем определить эти события.
Измерительные мониторы (им)
Средства, обеспечивающие регистрацию событий и измерение параметров.
Требования к им:
1. Минимизация искажений, вносимых в выполнение программы и значения измеренных параметров
Типы искажений:
- временные – рассогласование времени наступления события и времени измерения параметра
- пространственные – сам монитор и собираемые им данные занимают место в памяти, затрудняя этим работу программы с памятью
- снижение производительности системы за счет мониторинга
2. Обеспечение достаточной точности и разрешающей способности
Точность– квант времени между измерениями
Разрешающая способность– частота событий, которые может отслеживать монитор
3. Низкая стоимость, простота установки и использования
Классификации им.
Типы измеряемых характеристик программы.
1) Полные или обобщенные характеристики потребления ресурсов программой (время выполнения, используемая память)
2) Коэффициент загрузки ресурсов (утилизация) – отношение времени потребления ресурса к общему времени выполнения программы. В качестве ресурса может выступать аппаратный или программный компонент системы
3) Профили выполнения программы. Динамические профили, делятся на временные и частотные. Временной профиль характеризует распределение времен потребления различных ресурсов. Частотный профиль определяет количественное распределение числа обращений к ресурсам в процессе выполнения программы.
Пример:
Команда |
Частотный профиль |
Временной профиль | |
абсолютный (мс) |
относительный (%) | ||
Сложение ЦЧ |
514 |
0.5 |
4.5 |
Вычитание ЦЧ Сравнение ЦЧ |
256 |
0.3 |
2.7 |
Умножение ЦЧ |
72 |
1.4 |
12.5 |
Деление ЦЧ |
14 |
2.0 |
17.8 |
Операции с плавающей запятой |
78 |
7.0 |
62.5 |
Основное назначение профилей – определение либо критических ресурсов, либо критичных фрагментов программы по потреблению ресурсов
4) Трассировочная запись. Измерение множества пар , - значение i-го параметра, - время регистрации. Содержит хронологию выполнения, поэтому является наиболее исчерпывающей характеристикой. Обычно используется при анализе асинхронных и конвейерных процессов.