The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

В России открылся Центр верификации ОС Linux

02.03.2006 15:21

Институт системного программирования Российской Академии Наук (ИСП РАН) выиграл конкурс Федерального агентства по науке и инновациям на формализацию стандартов для Linux, разработку соответствующего открытого (open source) тестового набора и создание Центра верификации ОС Linux, linuxtesting.ru.

В России, как и во всем мире, возрастает интерес к ОС Linux как к открытой, надежной платформе для создания разнообразного программного обеспечения. Очередным свидетельством этому является объявленный Федеральным агентством по науке и инновациям конкурс на создание тестового набора для ОС Linux. В рамках данной работы предполагается формализовать стандарт LSB 3.1 и создать на его основе набор тестов для ОС Linux. Эти тесты будут находиться в открытом доступе и для их поддержки и развития организуется Центр верификации ОС Linux, который будет действовать на базе Института системного программирования Российской Академии Наук (ИСП РАН).

Директор ИСП РАН, член-корреспондент РАН Виктор Петрович Иванников на совещании по Open Source в России сказал: "ИСП РАН рассматривает этот проект как старт долгосрочной программы, нацеленной на повышение добротности системного программного обеспечения в мире Linux. Спецификация интерфейсов операционной системы и их стандартизация это первый шаг в создании надежных, совместимых платформ для различных приложений".

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

Институт системного программирования Российской Академии Наук является одним из ведущих исследовательских институтов в области развития технологий разработки программного обеспечения. Одной из разработок института является технология автоматизированного тестирования UniTesK на основе формальных спецификаций интерфейсов. Эта технология успешно использовалась на протяжении 11 лет для тестирования программного обеспечения в совместных проектах с такими компаниями, как Intel, Microsoft Research, Nortel Networks, Вымпелком, Luxoft. Дополнительную информацию об Институте можно найти на web-сайте ispras.ru, о технологии UniTesK — на web-сайте unitesk.com.

Linux Standard Base (LSB) — это стандарт на интерфейсы Linux, во многом опирающийся на POSIX. Целью LSB является достижение совместимости между различными версиями Linux, что должно позволить запускать приложения без перекомпиляции на любой операционной системе этого семейства. Дополнительную информацию о LSB можно найти на web-сайте linuxbase.org.

