Отзыв ведущей организации (1149626)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

УТВЕРЖДАЮ Директор Федерального государственного учреждения «Федеральный исследовательский рикладной М.В. Келдыша ии наук» А.И. Аптекарев ОТЗЫВ ведущей организации на диссертационную работу Луцива Дмитрия Вадимовича на тему «Поиск неточных повторов в документации программного обеспечения», представленную на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 — «математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Практическая значимость и актуальность работы Диссертационная работа Луцива Дмитрия Вадимовича посвящена вопросам, связанным с созданием и сопровождением документации программного обеспечения.

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

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

Инструменты и методы, которые позволят и а альном с ол атиэи ва но п жив жС1адниц, крайне важны и найдут широкое применение. Поэтому актуальность и практическая значимость диссертационной работы Луцива Д.В. не вызывает сомнений. Основные научные результаты Диссертация Луцива Д.В. состоит из введения, пяти глав, заключения, списка литературы и одного приложения, Во введении обосновывается актуальность темы, определяются цели и задачи работы. В первой главе приводится обзор подходов к структуризации документации программного обеспечения, описываются причины возникновения как точных, так и неточных повторов в программном обеспечении. Рассматриваются существующие подходы к поиску текстовых повторов.

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

В работе дается два определения неточных повторов; одно основано на известном ранее неформальном определении, второе — предложенное автором более универсальное определение. Приведено утверждение о взаимосвязи этих определений. В завершении главы приводятся результаты экспериментальных исследований реализации предложенного алгоритма поиска неточных повторов, Показано„ что экспериментальная реализация алгоритма б к енты в е а ~акулы, что подтверждает им лго и альной п ог о дцкшентациии. Дополнительно приводятся оптимизации алгоритма, направленные на сокращение объема выдачи, В третьей главе предложена нов а унт кти ет чн| повтоцов, основанная на разработанном автором алгоритме поиска неточных повторов по образцу. Методика заключается в циклическом выполнении пользователем двух шагов.

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

Для построения карты повторов используется известный инструмент С1опе Мшег. А д ы~ * ~ю~жю брыю~ фр~ ~а ~~шиу рлаиб~~~ ав лг и по аз , подробно описанный в данной главе, опирающийся на определения неточных повторов, данных во второй главе. В главе так же приводится подробное т ж нн В завершении главы приводятся результаты экспериментальных исследований реализации предложенного алгоритма поиска по образцу. По результатам исследований сделан вывод, что прямолинейная реализация алгоритма не обладает необходимой скоростью работы. Поэтому предложены оптимизации, н с тившие в емя а о ~ е из до приемлемого времени выполнения одного поиска неточных повторов около 14 сек)лил, что п во т п им аботанный алго итм щ дцрдктиК.

Доказано, что предложенные оптимизации не нарушают полноту алгоритма. В четвертой главе описан о л яп г а й ент ии на нове неточ 1х и в о ов. В методе в начале используются алгоритмы поиска неточных повторов, рассмотренные в предыдущих главах. Затем найденные неточные повторы анализируются, приводятся к единому виду. После этого, если позволяет формат документации, по неточным повторам строятся текстовые шаблоны, которые заменяют повторы. В результате использования метода л чшае ся т кт а лок:,1мента1еяи (одинаковые понятия описываются одинаковыми словами), нт и и и и я к ин т чи ич матич ки иб В пятой главе приводится описание разработанного автором программного инструмента Вир11са1е Р1пдег, основанного на разработанных автором алгоритмах, методика и методах. Достоверность основных положений и результатов работы Все результаты, выводы и рекомендации диссертационной работы достаточно полно и хорошо аргументированы, Диссертация имеет ясную и логичную структуру.

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

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

Результаты работ неоднократно докладывались и обсуждались на российских и международных конференциях и семинарах. Основные результаты диссертации опубликованы в 8 научных работах, 5 из которых зарегистрированных в РИНЦ. 3 статьи опубликованы в журналах из «Перечня российских рецензируемых научных журналов, в которых должны быть опубликованы основные научные результаты диссертаций на соискание ученых степеней доктора и кандидата наук» и 3 статьи в изданиях, входящих в базы цитирования Бсорпз и ХеЬ о1 Бс1епсе. Практическая ценность и рекомендации по использованию результатов диссертационной работы Результаты работы рекомендуются к использованию в Институте прикладной математики им.

М.В. Келдыша РАН, Институте программных систем им. А.К. Айламазяна РАН, Институте системного программирования РАН и других организациях, и могут найти применение при разработке и сопровождении программного обеспечения, а также разработке программного инструментария для написания и сопровождения документации программного обеспечения. Замечания Диссертация имеет логичную структуру и написана понятным языком. Однако, в тексте имеются отдельные опечатки, неудачные формулировки и недоработки.

1. В различных частях текста используются разные обозначения фрагмента текста: то «д», то «1г», что затрудняет чтение. 2. На стр. 4б в определении 2.1,3. указано для «У й Е (1, ..., г)-Ц», хотя, очевидно, должно быть «Ч й Е (1„..., ИС1)». 3. На стр. 47 в замечании 2.1.2 говорится„что «... <ЧС, ЧС'> =... также является вариативной группой в том случае, если она удовлетворяет определению 2.1.3», что является бессодержательным утверждением типа «<ЧС, ЧС'> является вариативной группой в том случае, если она удовлетворяет определению вариативной группы».

Характеристики

Тип файла PDF

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

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов диссертации