Общие вопросы

Если Вы не нашли ответа на свой вопрос, обращайтесь - мы будем рады помочь.

1. Почему государство заинтересовалось тестированием ОС Linux?
   
2. Что такое LSB?
   
3. Вы переписываете стандарты LSB и POSIX?
   
4. Зачем нужна формализация стандарта?
   
5. Зачем создавать дополнительные тесты для LSB, если их и так делают создатели стандарта?
   
6. Какое отношение имеет деятельность Центра к международным организациям, контролирующим разработку стандартов Linux?
   
7. Применялась ли технология UniTESK где-то еще, кроме тестирования Linux?
   
8. Какие дистрибутивы Linux тестирует Центр?
   
9. Занимаетесь ли вы сертификацией или лицензированием дистрибутивов Linux?
   
10. Вы занимаетесь тестированием только на соответствие стандарту LSB?
    

1. Почему государство заинтересовалось тестированием ОС Linux?
   Платформа Linux активно используется в ряде государственных учреждений, в военных и промышленных целях с целью уменьшения затрат и ослабления зависимости государства от внешних поставщиков. Создание российского центра экспертизы по проверке надежности платформы Linux (в том числе и ее специальных версий) является важной задачей в процессе распространения этой платформы для государственного использования. Интересное мнение по поводу важности открытого кода для государства можно прочитать здесь.
2. Что такое LSB?
   LSB (Linux Standard Base) - это основной современный стандарт, определяющий требования совместимости к Linux-системам. Основную часть стандарта (LSB Core) составляют требования на системные интерфейсы, которые должны поддерживаться всеми дистрибутивами Linux. В этой части LSB во многом ссылается на стандарт POSIX. Разработкой и развитием стандарта LSB занимается организация Free Standards Group. Подробные сведения о LSB можно найти на сайте www.linuxbase.org.
3. Вы переписываете стандарты LSB и POSIX?
   Нет, мы дополняем текстовые описания существующих стандартов формальными описаниями в виде спецификаций на языке SeC (Specification Extention of C) - спецификационном расширении языка С. В процессе формализации выявляются нечеткие места и противоречия, а также учитываются неявные требования. Все замечания к текстовой версии стандартов сообщаются соответствующим организациям, отвечающим за их развитие (Free Standards Group по LSB, Austin Group по POSIX).
4. Зачем нужна формализация стандарта?
   Дело в том, что даже очень хорошие стандарты остаются лишь благими пожеланиями, пока нет удобных и надежных способов проверить формальное соответствие им. Дополнение стандартов формальными описаниями позволяет выявить нечеткие места, устранить еще встречающиеся противоречия и учесть неявные требования, которые часто упускаются даже разработчиками официальных сертификационных тестов.
5. Зачем создавать дополнительные тесты для LSB, если их и так делают создатели стандарта?
   Мы не конкурируем с тестами, создаваемыми в Free Standards Group и других проектах, а дополняем их с общей целью обеспечить более надежное и полное тестовое покрытие. К сожалению, анализ существующих тестов показывает их слишком маленький охват - многие функции не тестируются вообще, а многие тестируются только в отношении базовых требований стандарта, не проверяя тонкие аспекты. Подход к тестированию с помощью систематической формализации требований, используемый в Центре верификации ОС Linux, позволяет аккуратно учесть все принципиально проверяемые требования стандарта. Кроме того, автоматическая генерация тестов обеспечивает беспристрастный перебор различных ситуаций в работе тестируемой системы, а также облегчает модификацию тестов при эволюции стандарта или для учета специальных требований пользователя. Эти факторы обеспечивают ценность тестового набора Центра в качестве важного дополнения к существующим тестам Linux.
6. Какое отношение имеет деятельность Центра к международным организациям, контролирующим разработку стандартов Linux?
   Являясь независимой организацией, Центр верификации ОС Linux тем не менее находится в тесном сотрудничестве с Free Standards Group и Austin Group с общими целями по улучшению качества стандартов LSB и POSIX. Сотрудники Центра участвуют в деятельности соответствующих рабочих групп этих организаций и регулярно предоставляют туда отчеты с предложениями, выработанными в рамках деятельности Центра.
7. Применялась ли технология UniTESK где-то еще, кроме тестирования Linux?
   Да, данная технология успешно применялась в совместных проектах по тестированию сложного промышленного программного обеспечения в рамках сотрудничества ИСП РАН с такими компаниями как Microsoft (тестирование реализации протокола IPv6) и Intel (тестирование оптимизирующих блоков компиляторов). Также данная технология использовалась для тестирования компонентов операционных систем TinyOS и ОС 2000 (НИИСИ РАН), для формализации и уточнения стандарта протокола IPMP, для тестирования промышленного ПО в совместных проектах с компаниями Luxoft и Вымпелком.
8. Какие дистрибутивы Linux тестирует Центр?
   Центр не занимается целевым тестированием конкретных дистрибутивов Linux. Конечно для отладочных целей мы используем некоторый набор дистрибутивов, однако поиск и публикация конкретных ошибок в этих дистрибутивах не является нашей прямой целью. Основной задачей Центра на текущем этапе является создание открытого тестового набора, с помощью которого любой желающий сможет совершенно бесплатно протестировать любой дистрибутив, а точнее любую конкретную конфигурацию (см. Объект тестирования), и выявить конкретные расхождения с требованиями стандарта LSB Core 3.1 (ISO/IEC 23360-1). Что делать с найденными расхождениями остается на усмотрение пользователя.
9. Занимаетесь ли вы сертификацией или лицензированием дистрибутивов Linux?
   Нет, в настоящее время Центр верификации ОС Linux официальной сертификацией/лицензированием не занимается. Мы выполняем технические задачи по разработке тестов. По вопросам сертификации на соответствие LSB следует обращаться в Free Standards Group.
10. Вы занимаетесь тестированием только на соответствие стандарту LSB?
    Нет, разработка тестов для проверки соответствия поведения интерфейсов системы стандарту LSB является только первым этапом работы Центра (до конца 2006 г.). В дальнейшем, использование технологии UniTESK совместно с наработанной базой тестов и формальных спецификаций позволит относительно легко создавать на их основе модифицированные тестовые наборы для различных систем, например для расширенного тестирования отдельных дистрибутивов Linux или наоборот для тестирования специальных урезанных и/или модифицированных версий Linux, например, военного или промышленного назначения.