10.4. Объединение представлений

На этапе объединения представлений производится определение и обработка извлеченной информации (которая теперь хранится в базе данных); эти операции направлены на согласование и расширение элементов, а также на установление между ними соединений. Для получения дополнительной информации задействуются разного рода методики извлечения. Уяснить принципы объединения помогают приведенные в последующих разделах примеры.

Импорт представления

Рассмотрим две выборки, показанные на рис. 10.3. Они заимствованы из наборов методов (каждому из которых предшествует соответствующий класс), извлеченных из реализованной на C++ системы. В таблицах представлена статическая и динамическая информация об объектно-ориентированном сегменте кода. К примеру, в таблице динамической информации показан вызов метода List::getnth. С другой стороны, пропущенный статическим инструментом извлечения, этот метод не вошел в состав результатов статического анализа. Кроме того, среди статической информации нет вызовов метода-конструктора и метода-деструктора ImputValue и List; их придется добавить в таблицу классов/методов, которая выполняет согласование обоих источников информации.

Далее, согласно приведенным в настоящем примере результатам статического извлечения, у класса PrimitiveOp есть метод под именем Compute. Динамическое извлечение не обнаруживает такого класса, однако в то же время демонстрирует наличие таких классов, как ArithmeticOp, AttachOp и StringOp, у которых есть метод Compute и которые фактически являются подклассами PrimitiveOp. Итак, поскольку PrimitiveOp, очевидно, является суперклассом, в исполняемой программе он не вызывается. Однако статический инструмент извлечения, сканируя исходный код, обнаруживает вызов PrimitiveOp; полиморфный вызов одного из подклассов PrimitiveOp, напротив, происходит в период прогона.

Для того чтобы сформировать точное представление архитектуры, необходимо согласовать статическую и динамическую информацию о суперклассе PrimitiveOp. Соответственно, нужно провести объединение, для чего требуется сформировать SQL-запросы на извлеченные отношения calls, actually_calls и has_subclass. По результатам видно, что вызовы суперкласса PrimitiveOp::Compute (полученные на основе статической информации) и его многочисленных подклассов (полученные на основе динамической информации) — это фактически одно и то же.

В двух списках на рис. 10.4 показаны элементы, добавленные в объединенное представление (в дополнение к тем, которые присутствуют и в статической, и в динамической информации) и исключенные из него (несмотря на их наличие в статической или динамической информации).

Устранение неоднозначности вызовов функций

В многопроцессных приложениях велика вероятность возникновения конфликтов имен. Например, процедура под именем main может встречаться сразу в нескольких процессах. В рамках извлеченных представлений крайне важно устанавливал» и устранять подобные конфликты. Стоит повторить, что исключению потенциальной неоднозначности способствует объединение легко извлекаемой информации. В данном случае требуется объединить статическую таблицу calls с таблицей «включения функций в файлы» (выражающей соответствие определений функций и исходных файлов) и таблицей «зависимости между конструкциями» (устанавливающей соответствие между компилируемыми исходными и исполняемыми файлами). Объединение этих источников информации позволяет превратить потенциально неоднозначные имена процедур и методов в уникальные, допускающие возможность однозначного обращения в процессе архитектурной реконструкции.

Практические рекомендации

На этом этапе также следует учитывать ряд соображений.

♦ Если по отдельности извлеченные таблицы оказываются не в состоянии предоставить необходимую информацию, объедините их.

♦ Если внутри одной из таблиц существует неоднозначность и устранить ее без обращения к другим таблицам не представляется возможным, объедините таблицы.

♦ В зависимости от информации, которую предполагается извлечь, имеет смысл задействовать разные методики; к примеру, в вашем распоряжении динамический и статический методы извлечения. Кроме того, в случае появления подозрений на ошибочность или неполноту информации, предоставляемой тем или иным инструментом, можно ввести новые средства, относящиеся к той же методике, — например, воспользоваться несколькими синтаксическими анализаторами одного языка.