ИСП РАН
Институт системного программирования Российской Академии Наук

Отдел «Технологий программирования»

Об отделе

Научные исследования, ведущиеся в отделе, покрывают широкий спектр проблем программной инженерии, в том числе: методы анализа программ и их моделей, методы верификации и валидации программ, вопросы стандартизации, в частности, вопросы построения открытых стандартов ПО, различные вопросы организации процессов создания, сопровождения и развития программ, включая методы обучения и передачи и внедрения передовых технологий. Помимо собственно ПО предметом исследований являются программные устройства, например, микропроцессоры, хотя, как правило, программные устройства в этих исследованиях представлены их моделями, а это позволяет использовать для работы с программными устройства техники близкие к техникам анализа программ.

Различные темы исследований отличаются не только объектами и методами исследования, но уровнем общности и дистанцией между целями исследованиями и задачами практики разработки ПО. Соответственно, часть исследований носят преимущественно теоретический характер, а другая – прикладной. К первой группе исследований относятся:

• Методы спецификации и моделирования программ и программных устройств;
• Методы верификации программ и моделей, тестирование на основе моделей;
• Специализированные языки для целей формальной спецификации, моделирования, тестирования;
• Общие вопросы управления требованиями (выявление, систематизация, анализ, трассировка требований в процессах разработки и верификации и др.);
• Архитектуры инструментальных стредств для поддержки разработки и анализа программ, в том числе, аритектуры операционных систем, кросс-разработки встроенных систем, трансляторов, средств верификации интегрированных с другими инструментами разработки и анализа программ.

Тематика прикладных исследований направлена на решение следующих задач:

• Разработка инфраструктуры развития и распространения открытого стандарта ОС Linux LSB. Сюда входят:
  • Построение информационной системы, включающей информацию о дистрибутивах, приложениях над ОС Linux, тестах совместимости со стандартом LSB, католог требований стандарта;
  • Построение формальных спецификаций интерфейсов библиотек ОС Linux;
  • Разработка тестовых наборов LSB;
  • Разработка инструментов для создания элементов и эксплуатации всей инфраструктуры.
• Разработка методов и инструментальной поддержки интеграции крупных информационных систем, в частности:
  • Анализ тестопригодности;
  • Автоматизированное тестовое наполнение баз данных;
  • Тестирование распределенных баз данных.
• Тестирование ОС реального времени;
• Верификация драйверов операционных систем;
• Методы системного и модульного тестирования микропроцессоров;
• Тестирование компиляторов;
• Анализ и формализация требований стандартов телекоммуникационных протоколов, интерфейсов операционных систем, языков программирования, базового ПО систем реального времени.