РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016619019

Дата регистрации: 11.08.2016

Номер и дата поступления заявки: 2016616631 22.06.2016

Дата публикации: 20.09.2016

Контактные реквизиты:
firemaii(g)ispras.ru. +7 926 751 81 48
	
Авторы:
Ермаков Михаил Кириллович,
Вартанов Сергей Павлович,
Герасимов Александр Юрьевич

Правообладатель:
Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук

Название программы для ЭВМ:
«Инструмент итеративного динамического анализа Java-программ Coffee Machine»

Реферат:
Данная программа реализует алгоритм итеративного динамического анализа для Java программ с целью обнаружения ошибок времени исполнения и снятия трасс выполненных инструкций. В программе реализованы модули обнаружения необработанных исключительных ситуаций, ошибок параллельного выполнения потоков внутри анализируемой программы и распечатки выполненных инструкций Java байт-кода. В качестве результата работы программа создает файлы с входными данными, на которых воспроизводится ошибочная ситуация в анализируемой программе.

Тип реализующей ЭВМ: IBM PC-cовмест. ПК

Язык программирования: Java 1.7

Вид и версия операционной системы: ОС с поддержкой Java

Объем программы для ЭВМ: 401 Кб