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| Резюме: | У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної
обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної
семантики програмних систем, а до окремих характеристик. Це дозволяє уникнути складнощів повної формалізації
задачі, і у той-же час дозволяє проводити прагматично корисні висновки щодо характеристик програмної системи
(такі, як наявнісьт помилок визначенного классу) за допомогою порівняльно невеликого об'єму обчислень.
Описується статичний аналізатор програм на мові Java (JavaCheker), що реалізує даний підхід і побудован у
середовищі алгебраїчного програмування TermWare. |
|---|