Регистрация / Вход
Прислать материал

Разработка открытого (open source) тестового набора и центра верификации операционной системы Linux.

Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта
Проект
02.467.11.1006
Организация
ИСП РАН
Продолжительность работ
2005 - 2006, 12 мес.
Бюджетные средства
15 млн
Внебюджетные средства
0 млн

- формализация, уточнение и пополнение набора стандартов, описывающих требования к поведению компонентов операционной системы Linux;
- разработка открытого (open source) систематического тестового набора, проверяющего соответствие реализаций операционной системы формализованным требованиям;
- создание Центра верификации операционной системы Linux.

Соисполнители

Этапы проекта

1
12.10.2005 - 08.12.2005
Основным результатом работы является выделение подмножества компонентов Linux и их интерфейсов, а также разделов стандартов, описывающих требования к ним, предназначенных для последующей формализации и использования в качестве основы для разработки тестового набора. По данному направлению выполнены следующие работы:
- проведен анализ 1532 интерфейсных функций операционной системы Linux, описанных в стандарте Linux Standard Base 3.1;
- выделено подмножество интерфейсных функций Linux, состоящее из 1022 функций, для которых формализация требований и разработка тестов в рамках проекта по разработке открытого тестового набора для компонентов операционной системы Linux является целесообразной;
- выполнена группировка интерфейсных функций, реализующих схожую функциональность и работающих с общими данными, для последующей совместной формализации требований к ним;
- проведен предварительный анализ выделенных разделов стандартов и выявлен ряд неточностей, неоднозначностей и противоречий в описаниях интерфейсных функций;
- определены критерии качества тестирования, основанные на структуре функциональных требований, описанных в стандартах и разработана методика измерения этого покрытия.
Развернуть
2
01.01.2006 - 31.03.2006
Краткое описание выполненных на этапе 2 работ:
– Разработана структура входных и выходных данных (часть 3 ТЗ).
– Определен состав и структура взаимодействия программных компонентов ПК СТН (часть 3 ТЗ).
– Разработано технико-экономическое обоснование (часть 3 ТЗ).
– Определена конфигурация технических средств (часть 3 ТЗ).
– Разработана пояснительная записка к техническому проекту.
– Проведено НИР на базе Центра (часть 4 ТЗ) по теме «Формальные подходы к тестированию математических функций».
– Оформлена отчетная документация по этапу.
Развернуть
3
01.04.2006 - 20.09.2006
Основной целью третьего этапа работ по государственному контракту № 02.467.11.1006 от 12.10.2005 г. являлась разработка рабочего проекта программного комплекса «Открытый систематический тестовый набор Linux» (ПК СТН). В ходе работ были совместно отлажены и подготовлены к предварительным испытаниям компоненты указанного программного комплекса.
Научно–техническим советом ИСП РАН было проведено согласование и утверждение результатов третьего этапа по изготовлению опытного образца ПК СТН.
Специалистами ИСП РАН в соответствии с календарным планом был разработан Интернет-сайт Центра верификации ОС Linux (http://www.linuxtesting.ru/), посвященный проблеме тестирования Linux на соответствие открытым стандартам с возможностью скачивания опытного образца тестового набора и соответствующей документации в духе open source.
Применение ПК СТН позволит:
- Увеличить степень надежности систем на базе ОС Linux;
- Существенно облегчить проверку соответствия поведения системных интерфейсов Linux требованиям открытого стандарта LSB Core, тем самым способствуя распространению этого стандарта и сокращению затрат на разработку прикладного ПО для Linux систем;
- Сократить время разработки адаптированных под специальные задачи отдельных компонентов операционной системы Linux.
Развернуть
4
21.09.2006 - 31.10.2006
«Утверждаю»
Директор ИСП РАН


________________В.П. Иванников

05 октября 2006 г.

АННОТАЦИЯ
работ по государственному контракту
№ 02.467.11.1006 от 12.10.2005 г.
за этап № 4

Основной целью четвертого этапа работ по государственному контракту № 02.467.11.1006 от 12.10.2005 г. являлось проведение предварительных и приемочных испытаний программного комплекса «Открытый систематический тестовый набор Linux» (ПК СТН).
В ходе работ были успешно проведены предварительные и приемочные испытания указанного программного комплекса и скорректирована программная документация.
Результаты проекта опубликованы на условиях свободной лицензии (open-source) Apche License 2.0 на Интернет-сайте Центра верификации ОС Linux (http://www.linuxtesting.ru/). Кроме собственно исходных текстов программного комплекса и сопутствующей документации, на сайте представлено много дополнительной информации о тестировании на соответствие открытым стандартам, об архитектуре ОС Linux, об использовании формальных спецификаций.
Применение ПК СТН позволит:
- Увеличить степень надежности систем на базе ОС Linux;
- Существенно облегчить проверку соответствия поведения системных интерфейсов Linux требованиям открытого стандарта LSB Core, тем самым способствуя распространению этого стандарта и сокращению затрат на разработку прикладного ПО для Linux систем;
- Сократить время разработки адаптированных под специальные задачи отдельных компонентов операционной системы Linux.



Ответственный исполнитель: _________________/А.К. Петренко/
Развернуть

Программа

Программа "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы

Программное мероприятие

1.2 Проблемно-ориентированные поисковые исследования фундаментального характера
Продолжительность работ
2014 - 2016, 30 мес.
Бюджетные средства
25 млн
Организация
ИСП РАН
профинансировано
Продолжительность работ
2011 - 2013, 20 мес.
Бюджетные средства
5,99 млн
Организация
ИСП РАН
профинансировано
Тема
Разработка открытого (open source) тестового набора и центра верификации операционной системы Linux.
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
15 млн
Количество заявок
5
Тема
Разработка аппаратно-программного комплекса «Виртуальный хирург» для 3D моделирования операционного процесса и учебно-методических модулей для системного обучения врача-хирурга методикам открытой хирургии с небольшим размером операционного поля, методикам эндоваскулярной хирургии и эндоскопической хирургии на этапах додипломного и последипломного образования.
Продолжительность работ
2011 - 2013, 26 мес.
Бюджетные средства
150 млн
Количество заявок
1
Тема
Разработка прикладного программного обеспечения по приоритетному направлению «Информационно-телекоммуникационные системы» в области создания библиотек системных программ для операционной системы «Linux».
Продолжительность работ
2008 - 2009, 8 мес.
Бюджетные средства
2,5 млн
Количество заявок
4
Тема
Разработка открытой и свободно распространяемой автоматизированной системы поддержки процесса промышленной разработки программных продуктов
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
46,8 млн
Количество заявок
4
Тема
Создание открытой платформы для универсальных учётных систем с возможностью кластеризации.
Продолжительность работ
2011 - 2013, 26 мес.
Бюджетные средства
109 млн
Количество заявок
2