-
Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин
Click on cover to enlarge.
Buy This Book
From Amazon.
2 - 3Hours to read
دانلود کتاب Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.
by Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин|
|
عنوان فارسی: مجموعه مقالات موسسه برای سیستم برنامه نویسی آکادمی علوم روسیه . تام 10. اطمینان از قابلیت اطمینان و سازگاری از لینوکس و سیستم های . 2006 |
دانلود کتاب
جزییات کتاب
Десятый том трудов Института системного программирования РАН посвящен проекту Центра верификации операционной системы Linux, созданного на базе нашего института, по разработке тестового набора для проверки соответствия стандарту Linux Standard Base. Тестовый набор строится на базе формальных спецификаций требований стандарта и призван обеспечить как аккуратное прослеживание обнаруживаемых нарушений к нарушаемым ими требованиям, так и удобное сопровождение тестов, их конфигурирование, внесение модификаций в результате изменения каких-то требований и перенацеливание тестов на работу на другой платформе.
کتاب های مرتبط
این کتاب رو مطالعه کردید؟ نظر شما چیست؟
برای ارسال نظر، لطفا وارد شوید.
نظر دهید
نظرات (0)
هنوز نظری داده نشده است. شما اولین باشید!
