Инструментарий для выполнения лабораторных работ / lab1_2 / remarks / fundamental constructions

Замечания по использованию метода поуровневой детализации для расчета фундаментальной матрицы ПЦМ.

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

Следование:

a b c d

Фундаментальная матрица:

1	1	1	1
0	1	1	1
0	0	1	1
0	0	0	1

Ветвление:

p b

a d

1-p

c

Фундаментальная матрица:

a b c d

1	p	1-p	1
0	1	0	1
0	0	1	1
0	0	0	1

Цикл:

1-q

a b d

q

c

Фундаментальная матрица:

a b c d

1	1/(1-q)	Q/(1-q)	1
0	1/(1-q)	Q/(1-q)	1
0	1/(1-q)	1/(1-q)	1
0	0	0	1

(Красные вершины можно детализировать, черные - нет)

Примеры графов программ.

Пример 1. __ __ __ __ __ __ __ __ __ _

| |

| 1-q |

b c | d e f | g | q |

| |

| S h |

|__ __ __ ___ __ __ __ __ __|

Граф корректен, содержит следование (4 вершины b,c,S,g) и вершина S расширяется как цикл: 4 вершины d,e,f,h

Пример 2.

1-q

a b c d e f g q

h

Граф не корректен, так как следование (вершины а.b,c,S,g, где вершина S расширяется как цикл: 4 вершины d,e,f,h ) содержит 5 вершин, а не 4, как должно быть.