Проект Баухаус (вычислительная техника)
Сотрудничество в рамках проекта по исследованию программного обеспечения

Проект Bauhaus представляет собой совместный проект по исследованию программного обеспечения между Штутгартским университетом , Бременским университетом и коммерческой дочерней компанией Axivion [1] , также известной как Bauhaus Software Technologies .

Проект Bauhaus обслуживает области обслуживания и реинжиниринга программного обеспечения .

Проект был создан в ответ на проблему устаревания программного обеспечения [2] , и его цель — анализ и восстановление средств и методов, разработанных для устаревшего программного обеспечения, путем понимания архитектуры программного обеспечения . [3] В рамках своих исследований проект разрабатывает программные инструменты (такие как Bauhaus Toolkit ) для архитектуры программного обеспечения, обслуживания программного обеспечения, реинжиниринга и понимания программ. [4]

Проект получил свое название от бывшей школы искусств Баухаус . [5]

История

Проект Bauhaus был инициирован профессорами Эрхардом Плёдередером [6] и Райнером Кошке [7] в Университете Штутгарта [8] в 1996 году. Первоначально это был совместный проект Института компьютерных наук (ICS) Университета Штутгарта и Института экспериментальной программной инженерии Фраунгофера IESE  [de] , [4] [9] который в настоящее время не участвует.

Проект Баухаус финансировался землей Баден -Вюртемберг , Deutschen Forschungsgemeinschaft , Bundesministerium für Bildung und Forschung , T-Nova Deutsche Telekom Innovationsgesellschaft Ltd. и Xerox Research. [10]

Ранние версии Bauhaus интегрировали и использовали Rigi для визуализации. [11] : 143–145 

Коммерческое отделение Axivion GmbH со штаб-квартирой в Штутгарте было создано в 2005 году. [9] Затем исследования проводились в Axivion, Институте программных технологий, на кафедре языков программирования в Университете Штутгарта, а также в группе программной инженерии факультета 03 в Университете Бремена.

Раньше предлагалась академическая версия [5] "Bauhaus" [12] . Сегодня программный продукт продается на коммерческой основе как Axivion Suite . Последний включает проверки MISRA C среди других услуг проверки.

11 августа 2022 года Qt Group приобрела Axivion GmbH. С тех пор Axivion Suite был дополнительно разработан и распространен подразделением Qt Group по обеспечению качества. [13]

Люкс «Аксивион»
Разработчик(и)Axivion GmbH (часть Qt Group)
Стабильный релиз
7.8 / 2024-07-04
ТипСтатический анализ программы
ЛицензияЗапатентованный
Веб-сайтhttps://www.qt.io/blog/quality-assurance/axivion-suite-7.8-release

Bauhaus Toolkit теперь Axivion Suite

Bauhaus Toolkit (или просто «инструмент Bauhaus») включает в себя статический инструмент анализа кода для C, C++, C#, Java и Ada. Он включает в себя различные анализы, такие как проверка архитектуры, анализ интерфейса и обнаружение клонов. Bauhaus изначально был получен из старой среды обратного проектирования Rigi, [14] которая была расширена Bauhaus из-за ограничений Rigi. [15] Он считается одним из самых заметных инструментов визуализации в этой области. [16]

Набор инструментов Bauhaus помогает анализировать исходный код, создавая абстракции (представления) кода на промежуточном языке , а также с помощью графа потока ресурсов (RFG). [17] RFG представляет собой иерархический граф с типизированными узлами и ребрами, которые структурированы в различных представлениях.

Хотя Axivion Suite берет свое начало в проекте Bauhaus, сейчас он считается другим продуктом с более широким спектром услуг, таких как статический анализ кода, например, проверка MISRA , верификация архитектуры, анализ включения, обнаружение дефектов и управление клонами.

Прием

Набор инструментов Bauhaus успешно использовался в исследовательских и коммерческих проектах. [17] Было отмечено, что Bauhaus является «возможно, [самой] обширной» настройкой известной среды Rigi, [15]

Участники проекта неоднократно награждались премией за лучшую статью и несколько раз приглашались представить статьи в журналы. [ необходима ссылка ]

В 2003 году проект Bauhaus получил награду do it software от MFG Stiftung Baden-Württemberg. [10]

Сноски

  • ^a Что касается основания проекта, то в различных источниках одинаково часто встречаются даты 1996 и 1997 гг.

