ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 22.11.2023
Просмотров: 104
Скачиваний: 1
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
Технологии разработки программного обеспечения
Исследования Института системного программирования РАН к.ф.-м.н В.В.КуляминИнститут системного программирования РАН
Треугольник деятельностей
Направления исследований
Партнеры и заказчики – индустрия
Партнеры и заказчики – академия
Образование
- 17-25 человек в год
МФТИ факультет УПМ
12-18 человек в год
кафедры Системного программирования
Миссия
Зачем нужна наукоемкость?
Создание собственных технологий – фундамент долгосрочного инновационного развития
Инновационная экономика
Основные разработки
- Методы разработки на основе моделей
CASE-инструменты
Методы анализа и прослеживания требований
Методы формальной верификации
Технологии и инструменты тестирования
Повышение производительности ПО
Технологии создания параллельных приложений
Научная работа
- Formal Methods
TESTCOM
Model Based Testing (ETAPS)
PSI
Диссертации
Связи и контакты
Первые успехи
Стандартизация Linux
- POSIX, XPG, SVID, ISO C
ncurses, LFS
Библиотеки
libc, libm, libncurses, libX11, libXt, libGL
libstdcxx, libxml
GTK, Qt, libfontconfig, libpng
Проект Linux Foundation
Технологии тестирования
- Пред- и постусловия операций
Модель состояния
Тест – путь по графу переходов
На основе сценариев использования
Основные сценарии использования
Тест на каждый сценарий
Проверяется корректность в рамках сценария
На основе структуры интерфейса
Уточняются типы параметров и результатов
Автоматически создается один тест на операцию
Проверяются простейшие ограничения и отсутствие сбоев