WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!


Pages:     || 2 | 3 | 4 | 5 |   ...   | 20 |
применению Linux в государственных организациях и связанным с этим выгодам и проблемам. Для многих областей, в которых используется Linux в этом контексте, важны как ее надежность, так и возможность надежного развития систем, построенных Предисловие на базе этой операционной системы. И то, и другое требует выхода технологий разработки, используемых при создании открытого кода, на более высокий уровень — Предлагаемый вниманию читателей том трудов Института системного они должны обогатиться эффективными техниками отслеживания качества программирования РАН посвящен проекту Центра верификации операционной создаваемого кода, для чего отлаженные и легко конфигурируемые тестовые наборы системы Linux, созданного на базе нашего института, по разработке тестового набора являются необходимой основой.

для проверки соответствия стандарту Linux Standard Base. Тестовый набор строится на Работа А. Гриневича, Д. Марковцева и В. Рубанова «Проблемы совместимости Linuxбазе формальных спецификаций требований стандарта и призван обеспечить как систем» рассказывает о разнообразии современных дистрибутивов этой аккуратное прослеживание обнаруживаемых нарушений к нарушаемым ими операционной системы, порождающей те же проблемы несовместимости и требованиям, так и удобное сопровождение тестов, их конфигурирование, внесение непереносимости приложений, которые два десятилетия назад привели модификаций в результате изменения каких-то требований и перенацеливание тестов производителей Unix-систем к осознанию необходимости их стандартизации и к на работу на другой платформе.

появлению стандарта POSIX. По тем же самым причинам в настоящее время Этот проект финансируется Федеральным агентством по науке и инновациям разработчики Linux-приложений пытаются создать такой же единый стандарт уже не Министерства образования и науки Российской Федерации и имеет две основные цели.

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

работы систем на базе различных версий Linux. Вторая цель носит более просветительский характер — это популяризация передовых технологий разработки Следующая статья «Linux Standard Base: история успеха» А. Хорошилова программного обеспечения (ПО) и контроля его качества в сообществе разработчиков посвящена предпосылкам и истории появления стандарта Linux Standard Base, его программ с открытым исходным кодом, повышение общего уровня качества открытых текущему состоянию и расширениям, которые предполагается внести в следующие разработок за счет внедрения новых методов построения сложных программных версии этого стандарта. Разработчикам приложений под Linux и системным систем.

программистам скорее всего будет интересно ознакомиться с планами развития В проекте участвуют не только опытные исследователи ИСП РАН, многие из которых одного из наиболее активно развивающихся стандартов в области открытого ПО, сами являются создателями передовых методов разработки ПО, но и студенты и пользующегося широкой поддержкой индустрии.

аспиранты ведущих российских ВУЗов, выпускающих специалистов в области В статье А. Гриневича, В. Кулямина, Д. Марковцева, А. Петренко, В. Рубанова и программной инженерии. Таким образом, просветительские и образовательные аспекты А. Хорошилова «Использование формальных методов для обеспечения соблюдения проекта находят свое воплощение и в подготовке будущих экспертов, обладающих как программных стандартов» рассказывается об организации процесса разработки широкими знаниями, так и практическими навыками использования этих передовых тестов на основе формальных спецификаций, используемом в ходе описанного выше методик при работе в реальных, достаточно больших проектах.

проекта. Важную роль в успехе проекта такого масштаба играет адекватная Несмотря на большой объем работ — один только текст стандарта Linux Standard Base поддержка решения инженерных и организационных задач, возникающих в его и других стандартов, на которые он ссылается: POSIX, XOpen/Curses, System V ходе. Авторы показывают, что подходящая техника разработки тестов должна не Interface Definition, международный стандарт языка C, и пр., занимает около только давать в результате тесты хорошего качества, но и обеспечивать правильное страниц — проект успешно движется к завершению в конце 2006 года. С его текущими разбиение результатов на модули, поддерживать наглядные связи получаемых результатами можно ознакомиться на сайте Центра верификации Linux, тестов с исходными требованиями стандарта, способствовать решению задач http://www.linuxtesting.ru. Данный сборник содержит статьи участников этого проекта, управления конфигурациями полученного тестового набора. Статья демонстрирует содержащие, в основном, результаты исследований, проводимых в его рамках или по поводу тех или иных задач, возникающих в ходе выполнения его работ. подходы к решению всех этих проблем, используемые при создании тестового набора для стандарта Linux Standard Base.

