Javachecker: статический анализ программных комплексов с помощью переписывающих правил
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил
|
|
| Creator |
Шевченко, Р.
|
|
| Subject |
Методы и средства программной инженерии
|
|
| 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. |
|
| Date |
2008-09-17T13:13:11Z
2008-09-17T13:13:11Z 2004 |
|
| Type |
Article
|
|
| Identifier |
Javachecker: статический анализ программных комплексов с помощью переписывающих правил /Р. Шевченко // Проблеми програмування. — 2004. — N 2,3. — С. 223-230. — Бібліогр.: 9 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2310 681.3 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|