Проект Баухаус (вычисления)

Проект Баухаус — это совместный исследовательский проект в области программного обеспечения между Штутгартским университетом , Бременским университетом и коммерческой дочерней компанией Axivion. ^{[ 1 ]} ранее называвшаяся Bauhaus Software Technologies. Проект Баухаус обслуживает области сопровождения программного обеспечения и реинжиниринга программного обеспечения .

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

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

История

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

Ранние версии Баухауза интегрировали и использовали Rigi для визуализации. ^{[ 9 ]}^{: 143–145}

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

Сегодня академическая версия ^{[ 5 ]} проекта Баухаус и коммерчески продаваемого Axivion Suite. ^{[ 1 ]} это разные продукты, поскольку разработка Axivion с 2010 года основана на новой инфраструктуре, которая позволила Axivion добавлять новые приложения, такие как проверка MISRA . ^{[ 10 ]}

11 августа 2022 года Qt Group (Nasdaq Helsinki: QTCOM) приобрела Axivion GmbH. С тех пор пакет Axivion Suite разрабатывался и распространялся бизнес-подразделением Qt Group по обеспечению качества.

Инструментарий Баухауза

Набор инструментов Bauhaus (или просто «инструмент Bauhaus») включает в себя инструмент статического анализа кода для кода C, C++, C#, Java и Ada. Он включает в себя различные виды анализа, такие как проверка архитектуры, анализ интерфейса и обнаружение клонов. Баухауз изначально возник на основе более старой среды обратного проектирования Rigi, ^{[ 11 ]} который был расширен Баухаусом из-за ограничений Риги. ^{[ 12 ]} Это один из самых известных инструментов визуализации в этой области. ^{[ 13 ]}

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

Набор инструментов лицензируется бесплатно для академического использования (но это другой продукт, чем Axivion Suite).

Axivion и сюита Axivion

Для коммерческого использования проекта была создана дочерняя компания Axivion. ^{[ 1 ]} Штаб-квартира Axivion находится в Штутгарте, Германия , и обеспечивает лицензирование и поддержку Axivion Suite . Хотя Axivion Suite берет свое начало в проекте Bauhaus, сегодня это другой продукт с гораздо более широким спектром статического анализа кода, такого как проверка MISRA , проверка архитектуры, включающий анализ, обнаружение дефектов и управление клонами. ^{[ 15 ]} Он также обеспечивает интеграцию IDE для Eclipse и Microsoft Visual Studio, отсутствующую в академическом проекте.

Финансирование проекта

Проект Баухаус финансировался землей Баден-Вюртемберг , Немецким исследовательским фондом , Федеральным министерством образования и исследований , T-Nova Deutsche Telekom Innovationsgesellschaft Ltd. и Xerox Research. ^{[ 16 ]}

Прием

Набор инструментов Bauhaus успешно используется в исследовательских и коммерческих проектах. ^{[ 14 ]} Было отмечено, что Баухаус — это «возможно, [самая] обширная» индивидуализация известной среды Риги. ^{[ 12 ]}

Участники проекта неоднократно награждались премией Best Paper Awards и несколько раз приглашались для подачи статей в журналы.

В 2003 году проект Баухаус получил награду в области программного обеспечения от MFG Stiftung Baden-Württemberg. ^{[ 16 ]}

Сноски

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

Ссылки

^ Jump up to: ^а ^б ^с Домашняя страница компании Axivion
^ Хольгер Брунс. « Откат назад: «обратное проектирование» выявляет слабые места в разработке программного обеспечения ». Deutschlandfunk (Радио Германии). 8 июля 2006 г.
^ Туллио Варданега. Надежные технологии программного обеспечения - Ada-Europe 2005: 10-я Международная конференция Ada-Europe по надежным программным технологиям, Йорк, Великобритания, 20–24 июня 2005 г., материалы . Том 3555 конспектов лекций по информатике . Спрингер, 2005. ISBN 3-540-26286-5 , ISBN 978-3-540-26286-2
^ Jump up to: ^а ^б Куигли, Аарон Дж. Крупномасштабная визуализация реляционной информации, кластеризация и абстракция. Архивировано 17 июля 2011 г., в Wayback Machine , стр. 155-159. Докторская диссертация. Кафедра компьютерных наук и разработки программного обеспечения, Университет Ньюкасла, август 2001 г.
^ Jump up to: ^а ^б «Проект Баухаус» . Архивировано из оригинала 14 января 2007 г. Проверено 5 марта 2007 г.
^ « Биографии ». 5-я летняя школа ИФИП по программным технологиям и подготовительный семинар для ACM/IEEE ICSE 2010
^ Основные докладчики - WCRE 2005 ^{[ постоянная мертвая ссылка ]} Рабочая конференция по обратному проектированию
^ Jump up to: ^а ^б Йохен Кванте. Графы процессов динамических объектов (Диссертация) Бременского университета. 30 января 2009 г.
^ Кошке, Райнер (2002). «Программная визуализация для обратного проектирования». Программная визуализация . Конспекты лекций по информатике. Том. 2269. стр. 138–150. CiteSeerX 10.1.1.465.3117 . дои : 10.1007/3-540-45875-1_11 . ISBN 978-3-540-43323-1 .
^ Проверка MISRA с помощью Axivion Suite
^ Хольгер Кинле и Сяоминь Ву ОТЧЕТ О ДЕМОНСТРАЦИИ СТРУКТУРИРОВАННЫХ ИНСТРУМЕНТОВ ВЫЛЕТА . Технический отчет, Университет Виктории, 2001 г.
^ Jump up to: ^а ^б Хольгер М. Кинле и Мюллер, Хауси А. Среда обратного проектирования Rigi . Университет Виктории, Канада. 2008.
^ Б. Клири, А. Ле Гир, К. Экстон, Дж. Бакли « Комбинированный модуль программной разведки и статического анализа Eclipse Visualization ». 3-й международный семинар IEEE по визуализации программного обеспечения для понимания и анализа . 2005.
^ Jump up to: ^а ^б Карстен Зор и Бернхард Бергер. «Идея: к архитектурно-ориентированному анализу безопасности программного обеспечения». Инженерное безопасное программное обеспечение и системы: Второй международный симпозиум, ESSoS 2010, Пиза, Италия, 3-4 февраля 2010 г., Материалы . Том 5965 подбиблиотеки LNCS «Конспекты лекций по информатике». SL 4, Безопасность и криптология. Безопасность и криптология. Спрингер, 2010. ISBN 3-642-11746-5 , ISBN 978-3-642-11746-6
^ Применение Axivion Suite
^ Jump up to: ^а ^б «Технологии Баухауза – повышение производительности инженеров по техническому обслуживанию за счет «корпоративной памяти»» do it.software-ward: Отличное исследование программного обеспечения из Баден-Вюртемберга, 2003–2007 гг. Архивировано 19 июля 2011 г. в Wayback Machine . Страница 42.

