title: ÐÐ¸Ð½Ð°Ð¼Ð¸ÑÐµÑÐºÐ¾Ðµ Ð¸Ð·Ð²Ð»ÐµÑÐµÐ½Ð¸Ðµ ÑÑÐµÐ½Ð°ÑÐ¸ÐµÐ² Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ð¸Ñ Ð±Ð¸Ð±Ð»Ð¸Ð¾ÑÐµÐº Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð°Ð½Ð°Ð»Ð¸Ð·Ð° Ð¿ÑÐ¾ÐµÐºÑÐ¾Ð² Ð½Ð° Github
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð±Ð°ÐºÐ°Ð»Ð°Ð²ÑÐ°
titleType: Subtitle
title: Dynamic extraction of library usage scenarios based on repository analysis on GitHub
Creators: name: Ð§ÐµÐºÑÐ»Ð°ÐµÐ²Ð°, Ð®Ð»Ð¸Ñ
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2024
Subjects: Ð´Ð¸Ð½Ð°Ð¼Ð¸ÑÐµÑÐºÐ¸Ð¹ Ð°Ð½Ð°Ð»Ð¸Ð·
ÑÐ¿ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ñ
LibSL
Ð¸Ð½ÑÑÑÑÐ¼ÐµÐ½ÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ
GitHub
dynamic analysis
specification
instrumentation

