Засіб статичного аналізу .NET програм за допомогою переписувальних правил
Розроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті програмні системи, які побудовані на JVM. Для того, щоб працювати з C#-програма...
Збережено в:
| Дата: | 2020 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2020
|
| Назва видання: | Проблеми програмування |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/180461 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Засіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-180461 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1804612021-10-01T01:25:49Z Засіб статичного аналізу .NET програм за допомогою переписувальних правил Мамедов, Г.А. Дорошенко, А.Ю. Шевченко, Р.С. Прикладне програмне забезпечення Розроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті програмні системи, які побудовані на JVM. Для того, щоб працювати з C#-програмами, був реалізований спеціальний плагін до TermWare, який перекладає програми на мову термів. Цей плагін використовує компілятор Roslyn, який дозволяє знаходити синтаксичні помилки в програмах і дозволяє зосередитися на основній задачі – генерації термів з вихідного коду. Також описаний практичний додаток системи TermWare – статичний аналізатор, який знаходить проблеми відкритих-закритих файлів. Разработано программное средство, который находит в C#-программах проблемы ресурсопотребления з точки зрения работы с файлами с помощью переписывающих правил. Для этого была использована система TermWare, который можно легко встраивать в программные средства, которые работают на JVM. Для того, чтобы работать с C#-программами был реализованный специальный плагин для TermWare, который переводит программы на язык термов. Этот плагин использует компилятор Roslyn, который позволяет находить синтаксические ошибки в программах и сосредоточиться на основной задаче – генерации термов с исходного кода. Также описано практическое приложение системы TermWare – статический анализатор, который находит проблемы открытых-закрытых файлов. A software tool that finds problems of resource consumption in case of work with files using rewriting rules was implemented. To reach the goal, the TermWare system, which could be embedded into those systems running on JVM, was used. In order to work with C#-programs, the special plugin for TermWare, which helps to generate appropriate terms from source code, was developed. The plugin uses the Roslyn compiler, which allows users to find syntax errors in programs and focus on the primary task of generating terms from source code. Also, a practical application based on TermWare system – a static analyzer that finds problems with open-close files, was described in the article. 2020 Article Засіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/180461 004.4’24 DOI: https://doi.org/10.15407/pp2020.02-03.157 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Прикладне програмне забезпечення Прикладне програмне забезпечення |
| spellingShingle |
Прикладне програмне забезпечення Прикладне програмне забезпечення Мамедов, Г.А. Дорошенко, А.Ю. Шевченко, Р.С. Засіб статичного аналізу .NET програм за допомогою переписувальних правил Проблеми програмування |
| description |
Розроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті програмні системи, які побудовані на JVM. Для того, щоб працювати з C#-програмами, був реалізований спеціальний плагін до TermWare, який перекладає програми на мову термів. Цей плагін використовує компілятор Roslyn, який дозволяє знаходити синтаксичні помилки в програмах і дозволяє зосередитися на основній задачі – генерації термів з вихідного коду. Також описаний практичний додаток системи TermWare – статичний аналізатор, який знаходить проблеми відкритих-закритих файлів. |
| format |
Article |
| author |
Мамедов, Г.А. Дорошенко, А.Ю. Шевченко, Р.С. |
| author_facet |
Мамедов, Г.А. Дорошенко, А.Ю. Шевченко, Р.С. |
| author_sort |
Мамедов, Г.А. |
| title |
Засіб статичного аналізу .NET програм за допомогою переписувальних правил |
| title_short |
Засіб статичного аналізу .NET програм за допомогою переписувальних правил |
| title_full |
Засіб статичного аналізу .NET програм за допомогою переписувальних правил |
| title_fullStr |
Засіб статичного аналізу .NET програм за допомогою переписувальних правил |
| title_full_unstemmed |
Засіб статичного аналізу .NET програм за допомогою переписувальних правил |
| title_sort |
засіб статичного аналізу .net програм за допомогою переписувальних правил |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2020 |
| topic_facet |
Прикладне програмне забезпечення |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/180461 |
| citation_txt |
Засіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT mamedovga zasíbstatičnogoanalízunetprogramzadopomogoûperepisuvalʹnihpravil AT dorošenkoaû zasíbstatičnogoanalízunetprogramzadopomogoûperepisuvalʹnihpravil AT ševčenkors zasíbstatičnogoanalízunetprogramzadopomogoûperepisuvalʹnihpravil |
| first_indexed |
2023-10-18T22:50:03Z |
| last_indexed |
2023-10-18T22:50:03Z |
| _version_ |
1796156556032606208 |