Javachecker: статический анализ программных комплексов с помощью переписывающих правил
У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної семантики програмних систем, а до окремих характеристик. Це дозволяє уникнути складнощів повної ф...
Saved in:
| Date: | 2004 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2004
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/2310 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Javachecker: статический анализ программных комплексов с помощью переписывающих правил /Р. Шевченко // Проблеми програмування. — 2004. — N 2,3. — С. 223-230. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-2310 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| spellingShingle |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил Шевченко, Р. Методы и средства программной инженерии |
| title_short |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_full |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_fullStr |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_full_unstemmed |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_sort |
javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| author |
Шевченко, Р. |
| author_facet |
Шевченко, Р. |
| topic |
Методы и средства программной инженерии |
| topic_facet |
Методы и средства программной инженерии |
| publishDate |
2004 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/2310 |
| citation_txt |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил /Р. Шевченко // Проблеми програмування. — 2004. — N 2,3. — С. 223-230. — Бібліогр.: 9 назв. — рос. |
| work_keys_str_mv |
AT ševčenkor javacheckerstatičeskiianalizprogrammnyhkompleksovspomoŝʹûperepisyvaûŝihpravil |
| first_indexed |
2025-12-07T15:19:51Z |
| last_indexed |
2025-12-07T15:19:51Z |
| _version_ |
1850863298973532160 |