Javachecker: статический анализ программных комплексов с помощью переписывающих правил
У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної
 обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної
 семантики програмних систем, а до окремих характеристик. Це дозволяє уникнути скл...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/2310 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Javachecker: статический анализ программных комплексов с помощью переписывающих правил /Р. Шевченко // Проблеми програмування. — 2004. — N 2,3. — С. 223-230. — Бібліогр.: 9 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862666376127184896 |
|---|---|
| author | Шевченко, Р. |
| author_facet | Шевченко, Р. |
| citation_txt | Javachecker: статический анализ программных комплексов с помощью переписывающих правил /Р. Шевченко // Проблеми програмування. — 2004. — N 2,3. — С. 223-230. — Бібліогр.: 9 назв. — рос. |
| collection | DSpace DC |
| description | У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної
обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної
семантики програмних систем, а до окремих характеристик. Це дозволяє уникнути складнощів повної формалізації
задачі, і у той-же час дозволяє проводити прагматично корисні висновки щодо характеристик програмної системи
(такі, як наявнісьт помилок визначенного классу) за допомогою порівняльно невеликого об'єму обчислень.
Описується статичний аналізатор програм на мові Java (JavaCheker), що реалізує даний підхід і побудован у
середовищі алгебраїчного програмування TermWare.
This work describeі an approach to software system analysis, based on the methods of symbolic comutations. The approach
is characterized by using light-weight formal model based not on full-fledged computation semantics, but on particular
properties of underlying software system. Such approach eliminate need in full formal analysis of software system and allows
to receive some pragmatically usefull results about software (such as existence of some types of errors) without complex
comutations. Static analyzer for Java source code (JavaChecker) build on top of TermWare framework is described.
|
| first_indexed | 2025-12-07T15:19:51Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-2310 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T15:19:51Z |
| publishDate | 2004 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Шевченко, Р. 2008-09-17T13:13:11Z 2008-09-17T13:13:11Z 2004 Javachecker: статический анализ программных комплексов с помощью переписывающих правил /Р. Шевченко // Проблеми програмування. — 2004. — N 2,3. — С. 223-230. — Бібліогр.: 9 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2310 681.3 У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної
 обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної
 семантики програмних систем, а до окремих характеристик. Це дозволяє уникнути складнощів повної формалізації
 задачі, і у той-же час дозволяє проводити прагматично корисні висновки щодо характеристик програмної системи
 (такі, як наявнісьт помилок визначенного классу) за допомогою порівняльно невеликого об'єму обчислень.
 Описується статичний аналізатор програм на мові Java (JavaCheker), що реалізує даний підхід і побудован у
 середовищі алгебраїчного програмування TermWare. This work describeі an approach to software system analysis, based on the methods of symbolic comutations. The approach
 is characterized by using light-weight formal model based not on full-fledged computation semantics, but on particular
 properties of underlying software system. Such approach eliminate need in full formal analysis of software system and allows
 to receive some pragmatically usefull results about software (such as existence of some types of errors) without complex
 comutations. Static analyzer for Java source code (JavaChecker) build on top of TermWare framework is described. ru Інститут програмних систем НАН України Методы и средства программной инженерии Javachecker: статический анализ программных комплексов с помощью переписывающих правил Article published earlier |
| spellingShingle | Javachecker: статический анализ программных комплексов с помощью переписывающих правил Шевченко, Р. Методы и средства программной инженерии |
| title | Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_full | Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_fullStr | Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_full_unstemmed | Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_short | Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_sort | javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| topic | Методы и средства программной инженерии |
| topic_facet | Методы и средства программной инженерии |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/2310 |
| work_keys_str_mv | AT ševčenkor javacheckerstatičeskiianalizprogrammnyhkompleksovspomoŝʹûperepisyvaûŝihpravil |