Засіб статичного аналізу .NET програм за допомогою переписувальних правил

Засіб статичного аналізу .NET програм за допомогою переписувальних правил

Розроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті програмні системи, які побудовані на JVM. Для того, щоб працювати з C#-програма...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Проблеми програмування
Дата:2020
Автори: Мамедов, Г.А., Дорошенко, А.Ю., Шевченко, Р.С.
Формат: Стаття
Мова:Ukrainian
Опубліковано: Інститут програмних систем НАН України 2020
Теми:
Прикладне програмне забезпечення
Онлайн доступ:https://nasplib.isofts.kiev.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 nasplib_isofts_kiev_ua-123456789-180461
record_format dspace
spelling Мамедов, Г.А.
Дорошенко, А.Ю.
Шевченко, Р.С.
2021-09-29T16:00:27Z
2021-09-29T16:00:27Z
2020
Засіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр.
1727-4907
https://nasplib.isofts.kiev.ua/handle/123456789/180461
004.4’24
DOI: https://doi.org/10.15407/pp2020.02-03.157
Розроблено програмний засіб, який виявляє в 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.
uk
Інститут програмних систем НАН України
Проблеми програмування
Прикладне програмне забезпечення
Засіб статичного аналізу .NET програм за допомогою переписувальних правил
Средство статического анализа .NET приложений с помощью переписывающих правил
Static analysis of .NET programs using rewriting rules
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Засіб статичного аналізу .NET програм за допомогою переписувальних правил
spellingShingle Засіб статичного аналізу .NET програм за допомогою переписувальних правил
Мамедов, Г.А.
Дорошенко, А.Ю.
Шевченко, Р.С.
Прикладне програмне забезпечення
title_short Засіб статичного аналізу .NET програм за допомогою переписувальних правил
title_full Засіб статичного аналізу .NET програм за допомогою переписувальних правил
title_fullStr Засіб статичного аналізу .NET програм за допомогою переписувальних правил
title_full_unstemmed Засіб статичного аналізу .NET програм за допомогою переписувальних правил
title_sort засіб статичного аналізу .net програм за допомогою переписувальних правил
author Мамедов, Г.А.
Дорошенко, А.Ю.
Шевченко, Р.С.
author_facet Мамедов, Г.А.
Дорошенко, А.Ю.
Шевченко, Р.С.
topic Прикладне програмне забезпечення
topic_facet Прикладне програмне забезпечення
publishDate 2020
language Ukrainian
container_title Проблеми програмування
publisher Інститут програмних систем НАН України
format Article
title_alt Средство статического анализа .NET приложений с помощью переписывающих правил
Static analysis of .NET programs using rewriting rules
description Розроблено програмний засіб, який виявляє в 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.
issn 1727-4907
url https://nasplib.isofts.kiev.ua/handle/123456789/180461
citation_txt Засіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр.
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
AT mamedovga sredstvostatičeskogoanalizanetpriloženiispomoŝʹûperepisyvaûŝihpravil
AT dorošenkoaû sredstvostatičeskogoanalizanetpriloženiispomoŝʹûperepisyvaûŝihpravil
AT ševčenkors sredstvostatičeskogoanalizanetpriloženiispomoŝʹûperepisyvaûŝihpravil
AT mamedovga staticanalysisofnetprogramsusingrewritingrules
AT dorošenkoaû staticanalysisofnetprogramsusingrewritingrules
AT ševčenkors staticanalysisofnetprogramsusingrewritingrules
first_indexed 2025-12-01T23:55:26Z
last_indexed 2025-12-01T23:55:26Z
_version_ 1850861185417609217

Схожі ресурси