Проверка достоверности модели SADT

Моделирование в SADT – инженерная дисциплина. Поэтому модели создаются и проходят серию последовательных улучшений до тех пор, пока они в точности не будут представлять объект моделирования. Одной из основных компонентов методологии SADT является итерационное рецензирование, в процессе которого автор и эксперт неоднократно проверяют достоверность создаваемой модели. Итерационное рецензирование называется циклом автор-читатель.

Цикл автор-читатель начинается в тот момент, когда автор принимает решение распространить информацию о какой-либо части своей работы с целью получения отзыва о ней. Организация своевременной обратной связи имеет важнейшее значение для эффективного моделирования, потому что даже малая доля неверной или неверно интерпретированной аналитиком информации, заложенной в SADT-диаграмму, может привести к недостоверному описанию моделируемой системы.

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

Для понимания деталей отдельной диаграммы необходимо:

− прочесть название и номер узла;

− изучить каждый блок;

− изучить внутренние стрелки;

− прочесть все замечания автора;

− просмотреть весь связанный с диаграммой дополнительный материал.

Чтение осуществляется наиболее эффективно, если все эти элементы диаграммы читаются последовательно.

Изучив внутренние детали диаграммы, следует остановиться на их контексте, определив связи между диаграммой и ее родителем. Это дает более глубокое понимание диаграммы, потому что граница объекта определяет, как диаграмма входит в остальную часть модели. Понять контекст диаграммы позволяет чтение:

− родительского блока и стрелок, появляющихся на родительской диаграмме и представляющих ограничения для изучаемой диаграммы;

− связей диаграммы с блоками родительской диаграммы;

− дополнительного материала к родительской диаграмме.

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

Критическая оценка означает постановку вопросов к содержанию диаграммы:

− верен ли синтаксис диаграммы;

− понимаю ли я, что хотел сказать автор;

− согласен ли я с тем, что выразил автор.

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

По методологии SADT только модель, прошедшая проверку на корректность синтаксиса, связей между составляющими её диаграммами и адекватность описания объекта моделирования может быть допущена к использованию в дальнейшей работе.