WWW.DISSERS.RU

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

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


Pages:     || 2 | 3 | 4 | 5 |   ...   | 22 |
В статье Д.Ю.Кичигина «Об одном методе сокращения набора тестов» Предисловие излагается метод сокращения набора тестов для регрессионного тестирования, В очередном выпуске «Трудов ИСП РАН», состоящем из двух томов, заключающийся в построении модели поведения программы на наборе тестов представлены статьи сотрудников и аспирантов Института, посвященные и последующей фильтрации тестового набора с помощью построенной актуальным аспектам направления open source; разным областям применения модели. Модель поведения программы строится в терминах технологии тестирования программного обеспечения на основе формальных последовательностей системных вызовов, совершенных программой во время спецификаций; методам композиции и декомпозиции исполняемых UMLсвоего выполнения.

моделей; интеграции методов интеллектуального анализа данных, вывода на Статья К.А. Власова и А.С. Смачёва «Методика автоматизированной проверки основе прецедентов и адаптивного управления; системам классификации;

возвращаемых кодов ошибок при тестировании программных интерфейсов» технологиям темпоральных и объектно-реляционных баз данных; технологии посвящена методам частичной автоматизации создания тестовых наборов, оптимистической репликации; опыту разработки операционной системы предназначенных для тестирования API. Описаны технические подробности реального времени для цифрового сигнального процессора.

реализации, возникшие проблемы и их решение.

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

открытого сообщества. Указывается, что проекты по развитию и Метод позволяет гарантировать, что будут проверены все различные продвижению открытых стандартов также удовлетворяют этому принципу и чередования вызовов методов в системе, приводящие к различным представляют собой новую форму международного сотрудничества. Это результатам. В работе выделены ограничения, при которых такой перебор утверждение иллюстрируется примерами проектов, в которых принимает различных порядков вызовов методов гарантирует корректность системы.

участие ИСП РАН.

В статье А.С. Камкина «Использование контрактных спецификаций для Статья Д. В. Силакова «Текущее состояние и перспективы развития автоматизации функционального тестирования моделей аппаратного инфраструктуры LSB» посвящена рассмотрению технической стороны обеспечения» предлагается использовать контрактные спецификации для разработки стандарта Linux Standard Base и связанной с ним инфраструктуры.

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

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

организации Free Standards Group, под эгидой которой проводится разработка Завершает первый том статья Д.В. Зацепина и В.З. Шнитмана «Особенности стандарта LSB.

применения технологии UniTESK для тестирования функций мобильности в В статье С.В. Зеленова и Н.В. Пакулина представлен подход к верификации протоколе IPv6», посвященная разработке тестового набора для проверки компиляторов, основанный на декомпозиции общей задачи компилятора, и соответствий реализаций мобильного узла спецификациям протокола Mobile продемонстрированы методы решения выделенных задач. Описываемый IPv6. В ходе выполнения работы было выявлено несколько особенностей подход использовался при верификации различных индустриальных поведения одного из объектов протокола – мобильного узла, которые компиляторов и трансляторов.

затрудняют его тестирование в рамках указанной технологии. В статье В статье В.В. Гингиной, С.В. Зеленова и С.А Зеленовой «Тестирование подробно описаны эти особенности и способы преодоления трудных трансляторов: проблема построения оракула для генератора кода» моментов в условиях ограничений технологии UniTESK и поддерживающего описывается общий подход к построению автоматического оракула для эту технологию инструмента CTesK.

тестирования генераторов кода в трансляторах текстов на формальных языках, а также предлагается инструментальная поддержка для практического Член-корреспондент РАН В.П. Иванников использования этого подхода. Приводятся результаты практического применения описанного подхода к тестированию генератора кода транслятора описаний схем баз данных на языке SQL.

3 Не удивительно, что проекты, работающие по модели ОК, часто одновременно являются международными, и наоборот, в международных проектах по созданию и/или продвижению программных платформ и новых стандартов используется модель ОК. Это объясняется тем, что модель ОК и международные программы, построенные на добровольном участии стран, по Открытые стандарты и новые формы духу близки друг другу, в обоих случаях мы видим суверенных партнеров, которые пытаются достичь общих и своих собственных целей, не ущемляя международного сотрудничестваинтересы партнеров.



Понятно, что, наряду со сходством, между проектами ОК и международными проектами, имеются и важные различия. Одной из причин таких различий Н.В. Пакулин, А.К. Петренко, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов.