description: Ð¦ÐµÐ»ÑÑ Ð´Ð°Ð½Ð½Ð¾Ð¹ ÑÐ°Ð±Ð¾ÑÑ ÑÐ²Ð»ÑÐµÑÑÑ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ° Ð³ÐµÐ½ÐµÑÐ°ÑÐ¾ÑÐ° ÐºÐ¾Ð½ÐµÑÐ½Ð¾Ð³Ð¾ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ° (ÐÐ) Ð½Ð° ÑÐ·ÑÐºÐµ LibSL Ð´Ð»Ñ Ð±Ð¸Ð±Ð»Ð¸Ð¾ÑÐµÐº Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð´Ð¸Ð½Ð°Ð¼Ð¸ÑÐµÑÐºÐ¾Ð³Ð¾ Ð°Ð½Ð°Ð»Ð¸Ð·Ð° ÑÑÐ°ÑÑ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼. ÐÑÐµÐ´Ð¼ÐµÑ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ ÑÐ°Ð±Ð¾ÑÑ â Ð¼ÐµÑÐ¾Ð´Ñ Ð°Ð½Ð°Ð»Ð¸Ð·Ð° ÑÑÐ°ÑÑ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼. ÐÐ¸Ð¶Ðµ Ð¿ÑÐ¸Ð²ÐµÐ´ÐµÐ½Ñ Ð·Ð°Ð´Ð°ÑÐ¸, ÑÐµÑÐ°ÐµÐ¼ÑÐµ Ð² ÑÐ°Ð¼ÐºÐ°Ñ Ð´Ð°Ð½Ð½Ð¾Ð¹ ÑÐ°Ð±Ð¾ÑÑ: Â  Â  1. ÐÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ðµ Ð¿ÑÐµÐ´Ð¼ÐµÑÐ½Ð¾Ð¹ Ð¾Ð±Ð»Ð°ÑÑÐ¸. Â  Â  2. ÐÐ¾ÑÑÐ°Ð½Ð¾Ð²ÐºÐ° Ð·Ð°Ð´Ð°ÑÐ¸. Â  Â  3. ÐÑÐ¾ÐµÐºÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ. Â  Â  4. Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ° Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ. Â  Â  5. Ð¢ÐµÑÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ. Ð Ð¿ÑÐ¾ÑÐµÑÑÐµ Ð²ÑÐ¿Ð¾Ð»Ð½ÐµÐ½Ð¸Ñ ÑÐ°Ð±Ð¾ÑÑ Ð±ÑÐ»Ð¸ ÑÐ°ÑÑÐ¼Ð¾ÑÑÐµÐ½Ñ Ð¼ÐµÑÐ¾Ð´Ñ ÑÐ¾ÑÐ¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ ÑÑÐµÐ½Ð°ÑÐ¸ÐµÐ² Ð¿Ð¾Ð²ÐµÐ´ÐµÐ½Ð¸Ñ Ð±Ð¸Ð±Ð»Ð¸Ð¾ÑÐµÐº Ð¸ ÑÐ¿Ð¾ÑÐ¾Ð±Ñ Ð¸Ð½ÑÑÑÑÐ¼ÐµÐ½ÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð¿ÑÐ¾ÐµÐºÑÐ¾Ð². Ð¢Ð°ÐºÐ¶Ðµ Ð±ÑÐ» Ð¿ÑÐ¾Ð¸Ð·Ð²ÐµÐ´ÑÐ½ Ð¾Ð±Ð·Ð¾Ñ Ð°Ð½Ð°Ð»Ð¾Ð³Ð¸ÑÐ½ÑÑ ÑÐµÑÐµÐ½Ð¸Ð¹: Ð¼ÐµÑÐ¾Ð´Ð¾Ð², Ð³ÐµÐ½ÐµÑÐ¸ÑÑÑÑÐ¸Ñ ÑÑÐµÐ½Ð°ÑÐ¸Ð¸ Ð¿Ð¾Ð²ÐµÐ´ÐµÐ½Ð¸Ñ Ð±Ð¸Ð±Ð»Ð¸Ð¾ÑÐµÐº Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð¿Ð¾Ð»ÑÑÐµÐ½Ð½ÑÑ ÑÑÐ°ÑÑ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼. Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ ÑÐ°Ð±Ð¾ÑÑ Ð±ÑÐ»Ð¾ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð¾ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ, Ð³ÐµÐ½ÐµÑÐ¸ÑÑÑÑÐµÐµ ÑÐ¿ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ñ Ð±Ð¸Ð±Ð»Ð¸Ð¾ÑÐµÐºÐ¸ Ð½Ð° ÑÐ·ÑÐºÐµ LibSL Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð°Ð½Ð°Ð»Ð¸Ð·Ð° ÑÐµÐ¿Ð¾Ð·Ð¸ÑÐ¾ÑÐ¸ÐµÐ² Ð½Ð° GitHub, Ð¸ÑÐ¿Ð¾Ð»ÑÐ·ÑÑÑÐ¸Ñ ÐµÑ. ÐÑÐ»Ð¾ Ð¿ÑÐ¾Ð²ÐµÐ´ÐµÐ½Ð¾ ÑÐµÑÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ ÑÐ°Ð±Ð¾ÑÑ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ. Ð ÐµÐ·ÑÐ»ÑÑÐ°ÑÑ ÑÐµÑÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð¿Ð¾ÐºÐ°Ð·ÑÐ²Ð°ÑÑ, ÑÑÐ¾ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ ÑÐ°Ð±Ð¾ÑÐ°ÐµÑ. ÐÐ¾Ð»ÑÑÐµÐ½Ð½Ð¾Ðµ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ Ð¼Ð¾Ð¶ÐµÑ Ð±ÑÑÑ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ð¾ Ð´Ð»Ñ ÑÐ¿ÑÐ¾ÑÐµÐ½Ð¸Ñ ÑÐ¾Ð·Ð´Ð°Ð½Ð¸Ñ ÑÐ°ÑÑÐ¸ ÑÐ¿ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¸, Ð¾Ð¿ÑÐµÐ´ÐµÐ»ÑÑÑÐµÐ¹ Ð¿Ð¾Ð²ÐµÐ´ÐµÐ½Ð¸Ðµ Ð±Ð¸Ð±Ð»Ð¸Ð¾ÑÐµÐºÐ¸.
description: The purpose of this work is to develop a finite automaton (FA) generator in LibSL language for libraries based on dynamic analysis of programme traces. The subject of research of the work is methods of analysis of program traces. The tasks to be solved in the framework of this work are as follows: Â  Â  1. Study of the subject area. Â  Â  2. Problem statement. Â  Â  3. Designing the application. Â  Â  4. Developing the application. Â  Â  5. Testing the application. In the process of work performance the methods of generation of scenarios of library behaviour and ways of project instrumentation were considered. Similar solutions such as methods that generate library behaviour scenarios on the basis of obtained program traces were also reviewed. As a result, an application generating library specification in LibSL language based on analysis of repositories using that library on GitHub was developed. Testing of the application operation was carried out. The results of testing show that the application works. The resulting application can be used to simplify the creation of the part of the specification that defines the librarys behaviour.