3.3. Усложнение и ошибка сопряжения модулей

Невозможность остановиться на рассмотрении системы как единого объекта, определяемого своим рабочим профилем, связана с проблемами тестирования - ведь для убеждения в том, что она корректна, надо проверить, что:

• каждое рабочее состояние профиля действительно участвует в некотором испытании
• на самом деле отсутствуют корректные испытания, определяющие те рабочие состояния,которые не должны входить в ожидаемый профиль

Для систем выше некоторого порога сложности обычно используют разбиение их на модули, сопрягаемые общепонятными средствами.

Надо только различать те реальные средства, которыми располагает разработчик, и те, которые он хотел-бы иметь - "логически корректные" средства сопряжения абстракных систем, напрример, автоматов мгновенного действия.

Так, в реальности имеется только средство выбора пути дальнейшего развития процесса, а хотелось бы, чтобы эти пути в итоге приводили бы к "непересекающиимся результатам".

Другой пример - усложнение, подразумевающее, что для более сложной системы хочется, чтобы в ней остались все "характерные черты поведения" исходной.

Но прежде, чем вводить для этого правила, в первую очередь для сопряжения нескольких систем в одну, надо заострить внимание на том, что если они не выполняются, то это ошибка конструкции.

То есть, эти правила построения (корректной) сложной системы определяют, как должны сопрягаться её корректные модули.

Содержательно такие средства сопряжения будут основаны на ранее введённых отношении И и отношении ЛИБО, но это будет относиться уже только к далее определяемым автоматам мгновенного действия.

Назад Вперёд