Технологии разработки программного обеспечения

1. Технологии разработки программного обеспечения Исследования Института системного программирования РАН к.ф.-м.н В.В.Кулямин

2. Институт системного программирования РАН Основан в 1994 году Отдел системного программирования ИТМиВТ • БЭСМ-6 (1968) • АС-6 (1979) • Электроника ССБис (1987) Иванников В. П.

3. Треугольник деятельностей Исследования Российская академия наук Промышленные разработки Образование

4. Направления исследований • Технологии верификации программного и аппаратного обеспечения • Технологии разработки параллельных и распределенных систем • Технологии разработки компиляторов • CASE-системы и разработка на основе моделей • Технологии хранения и интеграции данных • Разработка и анализ алгоритмов

5. Партнеры и заказчики – индустрия • Hewlett Packard • Intel • Microsoft • Oracle • Linux Foundation • Nortel Networks • Telelogic (IBM) • VIA Technologies • Вымпелком • KLOCwork

6. Партнеры и заказчики – академия • Министерство науки и образования • INRIA • Microsoft Research • Fraunhofer Institute • Daimler Chrysler Research • ETSI • ETRI • Gelato • НИИСИ РАН

7. Образование • МГУфакультет ВМиК • 17-25 человек в год • МФТИфакультет УПМ • 12-18 человек в год кафедры Системного программирования Отдел технологий программирования

8. Миссия Создание и внедрение в промышленную практику наукоемких методов разработки программного обеспечения

9. Зачем нужна наукоемкость? • Существенное повышение качества и надежности ПО • Повышение эффективности разработки ПО • Создание собственных технологий – фундамент долгосрочного инновационного развития

10. Инновационная экономика исследования технологии продукты

11. Основные разработки • Повышение качества и надежности ПОПовышение эффективности разработкиПО • Методы разработки на основе моделей • CASE-инструменты • Методы анализа и прослеживания требований • Методы формальной верификации • Технологии и инструменты тестирования • Повышение производительности ПО • Технологии создания параллельных приложений

12. Научная работа • Статьи • Монографии • Участие в конференциях и их организация • Formal Methods • TESTCOM • Model Based Testing (ETAPS) • PSI • Диссертации • Связи иконтакты

13. Первые успехи Разработка тестового набора для ОС телекоммуникационного коммутатора • Ядро – 250 KLOC • Приложения – 25 MLOC • Тесты – 350 KLOC • Сгенерировано – 1.8 MLOC

14. Стандартизация Linux Стандарт Linux Standard Base - LSB • Стандарты • POSIX, XPG, SVID, ISO C • ncurses, LFS • Библиотеки • libc, libm, libncurses, libX11, libXt, libGL • libstdcxx, libxml • GTK, Qt, libfontconfig, libpng

15. Проект Linux Foundation Создание тестового набора для проверки соответствия LSB • > 10000 страниц текста • > 30000 интерфейсных операций Создание инфраструктуры поддержки стандарта www.linuxtesting.org ispras.linuxfoundation.org

16. Технологии тестирования • На основе автоматных моделей • Пред- и постусловия операций • Модель состояния • Тест – путь по графу переходов • На основе сценариев использования • Основные сценарии использования • Тест на каждый сценарий • Проверяется корректность в рамках сценария • На основе структуры интерфейса • Уточняются типы параметров и результатов • Автоматически создается один тест на операцию • Проверяются простейшие ограничения и отсутствие сбоев

17. География Linux Foundation

18. Разработка тестов для протоколов Семейство протоколов IPv6,Mobile IPv6, IPsec • > 1000 страниц текста • Не описываются конечными автоматами

19. Проект Go4IT Разработка открытого тестового набора для IPv6 go4it.unitesk.ru

20. География Go4IT

21. Карьерав ИСП РАН руководитель группы архитектор преподаватель исследователь старший разработчик разработчик аспирант студент

22. Вопросы? kuliamin@ispras.ru