20.3. Консервативный шаг
Консервативным шагом в процессе конструирования (автомата мгновенного действия) называется такое изменение его описания (основы согласованной системы ВС), при котором старый и новый варианты соотносятся как О-проекция-прообраз. █
Замечание
Тем самым,
Главная теорема увязывает требование
согласованности со стремлением к
монотонности роста знания о разрабатываемой
системе, а именно:
если каждый
шаг усложнения оказывается
консервативен так, как это определено для
О-проекции, то не происходит потерь
знания и во всё время процесса
конструирования.
Это естественно трактовать, как возможность достижения законченного продукта без необходимости отдельного этапа тестирование на предмет соответствия явно ожидаемых свойств и реального их проявления во время исполнения, а только, возможно, для выдвижения и фиксации новых требований. █