- •Национальный исследовательский университет «Высшая школа экономики»
- •Контрольное домашнее задание
- •Формулировка задания
- •Описание программы Постановка задачи Характеристики комплекса задач
- •Оценка характеристик на основе метрик Холстеда
- •Третий критерий
- •Алгоритмическая сложность на основе метрики Маккейба
- •Оценка характеристик программы на основе модели функциональных указателей Оценочные элементы программы f1..F5
- •Значения коэффициентов регулировки сложности
- •Расчет показателей
- •Расчет силы связности
- •Расчет силы сцепления
- •Оценка надежности программы Оценка надежности программы на основе модели Джелински-Моранды:
- •Оценка надежности программы на основе модели Миллса:
Третий критерий
Так как циклы, идущие от вершин 4 и 14 независимы друг от друга (2 подзадачи в программе), то в третьем критерии можно рассматривать комбинации всех маршрутов внутри этих независимых циклов:
M1: 1-2-22; p1=2
M2: 1-2-3-4-6-9-10-11-13-4-2-22; p2=8
M3: 1-2-3-4-6-7-2-22; p3=5
M4: 1-2-3-4-6-9-10-13-4-2-22; p4=7
M5: 1-2-3-4-6-9-10-11-12-9-10-11-13-4-2-22; p5=10
M6: 1-2-3-4-6-9-10-11-12-9-10-13-4-2-22; p6=9
M7: 1-2-3-14-16-20-14-2-22; p7=6
M8: 1-2-3-14-16-19-14-2-22; p8=6
M9: 1-2-3-14-16-20-14-16-19-14-2-22; p9=8
M10: 1-2-3-4-6-7-9-10-11-13-4-2-22; p10=8
M11: 1-2-3-4-6-7-4-6-9-10-13-4-2-22; p11=9
M12: 1-2-3-4-6-7-4-6-9-10-11-12-9-10-11-13-2-22; p12=11
M13: 1-2-3-4-6-7-4-6-9-10-11-12-9-10-13-2-22; p13=10
M14: 1-2-3-4-2-22; p14=4
M15: 1-2-3-14-2-22-9-5-9-11-2-14; p15=7
M16: 1-2-3-4-2-3-14-2-22; p16=7
Посчитаем третий критерий:
S3= 2+2+5+7+10+9+6+6+8+8+9+11+10+4+7+7 = 111
Таблица 16 Матрица смежности управляющего графа
|
1 |
2 |
3 |
4 |
6 |
7 |
9 |
10 |
11 |
12 |
13 |
14 |
16 |
19 |
20 |
22 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
1 |
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
3 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
1 |
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
6 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
7 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
9 |
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
10 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
11 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
12 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
13 |
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
14 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
1 |
|
16 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
19 |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
20 |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
22 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таблица 17 Матрица достижимости управляющего графа
|
1 |
2 |
3 |
4 |
6 |
7 |
9 |
10 |
11 |
12 |
13 |
14 |
16 |
19 |
20 |
22 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
3 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
4 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
6 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
7 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
9 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
10 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
11 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
12 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
13 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
14 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
16 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
19 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
20 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
22 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|