Рис. 1. Дерево конфигураций
Рис. 2. Функции, удовлетворяющие требованиям
разные функции при реализации могут иметь общие исходные коды
(рис. 2).
Из рисунка видно, что одному требованию может соответствовать
несколько функций. Каждой функции сопоставлено подмножество ис-
ходных кодов, которые ее реализуют. Реализации разных функций мо-
гут иметь общие исходные коды, т.е. подмножества исходных кодов
могут пересекаться. Пересекаться могут реализации функций, соот-
ветствующие как одному требованию, так и разным.
На рис. 3 схематично изображены подмножества исходных кодов,
реализующие различные функции. Для удобства восприятия все функ-
ции снабжены дополнительным индексом, указывающим на требова-
ние, к которому они относятся. Некоторые из представленных на рис. 3
подмножеств исходных кодов, реализующих ту или иную функцию,
пересекаются, поэтому мощность объединения подмножеств исход-
ных кодов функций будет меньше суммы мощностей подмножеств
исходных кодов функций.
Допустим, что все функции, соответствующие одному требованию,
равноправны. На примере требования
τ
2
можно сказать, что возмож-
ности системы в целом не зависят от того, какая функция и сопоста-
вленное ей подмножество исходных кодов будут выбраны:
ϕ
2
5
,
ϕ
2
8
или
ϕ
2
12
. Однако при необходимости реализации сразу нескольких требова-
ний есть смысл уменьшить число производимых операций, например
уменьшив число исходных кодов, которые следует обработать. Это-
го можно добиться, комбинируя различные функции. Поскольку по
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2009. № 3 23
