Технологии программирования


Текущие проекты

Summer — система разработки тестов на основе автоматных моделей

Начало проекта – 2010 год.

Summer — система разработки тестов на основе автоматных моделей, поддерживающая технологию UniTESK.

Разработка тестовых наборов для математических библиотек

Начало проекта – 2010 год. Заказчик - РФФИ.

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

Linux Driver Verification (LDV)

Начало проекта – 2009 год.

Программа Linux Driver Verification (LDV) объявлена Центром верификации ОС Linux в июне 2009 года.

Технология тестирования интеграции в крупных информационных системах

Начало проекта – 2005 год. Заказчик - ОАО “Вымпелком”.

Проект ведется в партнерстве с ОАО "Вымпелком" и нацелен на развитие методов тестирования на уровне информационной системы вцелом. Проект охватывает самые разные аспекты процесса тестирования: от сбора требований к legacy-системам до анализа тестового покрытия при end-to-end тестировании.

UniTESK

Начало проекта – 1999 год.

UniTESK - это технология тестирования программных интерфейсов (API), которая в первую очередь предназначена для модульного тестирования. Название UniTESK расшифровывается как Unified TEsting Specification based toolKit (Унифицированный набор инструментов для тестирования на основе спецификаций). Унифицированность UniTESK обеспечивается тем, что общая методология тестирования и общая архитектура может быть реализована для тестирования модулей на практически всех языках программирования. В настоящее время имеются реализации UniTESK для C (CTESK), C++ (C++TESK), Java (JavaTESK и Summer), Python (PyTESK).

Завершенные проекты

Разработка с использованием инструмента C++TESK системы функциональной верификации кэш-памяти третьего уровня проекта "Процессор 1"

Начало проекта – 2013 год. Окончание проекта - 2013 год. Заказчик - совместно с МЦСТ .

Целью данного проекта являлась разработка с использованием технологии UniTESK и инструмента C++TESK системы функциональной верификации (тестовой системы) для кэш-памяти третьего уровня (L3) проекта «Процессор 1», а также проведение верификации с использованием разработанной тестовой системы.

Разработка с использованием инструмента C++TESK систем автономной функциональной верификации устройств L3 и DB проектов "Процессор 1" и "Процессор 2"

Начало проекта – 2012 год. Окончание проекта - 2012 год. Заказчик - совместно с МЦСТ .

Целью данного проекта являлась разработка с использованием технологии UniTESK систем автономной функциональной верификации (тестовых систем) для устройств проектов «Процессор 1» и «Процессор 2», доработка (приведение в актуальное состояние и расширение возможностей) существующих тестовых систем, а также проведение верификации с использованием разработанных заново и доработанных тестовых систем.

Разработка инфраструктуры стандарта LSB

Начало проекта – 2006 год. Окончание проекта - 2010 год. Заказчик - Linux Foundation.

Программа LSB Infrastructure выполнялась ИСП РАН по контракту с Linux Foundation. Проект был начат в сентябре 2006 и был нацелен на долгосрочное сотрудничество с целью поднятия на новый уровень инфраструктуры разработки и поддержки стандарта LSB в ответ на возрастающую потребность индустрии в продвижении этого стандарта.