SBSE - История изменений

Admin: Перенаправление на Системная инженерия на основе поиска

2019-08-17T14:58:07Z

Перенаправление на Системная инженерия на основе поиска

Admin: Перенаправление на Программная инженерия на основе поиска

2019-08-17T14:37:33Z

Перенаправление на Программная инженерия на основе поиска

Admin в 14:04, 17 августа 2019

2019-08-17T14:04:11Z

Admin в 10:57, 26 мая 2016

2016-05-26T10:57:22Z

Admin: /* Ссылки */

2016-05-12T11:55:20Z

‎Ссылки

Admin: /* Ссылки */

2016-05-12T11:55:02Z

‎Ссылки

Admin: Новая страница: «'''Системная инженерия на основе поиска''' (search-based systems engineering) - исследуемое пока программи…»

2016-05-12T11:54:45Z

Новая страница: «'''Системная инженерия на основе поиска''' (search-based systems engineering) - исследуемое пока программи…»

Новая страница

'''Системная инженерия на основе поиска''' (search-based systems engineering) - исследуемое пока программистами более далёкое инженерное будущее. Сейчас существует только search-based software engineering (SBSE, термин появился в 2001 году). Обзоры:

== Сравнение с MBSE ==
Если в [[MBSE]] набором моделей формализуется сам объект работы инженеров (целевая [[система]]), а затем эти модели подвергаются анализу солверов, то в SBSE формализуются также и синтетические практики системной инженерии: [[Инженерия требований|инженерии требований]], [[инженерия системной архитектуры|инженерии системной архитектуры]] и инженерии [[проверки и приёмки]].

Прежде всего, нужно указать на возможность постановки всех расчётных и даже геометрических моделей (которые тут тоже можно считать "расчётными") под управление оптимизатора. Это самый простой случай. Настолько простой, что его часто даже не считают следующим поколением системной инженерией, а просто частным примером использования методов MBSE.

Но вот если мы хотим, чтобы менялись не параметры модели, а сами модели определения системы, их структура - это совсем другое дело. Человек при этом будет задавать (функциональные) требования, а вот модели для удовлетворения этих требований с учётом всех возникающих технических противоречий, будет делать компьютер. То есть мы задаём '''пространство технических решений''', и будем искать в этом пространстве '''оптимальные решения''' - "'''поиск'''" технических решений тут ключевое слово. Отсюда и search-based systems engineering.

Тем самым по сравнению с MBSE для компьютерного поиска решений нужно дополнительно формализовать предмет системной инженерии:
* формализовать пространство решений
* предъявить формальные количественные и качественные (пример - формализовать понятие "элегантности" для архитектуры) критерии к результату

== Основные направления ==
* тестирование и отладка (порядка половины всех работ),
* [[проектирование]] (например, качественная модуляризация),
* [[требования]]/спецификации (какими требованиями пренебречь с минимальным ущербом для пользы)

== Ссылки ==
* [http://en.wikipedia.org/wiki/Search-based_software_engineering краткая справка]
* [http://www.infoq.com/presentations/sbse-search-based-software-engineering слайды и видео полуторачасовой презентации]
* [http://seams2014.uni-paderborn.de/downloads/Harman_Keynote_slides.pdf презентация "Genetic Improvement for
Adaptive Software Engineering"]
* [http://www0.cs.ucl.ac.uk/staff/mharman/laser.pdf тьюториал и "таксономия"]
* [http://crestweb.cs.ucl.ac.uk/resources/sbse_repository/ репозиторий свежей литературы по теме]
* [http://ssbse.org/ ежегодный симпозиум]

Для SBSE есть и много других названий и ключевых слов:
* Metaheuristics & Software Engineering (метаэвристики - эвристики об инженерных эвристиках. Помним, что [Инженерия и наука|инженерия базируется не на науке, а на эвристиках], как хорошо показано [http://neo.lcc.uma.es/mase в работах Billy Koen об инженерном методе]
* [http://daase.cs.ucl.ac.uk/ Dynamic Adaptive Automatied Software Engineering] (проект четырёх британских университетов)
* [http://www.sigevo.org Genetic and Evolutionary Computation] (см. [http://www.sigevo.org/wiki/tiki-index.php?page=Success%20stories success stories]).

[[Категория:Подходы]]

← Предыдущая		Версия 14:58, 17 августа 2019
Строка 1:		Строка 1:
−	#REDIRECT [[~~Программная~~ инженерия на основе поиска]]	+	#REDIRECT [[Системная инженерия на основе поиска]]

@@ Строка 1: / Строка 1: @@
-'''Системная инженерия на основе поиска''' (search-based systems engineering) - исследуемое пока программистами более далёкое инженерное будущее. Сейчас существует только [[программная инженерия на основе поиска]] (SBSE, термин появился в 2001 году).
+#REDIRECT [[Программная инженерия на основе поиска]]
-−
-== Сравнение с MBSE ==
-Если в [[MBSE]] набором моделей формализуется сам объект работы инженеров (целевая [[система]]), а затем эти модели подвергаются анализу солверов, то в SBSE формализуются также и синтетические практики системной инженерии: [[Инженерия требований|инженерии требований]], [[инженерия системной архитектуры|инженерии системной архитектуры]] и инженерии [[проверки и приемки]].
-−
-Прежде всего, нужно указать на возможность постановки всех расчётных и даже геометрических моделей (которые тут тоже можно считать "расчётными") под управление оптимизатора. Это самый простой случай. Настолько простой, что его часто даже не считают следующим поколением системной инженерией, а просто частным примером использования методов MBSE.
-−
-Но вот если мы хотим, чтобы менялись не параметры модели, а сами модели определения системы, их структура - это совсем другое дело. Человек при этом будет задавать (функциональные) требования, а вот модели для удовлетворения этих требований с учётом всех возникающих технических противоречий, будет делать компьютер. То есть мы задаём '''пространство технических решений''', и будем искать в этом пространстве '''оптимальные решения''' - "'''поиск'''" технических решений тут ключевое слово. Отсюда и search-based systems engineering.
-−
-Тем самым по сравнению с MBSE для компьютерного поиска решений нужно дополнительно формализовать предмет системной инженерии:
-* формализовать пространство решений;
-* предъявить формальные количественные и качественные (пример - формализовать понятие "элегантности" для архитектуры) критерии к результату.
-−
-== Основные направления ==
-* тестирование и отладка (порядка половины всех работ),
-* [[проектирование]] (например, качественная модуляризация),
-* [[требования]]/спецификации (какими требованиями пренебречь с минимальным ущербом для пользы)
-−
-== Ссылки ==
-* [http://en.wikipedia.org/wiki/Search-based_software_engineering краткая справка]
-* [http://www.infoq.com/presentations/sbse-search-based-software-engineering слайды и видео полуторачасовой презентации]
-* [http://seams2014.uni-paderborn.de/downloads/Harman_Keynote_slides.pdf презентация "Genetic Improvement for Adaptive Software Engineering"]
-* [http://www0.cs.ucl.ac.uk/staff/mharman/laser.pdf тьюториал и "таксономия"]
-* [http://crestweb.cs.ucl.ac.uk/resources/sbse_repository/ репозиторий свежей литературы по теме]
-* [http://ssbse.org/ ежегодный симпозиум]
-−
-Для SBSE есть и много других названий и ключевых слов:
-* Metaheuristics & Software Engineering (метаэвристики - эвристики об инженерных эвристиках. Помним, что [[Инженерия и наука|инженерия базируется не на науке, а на эвристиках]], как хорошо показано [http://neo.lcc.uma.es/mase в работах Billy Koen об инженерном методе]
-* [http://daase.cs.ucl.ac.uk/ Dynamic Adaptive Automatied Software Engineering] (проект четырёх британских университетов)
-* [http://www.sigevo.org Genetic and Evolutionary Computation] (см. [http://www.sigevo.org/wiki/tiki-index.php?page=Success%20stories success stories]).
-−
-[[Категория:Подходы]]