Введение
1 Обзор существующих методов оценки программ и возможностей их улучшения 15
1.1 Организация высокоточных вычислений 15
1.2 Метрики оценки сложности программ 22
1.3 Метрики размера программ, или количественные метрики
1.3.1 SLOC-метрика 25
1.3.2 Метрики Холстеда 26
1.3.3 ABC метрика 28
1.4 Метрики сложности потока управления программы 29
1.4.1 Метрика цикломатической сложности программы 30
1.4.2 Метрика Майерса 34
1.4.3 Метрика Хансена 34
1.4.4 Топологическая метрика Чена 34
1.4.5 Метрики Харрисона, Мейджела 34
1.4.6 Метрика Пивоварского 35
1.4.7 Метрика Джилба 36
1.4.8 Метрика граничных значений 36
1.5 Метрики сложности потока данных программ 39
1.5.1 Метрика Чепина 39
1.5.2 Метрика спена 40
1.5.3 Метрика обращения к глобальным переменным 40
1.6 Гибридные метрики 40
1.6.1 Метрика Кокола 41
1.6.2 Метрика Зольновского, Симмонса, Тейера 41
1.7 Сети Петри 43
1.7.1 Задача о взаимном исключении 48
1.7.2 Задача о производителе/потребителе 49
1.7.3 Задача о чтении/записи 50
1.7.4 Р - и V - операции над семафорами 51
1.7.5 Формализованное описание и характеристики сетей Петри 52
1. 8 Выводы по первой главе 54
2 метод Оценки сложности распределенных вычислений с повышенной точностью 55
2.1 Деревья формул 60
2.2 Оценка модифицированной цикломатической сложности 67
2.3 Оценка сложности программы, работающей в последовательном режиме
2.4 Метод распараллеливания программы для оценки ее с помощью модифицированной метрики цикломатической сложности 78
2.5 Оценка сложности программы, работающей в параллельном режиме 84
2.6 Выводы по второй главе 86
3 Получение экспериментальных зависимостей времени расчета от точности вычислений для определения сложности программ 87
3.1 Исследуемые функции класса HReal 87
3.2 Приложение для получения экспериментальных данных и их аппроксимации 89
3.3 Получение экспериментальных значений на эталонной системе
3.3.1 Метод четвертых разностей 96
3.3.2 Аппроксимация экспериментальных данных
3.4 Получение экспериментальных значений на тестовой системе для проверки адекватности эталонных значений 102
3.5 Выводы по третьей главе 111
4 Экспериментальная проверка выведенного метода 112
4.1 Выводы по четвертой главе 123
Заключение 125
Список сокращений и условных обозначений 126
Список литературы
