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

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

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

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

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

Контактные реквизиты:
+7(495)912-5317 (404), e-mail: info-lvc@linuxtesting.org, факс: (495) 912-15-24
	
Автор:
Мордань Виталий Олегович

Правообладатель:
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ СИСТЕМНОГО ПРОГРАММИРОВАНИЯ РОССИЙСКОЙ АКАДЕМИИ НАУК

Название программы для ЭВМ:
Программный компонент для выявления нескольких ошибок в программном обеспечении

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

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

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

Вид и версия операционной системы: Linux

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