Детальная информация

Тема выпускной квалификационной работы: «Динамический анализ корректности взаимодействия приложений и библиотек на основе спецификаций». Целью магистерской диссертации является разработка инструмента, позволяющего автоматизировать процесс проверки корректности использования программной библиотеки, основываясь на ее спецификации. Результатом работы инструмента является сформированный набор несоответствий вызовов методов библиотек в конкретных участках тестируемого проекта. Инструмент представлен в виде десктопного Java-приложения, которое позволяет анализировать другие Java-программы. На вход такой системы поступает информация о местоположениях программы, ее системы сборки (если таковая имеется) и спецификации программной библиотеки, описанной на языке LibSL.

The subject of the master’s degree thesis "Dynamic analysis of the correctness of the interaction of applications and libraries based on specifications." The aim of the master's thesis is to develop a tool to automate the process of checking the correctness of the use of a software library, based on its specification. The result of the tool's work is a generated set of inconsistencies in calls to library methods in specific areas of the project under test. The tool is presented as a desktop Java application that allows you to analyze other Java programs. The input of such a system receives information about the locations of the program, its build system (if any) and the specification of the software library described in the LibSL language.