Методика выбора программного обеспечения компьютерных сетей
9
таких элементов
a
, что
k
p
a
является базой [4, 5]. Коцик-
лы из порождаемого базой
p
семейства
описываются следую-
щим образом.
Элемент
a
принадлежит коциклу
k
C
тогда и только то-
гда, когда либо
k
a
, либо
a P
и существует последовательность
1
, ...,
,
s
j
j
i
i
k
i
i
p
P
такая что
1
i
a P
,
1
j
j
i
i
P
при
1
1
j s
, и
s
i
k
O P
.
Такая последовательность позволяет построить новое представи-
тельство:
1
1
,
j
j
i
i
i
a P
P
при
1
1,
,
k
i
k
j s
P
для остальных
,
i
p
что является следствием метода чередующих-
ся цепей [6], позволяющего находить коциклы в явном виде.
Верхнюю оценку
,
R q
можно получить следующим обра-
зом. Присоединим к
множество индексов
1, ...,
I
M
, нуме-
рующих модули в
, и положим
'
i
i
P P i
. Тогда
I
есть трансвер-
саль семейства
'
'
'
1
, ...,
M
P P
, а порождаемое ею семейство ко-
циклов есть само
'
.
Таким образом,
'
M M
и
1
,
1
.
i
m
P
i
R q
q
Заключение.
Синтез ПО определяет способ работы КС посред-
ством разрешенного набора признаков
p
и разбиения программы
в соответствии с операциями (подпрограммами), реализуемы-
ми ПО для выполнения задачи.
Рассмотренный подход к синтезу ПО включает в себя: поиск ее
частичного описания с последующим построением полного набора
признаков; отыскание общего описания для разных вариантов
начального разбиения; построение разбиения ПО, соответствующего
найденному описанию. Этот подход применен для оценки надежно-
сти (вероятности связности случайного графа, представляемого слу-
чайным матроидом) ПО.
Представленные комбинаторные схемы и методы не претендуют
на полноту формализации процесса выбора ПО. Но они могут ока-
заться полезными при решении задач синтеза ПО.