Первые три статьи, однако, носят скорее информативный, а не исследовательский характер, и повествуют о проблемах совместимости в мире Linux-систем и попытках Работа В. Кулямина «Формальные подходы к тестированию математических Linux-сообщества прийти к единым стандартам на интерфейс взаимодействия между функций» представляет методики формирования строгих требований и выбора операционной системой и приложениями, что и делает проводимый в ИСП РАН проект тестовых данных для аккуратного тестирования реализаций математических актуальным.



функций, работающих с числами с плавающей точкой. Рассматриваются Первая статья В. П. Иванникова и А. К. Петренко «Задачи верификации ОС Linux в контексте ее использования в государственном секторе» посвящена 5 проблемы, с которыми сталкиваются разработчики библиотек математических функций и определяются методы систематической проверки корректности таких библиотек.

Представленные в статье техники используются для создания тестов на соответствие Linux Standard Base, поскольку в этом стандарте (а точнее, в стандартах на библиотеки языка C и POSIX, на которые он ссылается) определяется около 250 функций, реализующих известные математические функции для чисел различной точности.

Другая статья сборника, посвященная математическим функциям, — работа «Разработка модельной реализации функций Бесселя из стандарта LSB» студента III-го курса МФТИ А. Пономаренко — продолжает тему предыдущей. В этой работе рассматриваются методы вычисления функций Бесселя и строится их комбинация, достаточно эффективная и точная для всех значений параметров. Корректное вычисление таких функций необходимо, чтобы проверять правильность работы соответствующих библиотечных функций операционной системы Linux.

Следующая статья «Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов» А. Камкина предлагает технику тестирования систем, многие важные параметры работы которых или внутренние состояния неизвестны. Эта техника использует трехзначную логику для представления неопределенных вещей и основана на постепенном выяснении недостающей информации в ходе самого тестирования за счет наблюдения за поведением системы.

Поначалу такой тест почти не может обнаружить никаких ошибок, поскольку полагает практически любые результаты работы системы корректными. Но на основании получаемых в ходе работы результатов он определяет какие-то параметры, необходимые для выполнения более строгих проверок, и через некоторое время уже не отличается по возможности нахождения ошибок от более традиционных тестов, которые заранее знают, что является корректным результатом, а что — нет.

Последняя в сборнике статья А. Арутюняна «Сравнение эффективности обходчиков UniTESK» рассказывает о результатах практического использования различных алгоритмов обхода графов для автоматической генерации тестов. На основе экспериментальных данных в ней проводится сравнение эффективности двух алгоритмов, реализованных в рамках инструмента разработки тестов CTesK, и даются рекомендации по использованию этих алгоритмов при тестировании достаточно сложных систем или тестировании в условиях ограниченных ресурсов.

Таким образом, содержание представляемых работ отражает разнообразие задач, с которыми приходится сталкиваться в рамках крупномасштабных проектов по созданию промышленного программного обеспечения и подчеркивает важность подобных проектов для развития науки в целом и прикладных, практико-ориентированных исследований в частности.

(например, проект OpenOffice.org, веб-браузер Mozilla и др.), которые готовы обеспечить основные потребности пользователей офисных приложений.

Такие крупные корпорации как IBM, HP, Sun, Novell, Intel и другие развернули целые Задачи верификации ОС Linux в контексте ее программы по поддержке Linux индустрии. В первую очередь их интерес также использования в государственном секторе обусловлен снижением цены комплексной программно-аппаратной поставки в случае, если выбирается ОС Linux, а не Windows. Это дает конкурентные преимущества на рынке поставщиков комплексных решений. Также важны факторы, связанные с уходом В. П. Иванников, А. К. Петренко от монополизма Microsoft. Для компаний поставщиков аппаратных платформ (IBM, Институт системного программирования РАН (ИСП РАН), Intel) важна возможность модификации ОС с целью демонстрации уникальных Б. Коммунистическая, 25, Москва, Россия преимуществ аппаратных решений. Примером международной программы, E-mail: {ivan,petrenko}@ispras.ru преследующей такие цели, является Gelato. Цель Gelato — развить Linux и другое базовое ПО с тем, чтобы показать конкурентные преимущества 64-х битной аппаратной В последние годы наблюдается устойчивый рост интереса к Open Source модели платформы Itanium. Еще одним источником интереса для компаний поставщиков разработки и распространения программного обеспечения (ПО). Интерес растет как к программно-аппаратных платформ и крупных комплексных решений является модели в целом, так и к операционной системе (ОС) Linux, в частности. Основным упрощение, а следовательно и удешевление собственно интеграции.

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

