Сборники трудов ИСП РАН


Задачи верификации ОС Linux в контексте ее использования в государственном секторе.

В.П.Иванников, А.К. Петренко.

Аннотация

Статья посвящена применению Linux в государственных организациях и связанным с этим выгодам и проблемам. Для многих областей, в которых используется Linux в этом контексте, важны как ее надежность, так и возможность надежного развития систем, построенных на базе этой операционной системы. И то, и другое требует выхода технологий разработки, используемых при создании открытого кода, на более высокий уровень — они должны обогатиться эффективными техниками отслеживания качества создаваемого кода, для чего отлаженные и легко конфигурируемые тестовые наборы являются необходимой основой.

Издание

Труды Института системного программирования РАН, том 10, 2006, стр. 9-14.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома