1. Функциональная полнота сс

В рамках этого подхода при определении функциональной полноты СС необходимо выполнить следующее.

1. Выполнить анализ объекта применения СС, т.е. предметной области СС. В результате этого анализа будет выявлено:

F – функциональное множество задач, требующих решения;

I – характеристики этих задач (поток входящей и выходящей информации по каждой задаче)

f_i (I_вх,I_вых), причем f_i  F или {f_i}₁ⁿ=F ;

U – предметная область (система);

а_i – алгоритм, или метод решения каждой из поставленных задач,

а_i df f_i(I_вх,I_вых)

2. На основе полученного анализа можно определить, является ли данная СС функционально полной, непротиворечивой и независимой.

Определим функциональную полноту СС

1. Множество задач F предметной области должно поэлементно совпадать с множеством Р задач (программ), решаемых данной системной СС;

P(F) ? F или {f_i} ? { а_i }. Если ДА, то переход к п.2.2

2.2. Входящий и выходящий поток информации объекта применения должен совпадать с входящим и выходящим потоком информации в СС.

{D_вх,D_вых}U? {I_вх,I_вых}СС

2.3 Алгоритмы работы в рамках предметной области должны совпадать с алгоритмами соответствующих процессов в СС.

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