В настоящее время существует большое множество паттернов (design patterns) и методов для облегчения работы программиста. Шаблоны проектирования представляют собой общее архитектурное решение какой - то часто возникающей проблемы в рамках одного проекта [24].
Помимо полезных паттернов, действительно помогающих при написании программ, также существуют и антипаттерны (anti - patterns) - шаблоны, применение которых на первый взгляд может показаться полезным. На практике их использование приводит к появлению большого количества ошибок в коде, код становится малопонятным и нечитабельным. Антипаттерны, в отличие от шаблонов проектирования, представляют собой неправильное решение проблемы [20].
По классификации Уильяма Брауна с дополнениями Нейла и Лапланте, антипаттерны делятся на 4 типа [14, 15, 16]:
- антипаттерны разработки (development anti - patterns) - технические проблемы и решения, с которыми связаны программисты;
- архитектурные антипаттерны (architectural anti - patterns) - проблемы, связанные со структурой системы;
- организационные антипаттерны (managerial anti - patterns) - проблемы, за решение которых отвечают менеджеры или группы менеджеров;
- антипаттерны среды (environmental antipatterns) - проблемы, возникшие по вине доминирующей в организации структуры и социальной моделью, являющейся результатом действующей в организации общественной политики [14].
Один из методологических антипаттернов, относящийся к антипаттернам разработки, является программирование методом копирования-вставки. Программирование методом копирования и модификации существующих фрагментов кода приводит к тому, что на этапе тестирования возникают ошибки, которые трудно отыскать во множестве схожих участков кода. В итоге программисту требуется дополнительное время на отыскание и устранение ошибок, приведение кода в более понятный вид. Более подробно проблемы связанные с применением данного подхода, описаны в разделе 1.3.
Вместо того чтобы реализовать общее решение для схожих по структуре проблем, программисты довольно часто применяют copy-paste подход, который порождает большое количество схожих по структуре и функционалу фрагментов кода. Такие фрагменты принято называть клонами программного кода. По степени схожести фрагментов кода можно выделить три основных типа клонов (полные определения даны в разделе 1.1):
1. Клоны кода первого типа - это точная копия исходного кода без каких - либо изменений.
2. Клоны второго типа - это синтаксическая копия исходного кода с внесением изменений в имена или типы переменной, или идентификаторы функции.
3. Клоны кода третьего типа - в скопированном фрагменте кода вносятся изменения в команды, также программист может добавлять или удалять некоторые команды.
Первые два типа клонов можно отыскать с помощью методов лексического или синтаксического анализа. Клоны кода третьего типа могут отличаться своей реализацией, но иметь одинаковый смысл, поэтому для их поиска необходимо применять семантический анализ. Одним из методов,основанных на семантике, является векторная модель семантики (vector space model, VSM). Данная модель используется в информационном поиске для представления коллекции документов векторами из одного общего для всей коллекции векторного пространства. Векторная модель является основой для решения многих задач информационного поиска, таких как: поиск документа по запросу, классификация документов, кластеризация документов [21]. Применение данного метода для поиска семантически схожих участков кода позволит отыскать клоны кода всех трех типов.
Для создания качественного программного продукта необходимо проводить его анализ на наличие ошибок, в том числе, порождаемых при применении подхода copy-paste programming. Анализируя код на присутствие в нем клонов, можно не только сократить время на исправление ошибок исходного кода во фрагментах - клонах, но и улучшить внутреннюю структуру программы с помощью вынесения схожих по смыслу фрагментов.
Целью данной работы является разработка приложения, основанного на векторной модели семантики и способного отыскать клоны трехадресного кода всех трех типов, возникающих при применении подхода копирования- вставки и модификации исходного кода.
Для достижения данной цели были поставлены и реализованы следующие задачи:
1. Провести обзор существующих инструментальных средств, изучить алгоритмы их работы, выявить положительные и отрицательные качества продукта.
2. Изучить и разработать алгоритм, основанный на векторной модели семантики, проверить его эффективность и применимость для поиска клонов в трехадресном коде.
3. Реализовать приложение на основе предложенного алгоритма, проверить правильность и эффективность его работы.
В ходе проведения научного исследования была выявлена возможность построения анализатора кода, позволяющего находить клоны кода в трехадресном коде. В работе были рассмотрены типы клонов, алгоритмы их поиска, предложено и реализовано решение для отыскания клонов в трехадресном коде.
Применение векторной модели семантики для поиска схожих фрагментов подразумевает построение матрицы, на основе которой высчитывается мера схожести фрагментов. Стандартные матрицы VSM не позволяют достаточно полно описать структуру трехадресного кода для дальнейшего анализа. В связи с этим была разработана новая модель матрицы, в которой учитывается специфика трехадресного кода.
Также на основе VSM было предложено решение для предобработки трехадресного кода - разделение исходного графа программы на слабосвязные подграфы. В данном случае векторная модель семантики применялась для отыскания потенциальных клонов, что позволяет более точно найти клоны, затратив на поиск меньше времени.
По завершении достижения поставленных задач, была реализована цель магистерской работы - разработано приложение, основанное на векторной модели семантики, которое способного отыскать клоны трехадресного кода всех трех типов, возникающих при применении подхода копирования-вставки и модификации исходного кода.
Помощь студентам и аспирантам в выполнении работ от наших партнеров
