libcats.org
Главная

Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.

Обложка книги Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.

Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.

Десятый том трудов Института системного программирования РАН посвящен проекту Центра верификации операционной системы Linux, созданного на базе нашего института, по разработке тестового набора для проверки соответствия стандарту Linux Standard Base. Тестовый набор строится на базе формальных спецификаций требований стандарта и призван обеспечить как аккуратное прослеживание обнаруживаемых нарушений к нарушаемым ими требованиям, так и удобное сопровождение тестов, их конфигурирование, внесение модификаций в результате изменения каких-то требований и перенацеливание тестов на работу на другой платформе.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Только что пользователи скачали эти книги: