Метод извлечения логики поведения из промышленного программного кода на языке Кобол
Цель работы – разработка комплекса инструментальных средств для автоматизации анализа и упрощения понимания поведения кода программных систем. Предложены методы трансляции, абстракции, отладки и построения тестов для языка Кобол. Разработана экспериментальная система, реализующая предложенные методы...
Saved in:
| Date: | 2016 |
|---|---|
| Main Authors: | Губа, А.А., Колчин, А.В., Потиенко, С.В. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2016
|
| Series: | Проблеми програмування |
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/126386 |
| 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: | Метод извлечения логики поведения из промышленного программного кода на языке Кобол / А.А. Губа, А.В. Колчин, С.В. Потиенко // Проблеми програмування. — 2016. — № 2-3. — С. 17-25. — Бібліогр.: 14 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
-
Метод извлечения логики поведения из промышленного программного кода на языке Кобол
by: Губа, А.А., et al.
Published: (2016) -
Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
by: Резниченко, В.А., et al.
Published: (2015) -
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
by: Колчин, А.В.
Published: (2008) -
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
by: Потиенко, С.В.
Published: (2008) -
Генерація багатоцільових формальних моделей із успадкованого коду
by: Потієнко, С.В., et al.
Published: (2022)