Конкурс на разработку открытого (open source) тестового набора и создание Центра верификации операционной системы Linux (ИТ-КП.4/003) объявлен Федеральным агентством по науке и инновациям 13 августа 2005 года. Дополнительную информацию по этому конкурсу можно найти на Web-сайте goszakupki.ru. Web-сайт Федерального агентства по науке и инновациям - fasi.gov.ru.

  1. Главная ссылка к новости (http://www.linuxtesting.ru...)
  2. OpenNews: Государство готово заплатить 15 млн. рублей за создание тестового набора для Linux
  3. На сайте Центра верификации ОС Linux представлены первые промежуточные результаты
Автор новости: Елена Бритвина
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/7042-linux
Ключевые слова: linux, test
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (21) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, all_sun (ok), 15:48, 02/03/2006 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    На правах эмоций:
    Один известный мне профессор регулярно получает N-ую сумму за проведение работ по исследованию освещенности в аудитории № и тд.
      Кажется мне, что это из той же области.
    Мы всё время пытаемся сделать что-нибудь глобальное: сибирские реки повернуть, Linux ПО улудшить, а делом-то и не занимаемся.
    Ну да ладно, флаг им в руки и барабан на шею.
     
     
  • 2.18, savva (??), 09:24, 03/03/2006 [^] [^^] [^^^] [ответить]  
  • +/
    на правах эмоций:

    поворот сибирских рек позволил бы спасти Аральское море от высыхания
    и улучшить водоснабжение региона.
    Этот проект рассматривалася еще до Революции.
    Если это не дело, то что же тогода дело?

     
     
  • 3.21, Хелагар (?), 21:00, 03/03/2006 [^] [^^] [^^^] [ответить]  
  • +/
    Без эмоций.
    На правах доводов разума.

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

    Боюсь, что с *NIX будет тоже самое, богатырский замах, без должного изучения. А результат такой, что лучше бы уж не делали ничего.

     
  • 2.22, Dvorkin (??), 11:50, 04/03/2006 [^] [^^] [^^^] [ответить]  
  • +/
    после фразы "улуДшить" я перестаю воспринимать ваши сообщения всерьез
     

  • 1.2, klalafuda (?), 15:53, 02/03/2006 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/

    hm.. LSB-VSX видимо не пробовали :-?

    // wbr

     
  • 1.3, gdenis (ok), 15:59, 02/03/2006 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Всегда интересно сразу провести исследование списка руководства проекта, причем не первых двух руководителей. Забавно получается почти всегда, например, Рубанов Владимир Васильевич - http://rubanov.h12.ru/ :)

    Любят его студенты :)

     
     
  • 2.6, klalafuda (?), 16:31, 02/03/2006 [^] [^^] [^^^] [ответить]  
  • +/
    > Всегда интересно сразу провести исследование списка руководства проекта, причем не первых двух руководителей. Забавно получается почти всегда, например, Рубанов Владимир Васильевич - http://rubanov.h12.ru/ :)

    "семен семеныч!.." (c)
    а почему не http://www.agentura.ru/dossier/russia/people/rubanov/
    yandex при желании и не то выдаст :) но это же не показатель..

    // wbr

     
  • 2.17, Pepelatc (?), 08:58, 03/03/2006 [^] [^^] [^^^] [ответить]  
  • +/
    Это просто однофамилец, тот который представлен на http://rubanov.h12.ru/ - Рубанов <b>Василий Григорьевич</b>, а в руководстве проекта присутствует Рубанов <b>Владимир Васильевич</b>!!!
     

  • 1.5, greyork (??), 16:21, 02/03/2006 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Не совсем уверен, что это действительно Open Source. Не смотря на то, что в новости эти слова несколько раз настойчиво упоминались: получилось, что новость здесь появилась после того, как я оставил первый комментарий на их сайте http://linuxtesting.ru/node/79#comment предлагаю убедится самим. Если я в чем-то неправ - буду рад.
     
     
  • 2.8, _NIck_ (?), 17:27, 02/03/2006 [^] [^^] [^^^] [ответить]  
  • +/
    Товарисч, не обрадую.
    Вы 100% правы в своем первом посте к этим активистам.
    ctesk раздается по Apache 2.0 лицензии. Причем не зря....

    Проштудировав ее пару раз по обеим диалоналям (благо маленькая, не в пример GPL), сделал вывод, что она _НЕ_ гарантирует/требует распространения исходного кода вместе с изначально поставляемым продуктом. Это похоже на BSD лицензию, но не на GPL (где есть четкое требование предоставлять исходный код вместе с продуктом невзирая на его происхождение).

    А если все, что предоставляют производители, это бинарь под i386 (и по запросу другие архитектуры), то и предметом этой открытой (а она действительно открытая... аля BSD...) является только этот бинарь (но не его исходники) и без требований предоставлять сырец.

    Хотя есть и отличие от чистой BSD лицензии: все ПОСЛЕДУЮЩИЕ продукты, на основе отрелиженных под Apache2, ОБЯЗАНЫ распространятся с исходниками вне зависимости формы распространения (бинарь или сырцы). Т.е. (если можно так сказать) подобие GPL подхода в плане требований к наличию сырцов начинаеться только с первой ПЕРЕДЕЛКИ, но не с исходного продукта.

    Так что, товарищи из сабжа нам совсем не товарищи ;(
    Не дело тестить ОпенСорс закрытыми вещами.

     
     
  • 3.10, greyork (??), 19:21, 02/03/2006 [^] [^^] [^^^] [ответить]  
  • +/
    >Товарисч, не обрадую.
    >Вы 100% правы в своем первом посте к этим активистам.
    >ctesk раздается по Apache 2.0 лицензии. Причем не зря....

    Vladimir Rubanov только-что ответил на форуме их сайта на мои комментарии. По его словам, версия TesK 2.2 Cummunity Edition будет выпущена весной этого года вместе с исходным кодом. Поживем-увидим. Сразу бы написали аннонс и новость толково, а то - завуалировали факт недоступности исходного кода, да приукрасили все... Вот покажут исходники - тогда и видно будет, есть ли у проекта будущее и стоит ли его поддерживать и развивать. А пожелания, конечно, - в добрый путь. Лишь бы толк вышел.

     
     
  • 4.11, greyork (??), 19:25, 02/03/2006 [^] [^^] [^^^] [ответить]  
  • +/
    поправка - анонс, а не аннонс :)

    Еще, хочу заметить про лицензию Apache2, что не зря в OpenBSD до сих пор первый Апач... Они параники, конечно, но с понятием.

     
     
  • 5.13, _NIck_ (?), 19:30, 02/03/2006 [^] [^^] [^^^] [ответить]  
  • +/
    >поправка - анонс, а не аннонс :)
    >
    >Еще, хочу заметить про лицензию Apache2, что не зря в OpenBSD до
    >сих пор первый Апач... Они параники, конечно, но с понятием.

    тесен гугл....
    я тоже на это пагу со сравнением лицензий и пояснением юзания первого апача в OpenBSD набрел ;)

     
  • 4.12, _NIck_ (?), 19:27, 02/03/2006 [^] [^^] [^^^] [ответить]  
  • +/
    >Vladimir Rubanov только-что ответил на форуме их сайта на мои комментарии. По
    >его словам, версия TesK 2.2 Cummunity Edition будет выпущена весной этого
    >года вместе с исходным кодом. Поживем-увидим. Сразу бы написали аннонс и
    >новость толково, а то - завуалировали факт недоступности исходного кода, да
    >приукрасили все... Вот покажут исходники - тогда и видно будет, есть
    >ли у проекта будущее и стоит ли его поддерживать и развивать.
    >А пожелания, конечно, - в добрый путь. Лишь бы толк вышел.

    отлично.
    Практически, только благодаря Вам не осталась без внимание проблема полной лицензионной чистоты планируемых к использованию инструментов.
    Откроют они это свое поделие или нет - вопрос второй, но вот кота в мешке не удалось подсунуть - это гут.
    Респект!

     

  • 1.7, Irish (??), 16:35, 02/03/2006 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    ИМХО, очередное освоение средств и эксплуатация гламурных и будоражащих ум словосочетаний.
     
     
  • 2.9, Nafanja (ok), 19:00, 02/03/2006 [^] [^^] [^^^] [ответить]  
  • +/
    точно подмечено!

    Так сказать делают себе имя на игре слов...

     

  • 1.14, Аноним (-), 23:00, 02/03/2006 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Как так можно разбазаривать деньги налогоплательщиков.
    Выкинули пол миллиона долларов на никому не нужную софтину, у которой есть штуки три западных аналогов. Какая разница чем тестировать дистрибутив на совместимость LSB, главное чтобы эта совместимость была.

    Могли бы потратить 2% от этой суммы и сертифицировать AltLinux и AspLinux, а остальные 98% потратить на гранты разработчикам открытых программ.

    Нет же, 5% реально потратят на создание софтины, 10% как откат за победу в конкурсе, 15% молча разбазарят на мелочи, 50% уйдет на оплату раздутого штата набранного по знакомству, на 20% накупят оргтехники которая потом потеряется.

    Хотя может быть на 5% напишут, 10% на откат, а 85% тихо удет на финансирование других проектов института, если руководитель хороший.

     
  • 1.15, Дмитрий Ю. Карпов (?), 01:32, 03/03/2006 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Я успел заметить, что для 64-битных платформ "AMD-64" и "IA-64" требуются отдельные дистрибутивы Linux, FreeBSD и Windows. Конечно, все они умеют запускать 32-битные приложения, но с потерей всех преимуществ, даваемых 64-битностью. А для платформ Sparc, ARM и т.п. перекомпиляция просто необходима. Так что усилия, направленные на бинарную совместимость - мартышкин труд.

    А ещё очень нужна совместимость между разными ветками Unix, причём не столько двоичная, сколько по исходникам.

    PS: Если полагаться на закон Мура "одного бита адресного пространства хватает на полтора года" и считать, что типичный писюк имеет 512 MB, это значит, что у 32-битной архитектуры осталось в запасе три бита, т.е. около пяти лет. Так чт%E

     
  • 1.19, replicant (?), 09:37, 03/03/2006 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Ну пока там будут идти всякие словопрения и прочее, то на практике проблемы будут решаться как обычно и решались.

    Какая-то очень большая пропасть получается между задуманным и существующим, пусть даже и перспективе существующим ...

    Не знаю, двоякое чувство вызывают все эти проекты.

     
  • 1.20, in (?), 13:19, 03/03/2006 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Дык сколько процентов откатывается обратно в агенство? И кому лично? Имена воров хочется всё-же знать поимённо. Чтобы в комментариях к программам писать: "а здесь код, созданный специально для Иванова И.И., укравшего бабки". А то "выиграл конкурс"...
     
  • 1.24, RedEyes (?), 18:06, 10/03/2006 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    В замечательной книге Эви Немет и компании есть фраза типа "в модели OSI не указали ещё один уровень - политический". Или коммерческий. Точно не помню, но здесь такая же хрень.
    Потом сделают обязательную поголовную сертификацию.
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2024 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру