Сборники трудов ИСП РАН


Проектирование моделей вариабельности для программных, операционных систем и их семейств

Лаврищева Е.М. (ИСП РАН, Москва, Россия; МФТИ, Московская. обл., Россия)
Мутилин В.С. (ИСП РАН, Москва, Россия)
Рыжов А.Г.. (ИСП РАН, Москва, Россия)

Аннотация

Сложность существующих систем и их сопровождения привела к созданию новой концепции вариабельности систем, определяемой с помощью модели характеристик (МХ). В статье мы рассматриваем подходы к формальному определению МХ и созданию на их основе вариантов программных систем (ПС), операционных систем (ОС) и их семейств. Мы рассмотрим методы создания ПС в линейке продуктов (ProductFamily/ProductLines), конвейере К.Чарнецки для сборки артефактов в пространстве проблем и решений, логико-математическое моделирование ПС из функциональных и интерфейсных элементов в объектно-компонентном методе (ОКМ), выделение функциональных элементов в ОС в МХ для генерации новых вариантов этой системы. Обсуждаются подходы формализации вариабельности существующих, новых ПС и их семейств. Определена новая концепция управления вариабельностью с помощью ОКМ. Предложены подходы к верификации МХ для ПС, ОС, их семейств и конфигурирования функциональных и интерфейсных объектов для получения новых вариантов системы. Изучены характеристики процесса тестирования ПС, ОС и их семейств.

Ключевые слова

модель вариабельности; программная система; семейство систем; конфигурация; вариант; функциональный, интерфейсный элемент; требование; управление

Издание

Труды Института системного программирования РАН, том 29, вып. 5, 2017, стр. 93-110.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2017-29(5)-6

Полный текст статьи в формате pdf (на английском) Вернуться к содержанию тома