служит существенно более высокая динамика проектов ОК: страны живут в соседстве веками, а проекты ОК длятся от нескольких недель до нескольких Аннотация. Открытые коды (ОК), или Open Source постоянно находятся в сфере лет, но не больше. Высокая динамика означает, что партнеры должны быстро внимания специалистов ИТ-индустрии. Зримыми показателями успеха ОК является глобальное наступление ОС Linux или популярность таких международных проектов, договориться не только о том, что делать, каковы цели и этапы проекта, но и о как Википедия. В статье выделяется общий принцип модели ОК – формирование том, кто и что может и хочет делать. То есть в жизненном цикле проекта открытого сообщества. Проекты по развитию и продвижению открытых стандартов появляется существенная составляющая, которая направлена не на результат также удовлетворяют этому принципу и представляют собой новую форму проекта, а на построение и усовершенствование процесса. При этом, как международного сотрудничества, что иллюстрируется примерами проектов, в которых правило, нет никакого априорно предписанного процесса, а, скорее, принимает участие ИСП РАН.

выбирается некоторый шаблон, который может адаптироваться для конкретных условий. Акцент в проектах ОК делается на механизмы само1. Введение организации, которые позволяют найти процесс, приемлемый всем партнерам.

Модель Открытого кода (Open source) – это не только соглашения о формах Модель ОК не следует трактовать слишком узко и ограничивать ее использования программ или других результатов творческой деятельности пригодность только сферой разработки программных систем. По этой модели людей и целых организаций. Правила использования ОК – это лишь форорганизуются проекты из различных областей творческой деятельности – мальная сторона, задающая рамки функционирования модели. Другой, составление словарей и энциклопедий (например, сетевая энциклопедия возможно, более важной стороной модели, является свободный, индивиWikipedia [1], математическая энциклопедия проекта PlanetMath[2]), дуальный выбор участия в создании и использовании ОК. В мире ОК никому разработка учебных курсов (например, проекты PlanetMath и PlanetPhysics[3]), не придет в голову заставить кого бы то ни было что-то создать или что-то живопись и графика (например, открытый проект OpenClip[4]), музыкальное использовать вопреки желаниям субъекта. ОК предоставляет человеку или творчество (см. список открытых музыкальных проектов на сайте Remix организации возможности участия в процессе, а субъект, соответственно, сам Commons [5]) и т.д. Трактовка Политики открытого кода в Википедии не делает выбор, что и как он будет делать, не нарушая оговоренных правил ограничивается только созданием программного обеспечения:

использования ОК.

Политика открытого кода (open source politics) — принцип Заметим, что такое партнерство сильно отличается от отношений, которые «распределенной» разработки, использующийся в технологии, искусстве, типичны для мира коммерции, где главными действующими лицами являются политике общественных организаций и сетей и, прежде всего, — в создании заказчик и исполнитель. В коммерческом мире один принимает решение, что свободного программного обеспечения.

нужно сделать (заказчик), а другой вынужден делать это (исполнитель). В то же время, в нашей реальности имеется распространенная модель совместной 2. Открытый код и открытые сообщества деятельности, где стороны не навязывают друг другу директив, а сотрудничают, соблюдая при этом свои интересы, и развиваются исходя опять Особенность проектов по созданию открытого кода заключается в том, что эти же из собственных интересов. Речь идет о международных программах, в проекты выполняются открытым сообществом. Что такое открытое которые страны входят на добровольной основе и двигаются к общей цели, не сообщество теряя из виду и свои собственные интересы.

Корпорация Microsoft распространяет исходные тексты стандартной библиотеки языка Си вместе со средой разработки MS Visual Studio, и каждый Работа частично поддержана грантами РФФИ 05-01-00999 и 06-07-89261.

7 пользователь Visual Studio может легко с ними ознакомиться. Делает ли это обсуждать архитектуру и детали реализации, то она создаёт достаточные стандартную библиотеку языка Си корпорации Microsoft открытым кодом предпосылки, чтобы вокруг программы возникло открытое сообщество.

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

