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

Очевидно, корректность можно рассматривать в двух аспектах в зависимости от взгляда на систему :

1. как на единый объект, который требует тестирования через множество испытаний
2. как на сумму модулей, сопрягаемых по некоторым правилам

В первом случае для системы, определяемоой своим рабочим профилем, надо проверить, что:

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

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

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

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

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

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

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

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

Назад Вперёд