Javachecker: статический анализ программных комплексов с помощью переписывающих правил
У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної семантики програмних систем, а до окремих характеристик. Це дозволяє уникнути складнощів повної ф...
Збережено в:
| Видавець: | Інститут програмних систем НАН України |
|---|---|
| Дата: | 2004 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/2310 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Цитувати: | Javachecker: статический анализ программных комплексов с помощью переписывающих правил /Р. Шевченко // Проблеми програмування. — 2004. — N 2,3. — С. 223-230. — Бібліогр.: 9 назв. — рос. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-2310 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-23102008-09-18T12:01:33Z Javachecker: статический анализ программных комплексов с помощью переписывающих правил Шевченко, Р. Методы и средства программной инженерии У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної семантики програмних систем, а до окремих характеристик. Це дозволяє уникнути складнощів повної формалізації задачі, і у той-же час дозволяє проводити прагматично корисні висновки щодо характеристик програмної системи (такі, як наявнісьт помилок визначенного классу) за допомогою порівняльно невеликого об'єму обчислень. Описується статичний аналізатор програм на мові 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. 2004 Article Javachecker: статический анализ программных комплексов с помощью переписывающих правил /Р. Шевченко // Проблеми програмування. — 2004. — N 2,3. — С. 223-230. — Бібліогр.: 9 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2310 681.3 ru Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Методы и средства программной инженерии Методы и средства программной инженерии |
| spellingShingle |
Методы и средства программной инженерии Методы и средства программной инженерии Шевченко, Р. Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| description |
У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної
обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної
семантики програмних систем, а до окремих характеристик. Це дозволяє уникнути складнощів повної формалізації
задачі, і у той-же час дозволяє проводити прагматично корисні висновки щодо характеристик програмної системи
(такі, як наявнісьт помилок визначенного классу) за допомогою порівняльно невеликого об'єму обчислень.
Описується статичний аналізатор програм на мові Java (JavaCheker), що реалізує даний підхід і побудован у
середовищі алгебраїчного програмування TermWare. |
| format |
Article |
| author |
Шевченко, Р. |
| author_facet |
Шевченко, Р. |
| author_sort |
Шевченко, Р. |
| title |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_short |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_full |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_fullStr |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_full_unstemmed |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| title_sort |
javachecker: статический анализ программных комплексов с помощью переписывающих правил |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2004 |
| topic_facet |
Методы и средства программной инженерии |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/2310 |
| citation_txt |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил /Р. Шевченко // Проблеми програмування. — 2004. — N 2,3. — С. 223-230. — Бібліогр.: 9 назв. — рос. |
| work_keys_str_mv |
AT ševčenkor javacheckerstatičeskijanalizprogrammnyhkompleksovspomoŝʹûperepisyvaûŝihpravil |
| first_indexed |
2023-03-24T08:23:10Z |
| last_indexed |
2023-03-24T08:23:10Z |
| _version_ |
1796138926911520768 |