Ссылки

  1. ^ "Лидер технологий статического анализа кода". Axivion . Получено 2024-10-11 .
  2. ^ Хольгер Брунс. «Rolle rückwärts: «Обратное проектирование» показывает Швахстеллен в der Softwarentwicklung auf». Deutschlandfunk (Радио Германии). 08.07.2006.
  3. ^ Туллио Варданега. Надежные программные технологии - Ada-Europe 2005: 10-я международная конференция Ada-Europe по надежным программным технологиям, Йорк, Великобритания, 20–24 июня 2005 г., труды . Том 3555 Lecture Notes in Computer Science . Springer, 2005. ISBN 3-540-26286-5 , ISBN 978-3-540-26286-2  
  4. ^ ab Quigley, Aaron J. Large Scale Relational Information Visualization, Clustering, and Abstraction Архивировано 17 июля 2011 г. в Wayback Machine , стр. 155-159. Докторская диссертация. Кафедра компьютерных наук и программной инженерии, Университет Ньюкасла, август 2001 г.
  5. ^ ab "The Bauhaus Project". Архивировано из оригинала 2007-01-14 . Получено 2007-03-05 .
  6. ^ "Проф. д-р рер. ест. наук Эрхард Плёдередер | Факультет 5: Компьютерные науки, электротехника и информационные технологии | Штутгартский университет". www.f05.uni-stuttgart.de . Получено 11.10.2024 .
  7. ^ "Баухаус - Университет Бремена" . www.uni-bremen.de (на немецком языке) . Проверено 11 октября 2024 г.
  8. ^ Основные докладчики - WCRE 2005 [ постоянная нерабочая ссылка ‍ ] Рабочая конференция по обратному проектированию
  9. ^ аб Йохен Кванте. Графы процессов динамических объектов (Диссертация) Университет Бремена. 30 января 2009 г.
  10. ^ ab «Bauhaustechniken – höhere Produktivität bei Wartungsingenieuren durch „Corporate Memory“» do it.software-ward: Ausgezeichnete Softwareforschung aus Baden-Württemberg 2003–2007. Архивировано 19 июля 2011 г. в Wayback Machine . Страница 42.
  11. ^ Кошке, Райнер (2002). "Визуализация программного обеспечения для обратного проектирования". Визуализация программного обеспечения . Конспект лекций по информатике. Том 2269. С.  138–150. CiteSeerX 10.1.1.465.3117 . doi : 10.1007/3-540-45875-1_11. ISBN  978-3-540-43323-1.
  12. ^ Raza, Aoun; Vogel, Gunther; Plödereder, Erhard (2006), Pinho, Luís Miguel; González Harbour, Michael (ред.), "Bauhaus – A Tool Suite for Program Analysis and Reverse Engineering", Reliable Software Technologies – Ada-Europe 2006 , т. 4006, Берлин, Гейдельберг: Springer Berlin Heidelberg, стр.  71–82 , doi :10.1007/11767077_6, ISBN 978-3-540-34663-0, получено 2024-10-11
  13. ^ "Выпуск Axivion Suite 7.8". www.qt.io . Получено 2024-10-11 .
  14. ^ Хольгер Кинле и Сяомин Ву ОТЧЕТ О ДЕМОНСТРАЦИИ СТРУКТУРИРОВАННОГО ИНСТРУМЕНТА SORTIE . Технический отчет, Университет Виктории, 2001.
  15. ^ ab Хольгер М. Кинле и Мюллер, Хауси А. Среда обратного проектирования Rigi . Университет Виктории, Канада. 2008.
  16. ^ Клири, Б.; Ле Гир, А.; Экстон, К.; Бакли, Дж. (2005). "Комбинированный программный модуль разведки и статического анализа Eclipse Visualisation Plug-in". 3-й международный семинар IEEE по программному обеспечению для визуализации понимания и анализа . Том 7. IEEE. стр.  1– 2. doi :10.1109/vissof.2005.1684319. ISBN 0-7803-9540-9.
  17. ^ ab Karsten Sohr и Bernhard Berger. "Idea: Towards Architecture-Centric Security Analysis of Software". Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings . Volume 5965 of Lecture Notes in Computer Science LNCS sublibrary. SL 4, Security and cryptology Security and Cryptology. Springer, 2010. ISBN 3-642-11746-5 , ISBN 978-3-642-11746-6  
  • Проект Баухаус – Бывшая страница проекта на ISTE
  • Universität Bremen > AG Softwaretechnik > Forschung > Projekte > Bauhaus
  • Официальный сайт (Axivion)
Взято с "https://en.wikipedia.org/w/index.php?title=Bauhaus_Project_(computing)&oldid=1260002707"