Отдел «Технологий программирования»
Проекты
Разработка тестовых наборов для математических библиотек.
Начало проекта – 2011 год. Грант РФФИ 11-01-00425.
Тестовый набор «Математика» — набор тестов для математических функций, входящих в программный интерфейс стандарта POSIX, проверяющий как соответствие реализаций этих функций стандарту, так и точность их вычисления на большом объеме специальным образом выбранных данных. Источники тестовых данных для набора таковы: интервалы однородного поведения тестируемых функций, граничные и специальные значения чисел с плавающей точкой, точки, в которых корректное вычисление тестируемых функций наиболее трудоемко. Отчет по результатам тестирования может предоставляться как в самом кратком виде, так и с детальным распределением обнаруженных ошибок и выделением наиболее серьезных из них.
Тестирование авиационной навигационной системы.
Начало проекта - 2011 год. Заказчик - ЗАО «ЛАЗЕКС».
Разработка набора инструментов PyTESK.
Начало проекта – 2011 год. Внутренний проект отдела.
Исследования и разработка с использованием технологии UniTESK системы тестов для устройств проекта "Эльбрус-2S".
Начало проекта – 2010 год. Совместно с ЗАО "МЦСТ".
Разработка расширяемой системы для динамического анализа и проверки модулей ядра Linux.
Начало проекта – 2010 год. Грант отдела. Проект поддержан грантом Google Research Awards в 2011 году.
Система KEDR предназначена для динамического (runtime и post factum) анализа модулей ядра Linux, в том числе драйверов устройств, модулей файловых систем и т.д. Инструменты из состава KEDR работают с модулем ядра, выбранным пользователем. Они позволяют отслеживать вызовы функций, выполняемые данным модулем, имитировать для этого модуля нехватку системных ресурсов, выявлять утечки памяти, сохранять информацию о вызовах функций ("трасса вызовов") для последующего анализа с помощью user-space приложений. KEDR может использоваться при разработке модулей ядра Linux (как компонент системы контроля качества), при анализе причин сбоев в работе ядра Linux на системах пользователей (техническая поддержка), а также в составе сертификационных систем для драйверов и других компонентов ядра Linux. KEDR является свободным ПО и распространяется под лицензией GPL v2. Получить более подробную информацию о проекте можно
здесь.
Верификация реализаций расширяемых протоколов Интернета.
Проект 2010-2012 годов. Грант РФФИ 10-07-00145-а.
Разработка инструмента ABI Compliance Checker.
Начало проекта - 2009 год. Грант отдела. Проект поддержан грантом Nokia в 2011 году.
ABI Compliance Checker - инструмент для проверки обратной бинарной совместимости общих библиотек С/C++. Он проверяет наличие изменений в стеке вызовов, изменения в v-таблице, удаление символов и т.п. Инструмент предназначен для разработчиков библиотек и пользователей операционной системы, которые заинтересованы обеспечении бинарной совместимости, то есть позволяет старым приложениям работать с новыми версиями библиотек без повторной компиляции. Получить более подробную информацию о проекте можно
здесь.
Разработка автоматического генератора основных модульных тестов для общих библиотек C/C++.
Начало проекта - 2009 год. Грант отдела.
Автоматический генератор основных модульных тестов для общих библиотек C/C++ помогает быстро генерировать поверхностные тесты для проверки качества для каждого элемента API прямо из файлов заголовков библиотек. Получить более подробную информацию о проекте можно
здесь.
Разработка платформы для интеграции и апробации перспективных методов верификации компонентных систем.
Начало проекта - 2009 год. Грант РФФИ 09-01-00576.
Разработка автоматизированного рабочего места системного интегратора.
Начало проекта – 2008 год. В сотрудничестве с ГосНИИАС.
Система управления требованиями Requality.
Начало проекта – 2008 год. Грант отдела.
Система управления требованиями Requality – это инструмент для работы с требованиями, в первую очередь к программным системам. Requality автоматизирует основные процессы работы с требованиями. Requality может выступать в качестве первичного хранилища требований, а также в качестве системы для структурирования и атрибутирования требований представленных в виде текстовых документов (например, текстов стандартов). Получить более подробную информацию о проекте можно
здесь.
Верификация драйверов ОС Linux.
Начало проекта - 2008 год. Грант отдела.
Система верификации предназначена для выявления типовых ошибок в исходном коде драйверов устройств ОС Linux. Верификация основана на применении статических методов анализа исходного кода, что позволяет выявлять в том числе и ошибки, которые проявляются только при сложновоспроизводимом стечении обстоятельств. Еще одним достоинством применяемого метода является возможность верификации драйверов устройств при отсутствии в наличии самих устройств. Система верификации находится в процессе разработки, но уже позволила выявить несколько десятков ошибок в существующих драйверах ОС Linux, которые были признаны и исправлены их разработчиками. Получить более подробную информацию о проекте можно
здесь.
Создание системы безопасности, обеспечивающей защищенное выполнение приложения в недоверенной ОС.
Начало проекта - 2008 год. Программа президиума РАН.
Разработка инфраструктуры стандарта LSB.
Начало проекта - 2006 год. Заказчик - The Linux Foundation.
Программа LSB Infrastructure выполняется ИСП РАН по контракту с Linux Foundation. Проект был начат в сентябре 2006 и нацелен на долгосрочное сотрудничество с целью поднятия на новый уровень инфраструктуры разработки и поддержки стандарта LSB в ответ на возрастающую потребность индустрии в продвижении этого стандарта. Ключевые области ИСП РАН в этом проекте включают в себя LSB Infrastructure Tools (разработка, развитие и поддержка различных инфраструктурных систем для поддержки, продвижения и развития LSB), тестирование Linux, различные исследовательские и аналитические работы, проводимые с целью раннего обнаружения проблем, связанных с LSB, и их устранения, а также различные активности по анализу данных и подготовке отчетов для принятия решений. Получить более подробную информацию о проекте можно
здесь.
Тестирование моделей микропроцессоров.
Начало проекта - 2006 год. Совместно с НИИСИ РАН.
Для тестирования моделей микропроцессоров используется системная верификации, представляющая собой технологию генерации тестовых программ для микропроцессоров и других программируемых устройств на основе моделей. Данный подход использует высокоуровневые описания системы команд для формальной спецификации поведения микропроцессора и комбинаторные методы построения тестовых воздействий в тестовых программах. Инструментальная поддержка подхода осуществляется с помощью системы MicroTESK. Инструмент позволяет специфицировать систему команд микропроцессора, задать тестовое покрытие и сконфигурировать генератор под конкретные цели тестирования. Получить более подробную информацию о проекте можно
здесь.
Разработка методов и инструментальной поддержки интеграции крупных информационных систем.
Начало проекта - 2005 год. Заказчик - Вымпелком.
Тестирование ОС реального времени.
Начало проекта - 2005 год. Совместно с НИИСИ РАН.
Разработка набора инструментов JavaTESK.
Начало проекта 2005 год. Внутренний проект.
JavaTESK - инструмент для тестирования программного обеспечения, реализованного на языке Java. JavaTESK реализует технологии UniTESK автоматизированного тестирования, основанного на спецификациях. Инструмент позволяет использовать формальное описание требований для генерации тестов. JavaTESK повышает качество процесса разработки программного обеспечения за счет того, что тесты разрабатываются независимо от реализации на основе спецификаций требований. Опережающая разработка тестов позволяет сократить цикл разработки программного обеспечения и повышает качество тестирования. JavaTESK является мощным средством для проведения блочного и интеграционного тестирования. Получить более подробную информацию о проекте можно
здесь.
Разработка набора инструментов CTESK.
Начало проекта – 2001 год. Внутренний проект.
CTESK - инструмент для тестирования программного обеспечения, реализованного на языке C. CTESK реализует технологию UniTESK автоматизированного тестирования, основанного на спецификациях. Инструмент позволяет использовать формальное описание требований для генерации тестов. CTESK повышает качество процесса разработки программного обеспечения за счет того, что тесты разрабатываются независимо от реализации на основе спецификаций требований. Опережающая разработка тестов позволяет сократить цикл разработки программного обеспечения и повышает качество тестирования. CTESK является мощным средством для проведения блочного и интеграционного тестирования. Получить более подробную информацию о проекте можно
здесь.
Тестирование компонентов бортовых систем Авионики.
Проект 2009-2010 годов. Заказчик – ОАО "Корпорация "Русские Системы".
Разработка тестового набора для реализаций DOM.
Проект 2009-2010 годов. Заказчик – Microsoft.
Разработка тестовых наборов на языке Java.
Проект 2009-2010 годов. Грант Министерства Науки и Образования.
Тестирование моделей конвейерных микропроцессоров.
Проект 2008-2010 годов. Грант РФФИ 08-01-00889.
Верификация реализаций второй версии сервисов безопасности сетевого уровня Интернета (IPsec v2).
Проект 2007-2010 годов. Совместно с отделом «Архитектуры вычислительных систем». Грант РФФИ 07-07-00243.
Проект ISTOK-SOYUZ - Information Society Technologies to Open Knowledge for Eastern Europe and Central Asia (Технологии информационного общества - путь к открытому знанию для Восточной Европы и Средней Азии)
Начало проекта – 2009 год.
Проект нацелен на выявление приоритетов и механизмов сотрудничества между европейскими исследователями и исследователями из стран Восточной Европы и Средней Азии в области информационно-коммуникационных технологий (ИКТ). Основными задачами проекта являются продвижение программы ЕС в области ИКТ, повышение уровня информированности о преимуществах взаимного сотрудничества, определение потенциала сотрудничества в области исследования и разработки ИКТ между Европейским Союзом и странами Восточной Европы и Центральной Азии, обеспечение прямой поддержки команд исследователей с целью увеличения числа реальных партнерств между европейскими исследователями и исследователями из России, Белоруссии, Украины, Армении и Казахстана по ИКТ-тематике. Получить более подробную информацию о проекте можно
здесь.