операционной системой (ОС) Linux, она становится все более привлекательной для За последние 5-6 лет существенно повысилось качество OC Linux, построена целая использования по различному назначению, в том числе для решения задач отрасль промышленности, которая занимается распространением, поддержкой, государственного управления и в системах управления критичных по безопасности.

системной интеграцией решений, основанных на этой операционной системе. Эти изменения в технологии и структуре рынка информационных технологий (ИТ) Сторонники модели «открытого кода», на которой построена ОС Linux, рассматривая изменили позицию государственных структур и крупнейших корпораций, вопросы надежности, подчеркивают преимущество этой модели, обусловленное определяющих основные процессы и приоритеты в области ИТ. многократным и многосторонним анализом исходных текстов ОС огромным сообществом разработчиков Linux. Их утверждения верны, но лишь отчасти. В Государственные структуры, помимо экономии средств, которую сулят решения на действительности, многие дефекты ОС удается выявить и даже предотвратить в базе Linux, видят в развитии ИТ на основе Linux следующие преимущества.





процессе внесения новых изменений в исходные тексты. Но вся правда состоит в том, что многие дефекты ждут своего выявление в течение долгого времени и далеко не все Выбирая Linux платформу государство уходит от зависимости от монопольного удается выявить. Это приводит к выводу, что «открытый код», сам по себе, не является поставщика ПО (часто таким монополистом является Microsoft).

панацеей, а для доведения системы до необходимого уровня надежности необходимо Открытый код снимает многие проблемы, связанные с безопасностью ПО, в использовать весь спектр современных средств контроля качества, в первую очередь частности, проблемы так называемого вредоносного ПО (malware), современные средства тестирования.

существующего, например, в виде закладок и вирусов, и проблемы уязвимости Надежность операционной системы имеет несколько измерений и, соответственно, ПО по отношению к различным видам атак.

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

специальных возможностей.

Речь идет, например, о До недавнего времени широкому распространению Linux в государственных безопасности вычислений (защита от несанкционированного доступа, от структурах мешало отсутствие офисных приложений, поддерживающих работу с несанкционированного изменения поведения ОС и др.);

документами (речь идет о программах типа Microsoft World, Excel, PowerPoint переносимости приложений;

и др.). Сейчас ситуация меняется, в ОС Linux развивается новая линия — Desktop Linux, а также разрабатываются базовые офисные приложения соответствии требованиям различных стандартов (например, сетевым стандартам) и др.

9 контролем представителя FSG пропустить официальный набор тестов и предоставить отчеты по результатам пропуска тестов.

Поскольку задача повышения надежности ОС Linux во всех измерениях требует огромных усилий и продолжительного времени, необходимо определить наиболее Отметим, что сертификационные тесты (как и любые тесты) не могут гарантировать, приоритетные направления в решении этой задачи. Таким направлением является что реализация не нарушает требований стандарта — отчет по результатам доведение надежности Linux до уровня требований стандартов. Успешное решение тестирования в лучшем случае лишь констатирует, что «нарушений не обнаружено». К этой проблемы существенно продвинет нас и в упрощении переносимости приложений, сожалению, такова общая практика в технологиях тестирования. В связи с этим помимо и в обеспечении безопасности вычислений.

тестирования на соответствие (conformance testing) для более глубокой проверки выполняются функциональные, нагрузочные, стресс тесты, тесты производительности На Unix- и Linux-системах проблема переносимости приложений, в частности, их и другие виды тестов. Они необходимы для того, чтобы получить более основательное установки стоит существенно острее, чем на Windows. Это, с одной стороны, ведет к заключение о тех или иных характеристиках программного продукта. Добротное усложнению процесса установки, и, с другой стороны, негативно сказывается на функциональное тестирование существенно сложнее тестирования на соответствие.

надежности систем в целом. Решение этой проблемы лежит в русле разработки и Именно по этой причине в дополнение к открытым сертификационным тестам внедрения единого стандарта интерфейса взаимодействия между операционной необходимо создавать наборы эффективных тестов, в частности, дающих существенно системой и приложениями, который такую совместимость обеспечит. На роль такого более высокий уровень доверия к совместимости приложений, работающих под стандарта может претендовать стандарт Linux Standard Base (LSB). Он наследует управлением ОС Linux.

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

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

Pages:     || 2 | 3 | 4 | 5 |   ...   | 20 |










© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.