Proceedings of ISP RAS


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

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

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 10 (in Russian), 2006, Стр. 9-14.

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

Full text of the paper in pdf (in Russian) Back to the contents of the volume