Технология и инженерия разработки вариантов программных систем и продуктов
Автор: Лаврищева Е. М.
Излагается теория и методы моделирования вариабельных (изменяемых) программных и операционных систем с обеспечением доказательства и тестирования свойств моделей и создаваемых программных систем (ПС) и продуктов в рамках новых международных стандартов ISO/IEC «Software Engineering Methods and Theory (SEMAT, 2009)», SWEBOK (2001, 2009); ISO/IEC 12207:2007 – Жизненный цикл ПО и ПС, ISO/IEC 11404 GDT (общие типы данных) 1996, 2007, ISO 9126-1-4:2002 качество ПС и др. Изложена сущность сформировавщейся технологии программирования (1960–1990) и инженерии (Software Engineering, 1968-2012). Описаны парадигмы программирования для описания ПС и технических систем (ПТС). Определены методы разработки сложных систем из готовых компонентов повторного использования (КПИ). Представлена модель вариабельности MF (Feature Model) K.Pochl, К.Czernetski для формального внесения изменений в отдельные объекты ПС, семейств ПС (СПС) и программных продуктов (ПП), Предложена отечественная теория объектного и компонентного моделирования ПС с моделью характеристик MF и методом сборки вариантов ПП и ПС из КПИ. Описаны теория онтологического представления и извлечения знаний, спецификации и верификации моделей MF и систем. Определена теория конфигурационной сборки ПС из КПИ в соответствии PMBOK (Program Manegment Body of Knowledge) и интерфейсов передачи данных, в том числе и данных из класса Big Data. Отработаны методы анализа, верификации, тестирования и обеспечения безопасности и надежности КПИ и их интерфейсов в вариантах ПС и семейств систем СПС c учетом стандарта IEC 61508-1-6: 1998-2002 Функциональная безопасность ПТС. Приведен сгенерированный вариант ОС Linux в проекте РФФИ 19-01-00206 для применения в предметной области знаний (медицина, биология, генетика и др.). Описаны базовые положения для разработки предметных областей знаний, бизнес систем в среде WWW3C Интернет. Описывается стандарт SEMAT и новые дисциплины: научная, инженерная, экономическая, менеджмента и производства программных систем и продуктов. Этим методам обучаются студенты МФТИ с 2014 по специальности «Программная инженерия». Методы способствуют повышению уровня приобретаемых знаний и навыков для последующего участия в автоматизации задач в медицине, биологии и др.
