Проекты
Текущие проекты
Summer — система разработки тестов на основе автоматных моделей
Начало проекта – 2010 год.Summer — система разработки тестов на основе автоматных моделей, поддерживающая технологию UniTESK.
В рамках исследовательских работ в 2010 году начато исследование методов статического анализа программ на языках с динамической типизацией. Создан прототип инструмента, позволяющий проводить вывод типов для программ на языке Python. В настоящее время проект временно заморожен.
Разработка тестовых наборов для математических библиотек
Начало проекта – 2010 год. Заказчик - РФФИ.Тестовый набор предназначен для тестирования реализаций математических функций, использующих числа с плавающей точкой и имеющих интерфейс на языке С.
Linux Driver Verification (LDV)
Начало проекта – 2009 год.Программа Linux Driver Verification (LDV) объявлена Центром верификации ОС Linux в июне 2009 года.
Технология тестирования интеграции в крупных информационных системах
Начало проекта – 2005 год. Заказчик - ОАО “Вымпелком”.Проект ведется в партнерстве с ОАО "Вымпелком" и нацелен на развитие методов тестирования на уровне информационной системы вцелом. Проект охватывает самые разные аспекты процесса тестирования: от сбора требований к legacy-системам до анализа тестового покрытия при end-to-end тестировании.
UniTESK - это технология тестирования программных интерфейсов (API), которая в первую очередь предназначена для модульного тестирования. Название UniTESK расшифровывается как Unified TEsting Specification based toolKit (Унифицированный набор инструментов для тестирования на основе спецификаций). Унифицированность UniTESK обеспечивается тем, что общая методология тестирования и общая архитектура может быть реализована для тестирования модулей на практически всех языках программирования. В настоящее время имеются реализации UniTESK для C (CTESK), C++ (C++TESK), Java (JavaTESK и Summer), Python (PyTESK).
Завершенные проекты
Исследование и разработка методов восстановления формата данных.
Начало проекта – 2011 год. Окончание проекта - 2013 год. Заказчик - РФФИ.Одной из распространенных практических задач анализа бинарного кода является восстановление структуры полученного программой сетевого сообщения или считанного файла. В случае работы аналитика с защищенным бинарным кодом трудоемкость восстановления формата данных становится недопустимо большой. В рамках данного проекта предполагается создание автоматизированной системы восстановления формата, не требующей от пользователя наличия узко специфических знаний о функционировании системного ПО целевой вычислительной системы. Данная система позволит повысить эффективность работы аналитика и повысить точность восстановления.
При построении системы компиляции для языков общего назначения, учитывающей специфические особенности целевой аппаратуры и наиболее вероятный сценарий использования, необходимо применять методы динамической и адаптивной оптимизации. Исследование таких методов удобно проводить в компиляторной инфраструктуре LLVM.
Проект был направлен на создание экспериментальной платформы для численного моделирования на базе вычислительного комплекса OpenFOAM для гетерогенных вычислительных систем с графическими ускорителями, путем применения технологий CUDA для перенесения наиболее ресурсоемких вычислений на графический ускоритель и организации взаимодействия центрального процессора и ускорителя.
В рамках проекта был разработан прототип web-центра, ориентированного на решение задач анализа программ на базе разрабатываемых в ИСП РАН программных компонент технологической платформы UniHUB, вычислительной инфраструктуры программы «Университетский кластер» и открытого пакета анализа программ Avalanche.
Данный проект предоставляет возможность совершать запросы к Википедии на языке XQuery. Содержимое Википедии было представлено в правильно структурированном XML-формате и загружено в XML-базу данных Sedna. Для запросов на языке XQuery был реализован веб-интерфейс.
В процессе выполнения работы, были решены задачи исследования методов доступа к высокопроизводительным ресурсам, а также разработки экспериментального образца единой аппаратно-программной платформы, обеспечивающей доступ к высокопроизводительным ресурсам, как к Web сервисам.
Инструмент итеративного динамического анализа программ Avalanche
Начало проекта – 2009 год. Окончание проекта - 2012 год.В рамках перспективных направлений исследований в 2009 году в группе анализа программ началась разработка инструмента Avalanche для итеративного динамического анализа программ на базе среды динамической инструментации программ Valgrind. В настоящий момент проводятся исследования, направленные на увеличение производительности динамического анализа с использованием распределенных вычислений, исследование методов и разработка инструментов целенаправленного анализа отдельных модулей и функций целевой программы, а также исследование методов воспроизведения дефектов, найденных в процессе статического анализа программ, при помощи методов динамического анализа.
Микроблогосфера обладает уникальными характеристиками: это источник крайне актуальной информации о событиях, происходящих во всем мире. Twitter является наиболее популярным средством ведения микроблогов, поэтому мы разработали систему анализа сообщения Twitter, которую назвали TweetSieve.
Инфраструктура управления контентом и знаниями
Начало проекта – 2008 год. Окончание проекта - 2009 год. Заказчик - Научное издательство "Большая Российская энциклопедия".Данная инфраструктура предоставляет службы управления полным жизненным циклом знаний и контента, которые используются для разработки современных информационных продуктов, основанных на энциклопедиях и ссылках. XML-СУБД Sedna является главным компонентом инфраструктуры. Она позволяет использовать один и тот же контент в разных документах и форматах, обеспечивает повторное использование контента, превосходные поиск и навигацию, а также значительную гибкость и удобство модификации информационных продуктов.
В рамках проекта по заказу и совместно с компанией Synchro Software Ltd. (Великобритания) проводятся фундаментальные и прикладные исследования в области системной интеграции, программной инженерии, компьютерной графики и визуализации, управления большими данными для построения перспективных систем визуального моделирования и планирования проектов. Полученные результаты позволили развить мультидисциплинарную функциональность разрабатываемой системы, а также улучшить ее масштабируемость и производительность.
Разработка инфраструктуры стандарта LSB
Начало проекта – 2006 год. Окончание проекта - 2010 год. Заказчик - Linux Foundation.Программа LSB Infrastructure выполнялась ИСП РАН по контракту с Linux Foundation. Проект был начат в сентябре 2006 и был нацелен на долгосрочное сотрудничество с целью поднятия на новый уровень инфраструктуры разработки и поддержки стандарта LSB в ответ на возрастающую потребность индустрии в продвижении этого стандарта.
Инструменты статического анализа исходного кода программ на языках C, C++ и C#
Начало проекта – 2001 год. Окончание проекта - 2017 год. Заказчик - Klocwork a Rogue Wave Company.По заказу и совместно с канадской компанией Klocwork a Rogue Wave Company (ранее Klocwork Inc.) в группе анализа программ разрабатывается семейство инструментов статического анализа исходного кода программ на языках C, C++ и C# с объемом кода в несколько миллионов строк. В рамках проекта непосредственно в ИСП РАН разработан фронтенд компилятора языков C и C++ с поддержкой расширений языка для компиляторов GCC, Microsoft C++ Compiler, Green Hills, CodeWarior и других, а также собственный фронтенд компилятора для языка C#.
BizQuery — виртуальная система интеграции данных, основанная на XML
Начало проекта – 2000 год. Окончание проекта - 2003 год.BizQuery — это пакет серверов и инструментов для разработки приложений, оперирующих разнородными источниками данных. Главным компонентом пакета является Сервер интеграции BizQuery Integration Server, который предназначен для совершения запросов на языке XQuery к разнородным базам данных. Сервер интеграции BizQuery Integration Server поддерживает концепцию глобальной схемы данных, определенную в XML.
ISP C++ ORB — бесплатное инструментальное средство для разработки распределенного программного обеспечения. Брокер объектных запросов (ORB) играет роль коммуникатора между различными компонентами распределенных приложений, которые могут выполняться на разных платформах.