Внешние ссылки

Проект Баухаус
Штутгартский университет, Институт программных технологий, кафедра языков программирования
Бременский университет, группа разработки программного обеспечения, факультет 03
Домашняя страница компании Axivion (коммерческое лицензирование и поддержка Axivion Suite)

[axivion-1] Jump up to: ^а ^б ^с Домашняя страница компании Axivion

[2] Хольгер Брунс. « Откат назад: «обратное проектирование» выявляет слабые места в разработке программного обеспечения ». Deutschlandfunk (Радио Германии). 8 июля 2006 г.

[3] Туллио Варданега. Надежные технологии программного обеспечения - Ada-Europe 2005: 10-я Международная конференция Ada-Europe по надежным программным технологиям, Йорк, Великобритания, 20–24 июня 2005 г., материалы . Том 3555 конспектов лекций по информатике . Спрингер, 2005. ISBN 3-540-26286-5 , ISBN 978-3-540-26286-2

[quigley2001-4] Jump up to: ^а ^б Куигли, Аарон Дж. Крупномасштабная визуализация реляционной информации, кластеризация и абстракция. Архивировано 17 июля 2011 г., в Wayback Machine , стр. 155-159. Докторская диссертация. Кафедра компьютерных наук и разработки программного обеспечения, Университет Ньюкасла, август 2001 г.

[academic_bauhaus-5] Jump up to: ^а ^б «Проект Баухаус» . Архивировано из оригинала 14 января 2007 г. Проверено 5 марта 2007 г.

[6] « Биографии ». 5-я летняя школа ИФИП по программным технологиям и подготовительный семинар для ACM/IEEE ICSE 2010

[7] Основные докладчики - WCRE 2005 ^{[ постоянная мертвая ссылка ]} Рабочая конференция по обратному проектированию

[quante2009-8] Jump up to: ^а ^б Йохен Кванте. Графы процессов динамических объектов (Диссертация) Бременского университета. 30 января 2009 г.

[Bau2003-9] Кошке, Райнер (2002). «Программная визуализация для обратного проектирования». Программная визуализация . Конспекты лекций по информатике. Том. 2269. стр. 138–150. CiteSeerX 10.1.1.465.3117 . дои : 10.1007/3-540-45875-1_11 . ISBN 978-3-540-43323-1 .

[axivion_misra-10] Проверка MISRA с помощью Axivion Suite

[11] Хольгер Кинле и Сяоминь Ву ОТЧЕТ О ДЕМОНСТРАЦИИ СТРУКТУРИРОВАННЫХ ИНСТРУМЕНТОВ ВЫЛЕТА . Технический отчет, Университет Виктории, 2001 г.

[kienle2008-12] Jump up to: ^а ^б Хольгер М. Кинле и Мюллер, Хауси А. Среда обратного проектирования Rigi . Университет Виктории, Канада. 2008.

[13] Б. Клири, А. Ле Гир, К. Экстон, Дж. Бакли « Комбинированный модуль программной разведки и статического анализа Eclipse Visualization ». 3-й международный семинар IEEE по визуализации программного обеспечения для понимания и анализа . 2005.

[sohr2010-14] Jump up to: ^а ^б Карстен Зор и Бернхард Бергер. «Идея: к архитектурно-ориентированному анализу безопасности программного обеспечения». Инженерное безопасное программное обеспечение и системы: Второй международный симпозиум, ESSoS 2010, Пиза, Италия, 3-4 февраля 2010 г., Материалы . Том 5965 подбиблиотеки LNCS «Конспекты лекций по информатике». SL 4, Безопасность и криптология. Безопасность и криптология. Спрингер, 2010. ISBN 3-642-11746-5 , ISBN 978-3-642-11746-6

[15] Применение Axivion Suite

[doitaward2003-16] Jump up to: ^а ^б «Технологии Баухауза – повышение производительности инженеров по техническому обслуживанию за счет «корпоративной памяти»» do it.software-ward: Отличное исследование программного обеспечения из Баден-Вюртемберга, 2003–2007 гг. Архивировано 19 июля 2011 г. в Wayback Machine . Страница 42.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

[ 16 ]