Loading article…
バウハウスプロジェクトは、シュトゥットガルト大学、ブレーメン大学、商業スピンオフ企業であるAxivion [1] （バウハウスソフトウェアテクノロジーズとしても知られる）の共同によるソフトウェア研究プロジェクトです。
バウハウス プロジェクトは、ソフトウェア保守とソフトウェア リエンジニアリングの分野に貢献します。
ソフトウェアの腐敗の問題に対応するために作成された[2]このプロジェクトは、ソフトウェアのアーキテクチャを理解することで、レガシーソフトウェア用に開発された手段と方法を分析し、回復することを目的としています。[3]研究の一環として、プロジェクトはソフトウェアアーキテクチャ、ソフトウェアの保守とリエンジニアリング、プログラム理解のためのソフトウェアツール（バウハウスツールキットなど）を開発しています。[4]
このプロジェクトの名前は、かつてのバウハウス美術学校に由来しています。[5]
歴史
バウハウスプロジェクトは、 1996年にシュトゥットガルト大学[8]のエアハルト・プレデレーダー教授[6]とライナー・コシュケ教授[7]によって開始されました。当初はシュトゥットガルト大学のコンピュータサイエンス研究所(ICS)とフラウンホーファー実験ソフトウェア工学研究所IESE [ 4] [9]の共同プロジェクトでしたが、現在は両者は関与していません。
バウハウス プロジェクトには、バーデン ヴュルテンベルク州、ドイツ連邦議会、ドイツ連邦政府、T-Nova Deutsche Telekom Innovationsgesellschaft Ltd.、およびXerox Researchから資金提供を受けました。[10]
バウハウスの初期のバージョンでは、視覚化のためにRigiを統合して使用していました。[11] : 143–145
シュトゥットガルトに本社を置く商業スピンオフ企業であるAxivion GmbHは2005年に設立されました。[9]当時の研究は、シュトゥットガルト大学プログラミング言語学科ソフトウェア技術研究所のAxivionとブレーメン大学第3学部のソフトウェアエンジニアリンググループで行われていました。
以前は、 「バウハウス」[12]のアカデミック版[5]が提供されていました。現在、このソフトウェア製品はAxivion Suiteとして市販されています。後者には、他の検証サービスとともにMISRA Cチェックが含まれています。
2022年8月11日、QtグループはAxivion GmbHを買収しました。それ以来、Axivion SuiteはQtグループの品質保証事業部門によってさらに開発され、配布されてきました。[13]
| 開発者 | Axivion GmbH (Qt グループの一員) |
|---|---|
| 安定リリース | 7.8 / 2024-07-04 |
| タイプ | 静的プログラム解析 |
| ライセンス | 独自 |
| Webサイト | https://www.qt.io/blog/quality-assurance/axivion-suite-7.8-release |
Bauhaus Toolkit が Axivion Suite に
バウハウスツールキット(または単に「バウハウス ツール」) には、C、C++、C#、Java、Ada コードの静的コード解析ツールが含まれています。アーキテクチャ チェック、インターフェイス解析、クローン検出などのさまざまな解析が含まれています。バウハウスは、もともと古い Rigi リバース エンジニアリング環境から派生したもので、[14] Rigi の制限によりバウハウスによって拡張されました。[15]この分野で最も注目されている視覚化ツールの 1 つと考えられています。[16]
バウハウスツールスイートは、中間言語でコードの抽象化（表現）を作成するとともに、リソースフローグラフ（RFG）を通じてソースコードの分析を支援します。 [17] RFGは、さまざまなビューで構造化された型付きノードとエッジを持つ階層グラフです。
Axivion Suite は Bauhaus プロジェクトに起源を持ちますが、現在では、 MISRAチェックなどの静的コード分析、アーキテクチャ検証、インクルード分析、欠陥検出、クローン管理など、より幅広いサービスを備えた別の製品と見なされています。
受付
バウハウスツールスイートは研究や商業プロジェクトで効果的に利用されてきた。[17]バウハウスは「おそらく最も広範囲な」リギ環境のカスタマイズであると指摘されている。[15]
プロジェクトのメンバーは、何度も最優秀論文賞を受賞し、ジャーナル論文の提出を何度も依頼されました。[要出典]
2003年、バウハウスプロジェクトはMFG Stiftung Baden-Württembergからdo it software賞を受賞した。[10]
脚注
- ^a プロジェクトの設立に関しては、1996 年と 1997 年がさまざまな情報源で同程度に頻繁に登場しているようです。
参考文献
- ^ 「静的コード分析のテクノロジーリーダー」Axivion . 2024年10月11日閲覧。
- ^ ホルガー・ブルンズ。 「Rolle rückwärts: 「リバース エンジニアリング」デッキは Softwarentwicklung auf の Schwachstellen を担当しました。」ドイチュラントフンク（ラジオドイツ）。 2006 年 8 月 7 日。
- ^ Tullio Vardanega.信頼性の高いソフトウェア技術 - Ada-Europe 2005: 信頼性の高いソフトウェア技術に関する第 10 回 Ada-Europe 国際会議、英国ヨーク、2005 年 6 月 20 日 - 24 日、議事録。Lecture Notes in Computer Scienceの第 3555 巻。Springer、2005 年。ISBN 3-540-26286-5、ISBN 978-3-540-26286-2
- ^ ab Quigley, Aaron J. 「大規模リレーショナル情報の視覚化、クラスタリング、および抽象化」Wayback Machineで 2011 年 7 月 17 日にアーカイブ、pp. 155-159。博士論文。ニューカッスル大学コンピューターサイエンスおよびソフトウェアエンジニアリング学部、2001 年 8 月。
- ^ ab 「バウハウス プロジェクト」。2007 年 1 月 14 日時点のオリジナルよりアーカイブ。2007 年 3 月 5 日閲覧。
- ^ 「Prof. Dr. rer. nat. Erhard Plödereder | Faculty 5: Computer Science, Electrical Engineering and Information Technology | University of Stuttgart」www.f05.uni-stuttgart.de . 2024年10月11日閲覧。
- ^ “バウハウス - ブレーメン大学”. www.uni-bremen.de (ドイツ語) 。2024 年 10 月 11 日に取得。
- ^ 基調講演者 - WCRE 2005 [永久リンク切れ ]リバースエンジニアリングに関するワーキングカンファレンス
- ^ ab ヨッヘン・クワンテ。動的オブジェクト プロセス グラフ(論文) ブレーメン大学。 2009 年 1 月 30 日
- ^ ab "Bauhaustechniken – höhere Produktivität bei Wartungsingenieuren durch ``Corporate Memory''" do it.software-award:Ausgezeichnete Softwareforschung aus Baden-Württemberg 2003–2007 2011 年 7 月 19 日にウェイバック マシンにアーカイブ。 42ページ。
- ^ Koschke, Rainer (2002)。「リバースエンジニアリングのためのソフトウェア可視化」。ソフトウェア可視化。コンピュータサイエンスの講義ノート。第 2269 巻。pp. 138–150。CiteSeerX 10.1.1.465.3117。doi : 10.1007/3-540-45875-1_11。ISBN 978-3-540-43323-1。
- ^ Raza, Aoun; Vogel, Gunther; Plödereder, Erhard (2006)、Pinho, Luís Miguel; González Harbour, Michael (編)、「Bauhaus – プログラム分析とリバースエンジニアリングのためのツールスイート」、Reliable Software Technologies – Ada-Europe 2006、vol. 4006、ベルリン、ハイデルベルク: Springer Berlin Heidelberg、pp. 71–82、doi :10.1007/11767077_6、ISBN 978-3-540-34663-0、2024-10-11取得
- ^ 「Axivion Suite 7.8 リリース」www.qt.io . 2024 年 10 月 11 日閲覧。
- ^ Holger Kienle と Xiaomin Wu 「SORTIE 構造化ツールのデモンストレーションに関するレポート」。技術レポート、ビクトリア大学、2001 年。
- ^ ab Holger M. Kienle および Muller, Hausi A. Rigi リバースエンジニアリング環境。ビクトリア大学、カナダ。2008 年。
- ^ Cleary, B.; Le Gear, A.; Exton, C.; Buckley, J. (2005). 「ソフトウェア偵察と静的分析を組み合わせた Eclipse 視覚化プラグイン」。第 3 回 IEEE 国際ワークショップ「ソフトウェアの理解と分析のための視覚化」 。第 7 巻。IEEE。pp. 1–2。doi : 10.1109 / vissof.2005.1684319。ISBN 0-7803-9540-9。
- ^ ab Karsten Sohr および Bernhard Berger。「アイデア: ソフトウェアのアーキテクチャ中心のセキュリティ分析に向けて」。エンジニアリング セキュア ソフトウェアおよびシステム: 第 2 回国際シンポジウム、ESSoS 2010、イタリア、ピサ、2010 年 2 月 3 ～ 4 日、議事録。Lecture Notes in Computer Science LNCS サブライブラリの第 5965 巻。SL 4、セキュリティと暗号学セキュリティと暗号学。Springer、2010 年。ISBN 3-642-11746-5、ISBN 978-3-642-11746-6
外部リンク
- バウハウス プロジェクト – ISTE の以前のプロジェクト ページ
- ブレーメン大学 > AG Softwaretechnik > Forschung > Projekte > バウハウス
- 公式サイト（アクシビオン）