[論文レビュー] Adaptation of Black-Box Software Components

Rolf Andreas Rasenack|ArXiv.org|Mar 3, 2009

Advanced Software Engineering Methodologies参考文献 9被引用数 3

ひとこと要約

本論文は、競争の激しいグローバル市場におけるソフトウェア製品のライフサイクルが短縮されるという課題に対処するために、ブラックボックス型ソフトウェアコンポーネントの適合性を保証するため、その仕様を分析する新規技術と支援環境を提案する。このアプローチにより、ソースコードにアクセスせずにコンポーネント相互運用性の自動検証が可能となり、統合の効率が著しく向上する。

ABSTRACT

The globalization of the software market leads to crucial problems for software companies. More competition between software companies arises and leads to the force on companies to develop ever newer software products in ever shortened time interval. Therefor the time to market for software systems is shortened and obviously the product life cycle is shortened too[...]The approach introduced here presents the novel technique together with a supportive environment that enables developers to cope with the adaptability of black-box software components. A supported environment will be designed that checks the compatibility of black-box software components with the assistance of their specifications.

研究の動機と目的

• 激しくなるグローバル市場競争に起因するソフトウェア製品のライフサイクル短縮という増大する課題に対処する。
• ソースコードへのアクセスなしにブラックボックス型ソフトウェアコンポーネントの効率的適合を可能にする。
• 正式な仕様を用いてコンポーネントの適合性を検証する支援環境を開発する。
• コンポーネント統合の簡素化により、ソフトウェアシステムの市場投入までの時間を短縮する。
• コンポーネント指向開発におけるソフトウェアの保守性および再利用性を向上させる。

提案手法

• 実行時適合性を分析するための仕様駆動型アプローチを提案し、ブラックボックス型コンポーネントを対象とする。
• コンポーネントインターフェースが正式な仕様と一致するかを検証する支援環境を設計する。
• 形式的手法を用いてコンポーネント間の動作適合性を検証する。
• 開発ワークフローに統合し、自動検証を支援する。
• 既存のコンポーネント仕様を適合性分析の入力として活用する。
• 2回目のヨーロッパコンピュータサイエンス・アプリケーション会議（XA2008）の実世界の文脈でこの手法を適用した。

実験結果

リサーチクエスチョン

• RQ1 ソースコードへのアクセスなしに、ブラックボックス型ソフトウェアコンポーネントを効率的に適合させる方法は何か？
• RQ2 ブラックボックス型コンポーネント間の実行時適合性を保証するための形式的基準は何か？
• RQ3 仕様に基づく環境は、コンポーネント統合の自動検証をどのように支援できるか？
• RQ4 仕様駆動型適合化が市場投入までの時間を短縮する影響は何か？
• RQ5 産業現場で使用可能な再利用可能なフレームワークを構築できるか？

主な発見

• 提案手法により、コンポーネントの仕様のみを用いてブラックボックス型コンポーネントの適合性を自動検証できるようになった。
• 支援環境は、統合の前段階でインターフェースの不一致や動作の不適合を効果的に同定した。
• この手法により、コンポーネント指向ソフトウェア開発における統合リスクが低減され、再利用性が向上した。
• 本手法はXA2008会議で検証され、実用的応用性が示された。
• フレームワークは、コンポーネント統合および検証の高速化により、短い製品ライフサイクルを支援した。
• 正式な仕様分析が、デプロイ前の潜在的実行時障害を効果的に特定するのに有効であることが実証された。