впечатление, что с такими работами можно делать всё, что заблагорассудится Открытое сообщество строится вокруг информационного ресурса. Это может – использовать, продавать, изменять. Такая возможность есть в том случае, быть сервер с исходными кодами некоторой программной системы, когда результаты работы передаются в общественное достояние (public виртуальная энциклопедия или база стандартов. Люди объединяются в domain), однако немногие из тех, кто задействован в работе с ОК, согласны сообщество с целью развивать информационный ресурс – разрабатывать передавать свои работы в общественное достояние с добровольным отказом программу, писать и редактировать статьи в энциклопедии или разрабатывать от своего авторства. Но обозначение авторства на результатах работы, в или уточнять спецификации некоторого стандарта. Мы будем называть частности, на исходных текстах программ, влечёт множество дополнительных сообщество открытым, если оно удовлетворяет следующим требованиям: вопросов, связанных с ответственностью за применение работы автора, имущественными отношениями и просто сохранением формального 1. У всех членов сообщества есть доступ к информационному ресурсу, обозначения авторства в производных работах.





над которым ведётся работа.

В движении открытых кодов нет окончательного понимания того, какие 2. Сообщество ведёт коммуникацию через доступные извне каналы ограничения, налагаемые лицензией, позволяют создать открытое сообщество общения – дискуссионные листы, форумы.

вокруг защищаемых ею информационных ресурсов. Причина, возможно, заключается в том, что к движению открытых кодов постоянно 3. Известны правила, которые регулируют отношения людей в присоединяются новые игроки – крупные компании и корпорации – со своими сообществе, причём для того, чтобы узнать эти правила, не требуется юридическими отделами, которые «изобретают» свои лицензии для защиты вступать в сообщество.

открываемых исходников. Апологеты ОК сформулировали ряд требований к 4. Для вступления и участия в работе сообщества не требуется лицензии, с которыми согласно большинство участников движения открытых выплачивать лицензионные отчисления.

кодов (но не все!). Эти требования опубликованы на сайте Open Source Initiative [6], здесь мы приведём их в сокращённом виде: лицензия должна 5. Участие в сообществе не ограничивает социальных свобод (в обеспечить свободное распространение, доступ и модификацию открытых частности, не требуется подписка о неразглашении коммерческой или кодов, и не должна содержать положений, ущемляющих права отдельных иной тайны).

категорий пользователей.

Участие в открытом сообществе налагает на человека определённые Наибольшей популярностью в настоящее время пользуются четыре лицензии:

обязательства. Открытое сообщество представляет собой принципиально Gnu Public License (GPL) [7], Lesser Gnu Public License [8], Apache License новую социальную формацию по сравнению с корпоративными или (AL) [9] и BSD License [10]. На сайтах Free Software Foundation [11] и Open исследовательскими коллективами разработчиков. Прежде всего, это высокая Source Initiative [12] приведены перечни лицензий, которые составители сочли личная ответственность каждого за качество и объём работы. Кроме того, удовлетворяющими требованиям открытых кодов. Эти лицензии проекты ведутся совместно несколькими независимыми разработчиками, и используются не только для компьютерных программ, но и для документации, результат их работы является совместной интеллектуальной собственностью.

книг и даже произведений искусства.

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

ровании открытого сообщества. Лицензии, запрещающие изменения или Последний вариант наиболее широко распространён.

требующие сокрытия знаний об устройстве программы, разрушают всякую Следование принципам открытых проектов, в особенности, принципу возможность создать открытое сообщество. И напротив, если лицензия «открытых правил» требует совершенного нового стиля организации рабочего позволяет изменять и дополнять исходные тексты программы, открыто процесса в открытых проектах. Смена привычных стилей управления 9 происходит постепенно, и во многих открытых проектах можно наблюдать те по себе», зачастую с использованием демократических механизмов, таких как или иные рудименты закрытых методов управления. Например, в проекте по выдвижение кандидатов и голосование сообщества.

созданию ядра ОС Linux право записи в дерево исходных текстов Ко второй группе мы относим сообщества, которые развиваются по предоставляется только тем, у кого «есть приемлемый вклад в ядро Linux и принципам открытых сообществ, но изначально были созданы достаточное основание в получении непосредственного доступа» [13]. Объём общественными или коммерческими организациями. Начиная с 1998 года, «приемлемого вклада» и «достаточность основания» определяются здравым когда компания Netscape открыла исходные тексты своего браузера, всё смыслом администраторов проекта kernel.org, причём они разрешают себе больше компаний и корпораций передают свои ранее закрытые разработки в отказывать в выдаче такого разрешения или отмене уже выданного мир открытых кодов. При этом компании, как правило, учреждают разрешения без объяснения причин.

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










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

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