Объединение представлений и реконструкцияНа рис. 10.9 показана необработанная извлеченная модель, состоящая из 830 узлов (элементов) и 2507 отношений. Теперь наша первоочередная задача попытаться как-то структурировать весь этот хаос, то есть приступить к исполнению сегментов кода. Надежнее всего сначала сгруппировать функцию и все определяемые в ней локальные переменные в новый составной элемент. После исполнения показанного в листинге 10.2 сегмента кода модель UCMEdit все еще являет собой странного вида паутину из узлов и ребер, но она уже заметно проще, чем извлеченные представления (см. рис. 10.9) до исполнения сегментов кода группировки функций. Теперь в модели UCMEdit 710 узлов и 2321 отношение. Как мы знаем, UCMEdit является объектно-ориентированной системой; этим знанием следует воспользоваться при исполнении следующего низкоуровневого сегмента кода. Схожий по своему характеру с сегментом свернутых функций, этот сегмент кода сводит воедино классы, их переменные-члены и функции-члены, отображая их в виде единого узла класса. Модель, полученная по результатам его исполнения, показана на рис. 10.4; в ней всего 233 узла и 518 ребер — это значительное визуальное упрощение, однако обработка модели в такой форме все еще непрактична. Элементов, не относящихся к какому бы то ни было извлеченному классу, до сих пор хватает. Причин для этого может быть две: дефект задействованных средств извлечения или отклонение решений от классического объектно-ориентированного проектирования. В данном случае справедливо и то и другое. По результатам детального анализа выясняем, что ошибки исходят от сегментов кода извлечения, — вызовы функций-членов они выдают за вызовы глобальных функций. Кроме того, ряд функций, которые действительно являются глобальными, не обнаруживают принадлежности ни к одному из определенных в системе классов. Некоторые глобальные функции, выраженные в форме системных вызовов или примитивов системы управления окнами, естественно, необходимы. О том, как подобного рода «остаточные» явления отделить от остальной архитектуры, мы и поговорим далее. На данном этапе модель UCMEdit представляет собой совокупность файлов, классов, остаточных функций и глобальных переменных. Локальные переменные сгруппированы с определяющими их функциями, а функции-члены и переменные-члены — с соответствующими классами. Глобальные переменные и функции теперь можно компоновать в файлы, в которых они определены, — делается это примерно так же, как компоновались функции и классы. В показанной на рис. 10.10 результирующей модели осталось три группы элементов: файлы, классы и остаточные функции. Прогресс в визуальном отображении опять налицо, но,„-тинного удобства манипулирования еще далеко.
Все исполненные до настоящего момента сегменты кода, с одной стороны, независимы от конкретного применения, но с другой — связаны со специализированными методиками извлечения и предметной областью программ C++. В следующих наборах сегментов кода, которые нам предстоит исполнить, задействуются экспертные знания, связанные с архитектурой UCMEdit. Таким образом, процесс реконструкции отходит от механического анализа, подразумевающего применение готовых сегментов кода, в пользу методики адаптивного распознавания и определения образцов, использующей информацию об архитектуре системы, которой должны обладать ее проектировщик и опытные программисты. Специализированные знания, которые мы применяем к рассматриваемой системе в первую очередь, можно сформулировать следующим образом. ♦ Это интерактивное графическое приложение. ♦ В ней реализуется попытка инкапсулировать обращения к нижележащей подсистеме управления окнами и графикой в рамках одного уровня. ♦ Функции, входящие в задействованные графические библиотеки (Xlib, X Forms и Mesa), придерживаются характерных соглашений по присваиванию имен. Исходя из этих наблюдений разумно предположить существование архитектурных образцов — возможно, подсистем или отдельных образцов взаимодействия. По большому счету, эти предположения носят характер гипотез, для проверки которых мы должны убедиться в наличии или отсутствии образцов. Если результат упростит картину и окажется в согласии с нашими предположениями, значит, гипотеза верна и мы угадали ход мыслей архитектора. Даже если окажется, что мы заблуждались, в нашем распоряжении будет справедливая и полезная посылка к пониманию системы. В представленных в листинге 10.5 сегментах кода, которые ориентированы на выявление графической подсистемы, внешние функции дополняют приложение функциональностью, связанной с отображением и взаимодействием. Рассмотрим первый сегмент кода — отфильтровывая все функции, являющиеся членами классов (тех, что выражены в виде поля tDefines в кортеже отношения defines_fn), он конструирует из таблицы elements новую таблицу. Затем он выбирает из новой таблицы все те функции, которые вызываются функциями, определенными в подклассах класса Presentation. Интересно, что этот сегмент кода ссылается на подклассы Presentation. Таким образом, он скрыто идентифицирует уровень, который, по мысли проектировщиков исходной системы, должен был инкапсулировать обращения к графической подсистеме. Эту информацию необходимо использовать в наших целях. Второй, третий и четвертый сегменты кода — именно в такой последовательности, — специфицируя сами себя именами функций, идентифицируют функции, определенные в библиотеках Mesa, XForms и Xlib соответственно. Листинг 10.5. Сегменты кода графической подсистемы UCMEdit # 1: Выявление вызовов с уровня доступа к графическим данным. DROP TABLE tmp; SELECT * INTO TABLE tmp FROM elements; DELETE FROM tmp WHERE tmp.tName=defines_fn.tDefines; SELECT tl.tName FROM tmp tl, calls cl, defines_fn dl, has_subclass si, has_subclass s2 WHERE tl.tName=cl.tCallee AND cl.tCaller=dl.tDefines AND dl.tDefined_by=sl.tSubclass AND sl.tSuperclass=’Presentation'; print "Graphics $fields[0]+ null\n"; # 2: Выявление вызовов функций Mesa. SELECT tName FROM elements WHERE tType='Function' AND tName LIKE 'gl%'; print "Graphics $fields[0]+ null\n"; # 3: Выявление вызовов функций XForms. SELECT tName FROM elements WHERE tType='Function' AND tName LIKE *f1_%1; print "Graphics $fields[0]+ null\n"; выявление вызовов функций XIib TABLE tmp; 0 SELECT * INTO TABLE tmp FROM elements; DELETE FROM tmp WHERE tmp.tName=defines_fn.tDefines- SELECT cl.tName FROM tmp cl WHERE tType='Function' AND tName LIKE ’X%'; print "Graphics $fields[0]+ null\n"; Взятые в целом, сегменты кода 2, 3 и 4 идентифицируют архитектурный элемент Graphics, который не прослеживается среди извлеченной информации, но в то же время присутствует в проектной архитектуре. Это хороший пример сопоставления реализованного и проектного вариантов архитектуры, проводящегося путем последовательного исполнения сегментов кода. Его результаты применительно к модели UCMEdit показаны на рис. 10.11.
Го Тратите внимание: имена элементов, группируемых в рамках архитектурно- элемента Graphics, содержат символ «+», присоединенный представленны и на рисунке сегментами кода. Согласно этой методике, обращение к ранее сконструированным составным элементам производится без подачи со стороны сегментов кода явного запроса в базу данных. На рис. 10.11 всего две остаточные функции: fabs и []; последняя, очевидно, появилась в результате ошибки при извлечении, а вот первая — это функция математической библиотеки, которую следовало отфильтровать раньше, вместе со стандартными функциями библиотек С и встроенными функциями. Как бы то ни было, ни одна из них не представляет для нас интереса, а значит, их можно безболезненно удалить из модели. Распределение функций по категориям «интересные» и «неинтересные» зависит от задач реконструкции. Если специалиста по реконструкции интересует конкретный аспект системы — например, зависимость подсистем от библиотек для конкретной платформы или операционной системы, вряд ли он будет удалять упомянутые функции из конкретной модели; более вероятно, что он сгруппирует их на отдельном уровне, с тем чтобы проанализировать их применение остальной частью приложения. Но наша задача заключается в том, чтобы построить архитектурное отображение прикладной части системы, и поэтому мы можем себе позволить от них избавиться. Второй общий прикладной сегмент кода основывается на знаниях об отношении между классами и файлами в рассматриваемых приложениях. Во-первых, в исходном файле (.сс) не могут содержаться функции, относящиеся к нескольким классам; во-вторых, в заголовочном файле (.h) не может быть определений для нескольких классов. Отсюда возможность установить уникальное отношение вложенности: любой класс состоит из заголовочного файла, в котором содержится его определение, и исходного файла, определяющего его функции. Сегмент кода, генерирующий эти группировки, показан в листинге 10.6 Листинг 10.6. Сегменты кода, направленные на установление вложенности классов/файлов SELECT DISTINCT tDefined_by FROM defi nes_fn; print “$fields[0]+ $fields[0]+ Class $fields[0]++\n"; SELECT DISTINCT dl.tDefined_by, cl.tContainer FROM defines_fn dl, contains cl WHERE cl.tContai nee=dl.tDefi nes; print "$fields[0]+ $fields[l]+ Class\n"; SELECT dl.tClass, dl.tFile FROM defines dl: print "$fields[0]+ Sfields[1] Class\n"; Тот же пример иллюстрирует дополнительную характеристику подобных спецификаций — последнее поле в выражении peri, ассоциированном с первым сегментом кода ($fields[0]++), устанавливает переименование группируемого элемента. В этом сегменте кода происходит группировка классов в составные элементы (наличие в их именах замыкающих символов «+» связано с рассматриваемыми в разделе 10.4 сегментами кода для свертывания классов). Они получают имена «eclass»*'. исходные композиты классов при этом переименовываются в <class>++. {V.ty-lbiaT показан на рис. 10.12.
UCMEdit замышлялась как макетная система, демонстрирующая преимущества компьютерного редактирования use case карт. Поскольку «реберное» архитектурное решение этого приложения в начале разработки не рассматривалось, идентификацию архитектурных элементов из конкретной модели приходится проводить исходя из структуры приложения на момент завершения разработки. Методом непосредственного манипулирования, изложенным ниже, мы постараемся экстраполировать наше понимание приложения на его модель. Во-первых, нам известно (эти знания подтверждаются по результатам наблюдения за моделью), что центральным элементом в структуре приложения является callbacks.cc, — в нем содержатся все обработчики событий системы и большая часть реализации пользовательского интерфейса. Во-вторых, наблюдаются явные взаимосвязи между двумя оставшимися файлами и классами, с которыми они соединены: interpolate.сс ассоциируется исключительно с BSpline, а к fisheye.cc обращаются только Box и Component. В-третьих, мы можем еще раз задействовать знания 0 структуре уровня инкапсуляции графики, или представления (presentation); °н, как известно, выражается в классе Presentation и его подклассах. В-четвертых, по нашим наблюдениям, между классами List, Listltem и Listlterator существует функциональная связь, и, кроме того, к ним обращаются почти все остальные классы. Все эти наблюдения реализуются путем: ♦ идентификации файла callbacks.сс с архитектурным элементом Interaction- + агрегирования файла interpolate.cc в элемент BSpline; ♦ агрегирования класса Presentation и его подклассов в элемент Presentation; ♦ агрегирования классов List, Listltem и Listlterator в элемент List, его сокрытия и трактовки в качестве «обслуживающего уровня». Результаты внесения в модель всех этих изменений показаны на рис. 10.13.
На данном этапе следует тщательно обдумать варианты дальнейшего упрощения модели. Автоматическая кластеризация на основе теоретико-графовых свойств наподобие силы связей в нашем случае бесполезна. Есть и другой вариант - попытаться построить уровни исходя из организации, сгенерированной алгоритмом компоновки графа (рис. 10.13), однако в этом случае функциональная согласованность в рамках уровней оставляет желать лучшего. Другими словами, обе выдвинутые гипотезы не подтверждаются системой, и поэтому мы не настаиваем на их правомерности. Однако, с оглядкой на предметную область use case карт, мы возьмемся выдвинуть еще одну гипотезу. Проанализировав понятия в use case картах, мы обнаружили, что элементы делятся на две широкие категории: одни связаны с компонентами, а другие — k;Л I ими, и именно эти две основные конструкции составляют use case карту. rjynamicArrow, Path, Point, Responsibility, Segment, Stub и BSpline связаны с путями; gox. Component, Dependent, Handle и fisheye.ee — с компонентами. Результат кластеризации этих элементов на два архитектурных элемента — Path и Component — покапан на рис. 10.14.
По результатам проверки соединений между элементами все еще обнаруживайся большое количество взаимосвязей. В принципе, ничего страшного, однако этообстоятельство наводит на мысль о том, что архитектуре UCMEdit не хватает функциональной согласованности в рамках элементов и их соединений. f К сожалению, никаких более значительных усовершенствований в модель ' нам внести не удастся. У этой системы есть такой недостаток, как сложность отображения функциональности на программную структуру. Отсюда невозможность абстрагирования функционально связных элементов высокого уровня в- рамках архитектуры. С другой стороны, накопленные знания позволяют сделать ряд предложений но усовершенствованию архитектуры и составить документацию. Последняя возможность представляет особую ценность, поскольку, как мы выяснили, системе UCMEdit не хватает концептуальной целостности, а это зачастую выводит на первый план интуитивное понимание. Заключение Неосязаемость архитектуры во многих случаях приводит к тому, что на протяжении жизненного цикла системы она утрачивается или разрушается. Именно с этим связана потребность в методиках восстановления и извлечения вариантов архитектуры из унаследованных систем. Мы в настоящей главе представили обзор типичного процесса архитектурной реконструкции и весьма подробно изложили пример его проведения. Нетривиальность отображения архитектуры на артефакты системы уровня исходного кода значительно усложняет архитектурную реконструкцию; для того чтобы облегчить ее проведение, желательно привлекать к процессу специалистов, обладающих солидными знаниями о рассматриваемой системе. Нисколько не умаляя важности инструментальных средств — особенно в тех случаях, когда они сочетаются в рамках компактного инструментария, — мы все же отметим, что в контексте реконструкции человеческие знания имеют поистине непреходящую ценность. Дополнительная литература В настоящее время существует несколько инструментариев реконструкции. В Институте программной инженерии (Software Engineering Institute, SEI) разработан инструментарий Dali [Kazman 99а]. Также следует упомянуть продукт разработки Sneed [Sneed 98], фабрики программного обновления, созданные Вероефом (Chris Verhoef) и его коллегами [Brand 97], а также инструментальный набор воссоздания архитектуры от Philips Research [Krikhaar 99]. Обзор стандартной формы Rigi содержится в издании [Muller 93]. Инструмент Rigi описывается в работе [Wong 94]. В труде [Bowman 99] изложен метод извлечения архитектурной документации из кода реализованной системы, сильно напоминающий Dali. В частности, там приводится пример реконструкции архитектуры системы Linux, в ходе которой путем анализа исходного кода программой cfx (это инструмент быстрого извлечения кода С) была получена символьная информация, на основе которой впоследствии провели генерацию набора отношений между символами. Затем последовала ручная древовидная декомпозиция системы Linux на подсистемы и назначение им исходных файлов. Далее при помощи утилиты обработки существенных фактов были установлены отношения между идентифицированными подсистемами, а посредством инструмента визуализации Isedit проведена вирилизация извлеченной структуры системы. Уточнить результирующую структуру удалось путем перемещения исходных файлов из одной подсистемы в другую. Харрнс (Harris) и ряд его коллег предлагают совместить в рамках каркаса архитектурной реконструкции восходящий и нисходящий подходы [Harris 95]. Каркас этот включает три части: механизм отображения архитектуры, машину распознавания исходного кода вместе со вспомогательной библиотекой запросов на распознавание, а также механизм «панорамного» обзора программы. При восходящем анализе панорамное представление позволяет отображать файловую структуру и исходные элементы системы, а также реорганизовывать информацию в рамках более содержательных кластеров. В нисходящем анализе для выявления тех элементов, которые планируется обнаружить в программной системе, используются отдельные архитектурные образцы. Запросы на распознавание помогают проводить проверку на предмет существования ожидаемых элементов. В работе [Guo 99] приводится обзор полуавтоматического метода восстановления архитектуры под названием ARM, подходящего, правда, только для тех систем, которые проектировались и разрабатывались с помощью образцов. Состоит он из четырех основных этапов: 1) разработка конкретного плана распознавания конкретных образцов; 2) извлечение исходной модели; 3) обнаружение и оценка экземпляров образцов; 4) реконструкция и анализ архитектуры. Параллельно с описанием метода ARM в издании приводятся конкретные примеры его применения в целях реконструкции систем и проверки их соответствия документированным вариантам архитектуры. Дискуссионные вопросы 1. Предположим, что, по вашему мнению, у реконструируемой системы многоуровневая архитектура. Какого рода информацией, извлеченной из исходного кода, эту гипотезу можно подтвердить или опровергнуть? 2. Предположим, что, по вашему мнению, архитектура реконструируемой системы соответствует схеме совместно используемого репозитария. Какой информацией, извлеченной из исходного кода, эту гипотезу можно подтвердить или опровергнуть? 3. Укажите архитектурные представления, которые следует реконструировать, Для каждого из перечисленных в разделе 10.1 вариантов применения реконструкции. 4. В главе 6 описывается кодовый шаблон, который предусматривает последовательное обеспечение высокой готовности в масштабах всей системы Управления воздушным движением ISSS. Предположим, что вы решили проверить разработчиков и специалистов по сопровождению на предмет следования этому шаблону в различные периоды жизненного цикла системы. Опишите процесс реконструкции, который вам в гаком случае пришлось бы провести.
|
