[論文レビュー] Component Interaction Graph: A new approach to test component composition

Arup Abhinna Acharya, Sisir Kumar Jena|arXiv (Cornell University)|Jun 14, 2010

Advanced Software Engineering Methodologies参考文献 5被引用数 6

ひとこと要約

本稿では、コンポーネント指向ソフトウェア工学におけるコンポーネント構成の体系的テストを目的として、ステートチャート図から導出されたコンポーネント相互作用グラフ（CIG）を提案する。コンポーネントの相互作用をモデル化し、ターゲット化されたテストケースを生成することで、テストカバレッジを向上させ、組み合わせたコンポーネントの正しいランタイム動作を保証する。本手法は、コンポーネント統合のための従来のテスト戦略におけるギャップを埋めることを目的としている。

ABSTRACT

The key factor of component based software development is component composition technology. A Component interaction graph is used to describe the interrelation of components. Drawing a complete component interaction graph (CIG) provides an objective basis and technical means for making the testing outline. Although many researches have focused on this subject, the quality of system that is composed of components has not been guaranteed. In this paper, a CIG is constructed from a state chart diagram and new test cases are generated to test the component composition.

研究の動機と目的

• コンポーネント指向ソフトウェア開発におけるコンポーネント構成のための体系的テスト手法の不足を解消すること。
• コンポーネント統合の段階でテストケース生成のための形式的かつ客観的な基盤を提供すること。
• 構造的な相互作用モデリングを通じて、組み合わせたソフトウェアシステムの品質と信頼性を向上させること。
• ステートベースモデリングを用いて、コンポーネント設計とランタイムテストのギャップを埋めること。
• コンポーネント構成における重要な相互作用パスをカバーするテストケースを生成すること。

提案手法

• ステートチャート図からコンポーネント相互作用グラフ（CIG）を構築し、コンポーネントの相互作用をモデル化すること。
• 状態遷移情報を用いて、コンポーネント間の相互作用シーケンスおよび依存関係を特定すること。
• CIGからテストケースを導出することで、定義されたすべての相互作用パスおよび遷移をカバーすること。
• 形式的モデリング手法を適用し、テストケース生成の完全性と正しさを保証すること。
• コンポーネントの状態と遷移を相互作用イベントにマッピングし、テストカバレッジを確保すること。
• テストケースをコンポーネント構成に対して検証することで、統合欠険を検出すること。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてコンポーネント相互作用を形式的にモデル化することで、コンポーネント構成の体系的テストを支援できるか？
• RQ2 コンポーネント相互作用モデルから包括的なテストケース生成を保証する技術は何か？
• RQ3 ステートチャート図を用いることで、コンポーネント構成テストの正確性とカバレッジがどのように向上するか？
• RQ4 CIGベースのアプローチは、開発ライフサイクルの初期段階で統合欠陥を早期に検出できるか？
• RQ5 CIGベースのテストは、組み合わせたソフトウェアシステムの信頼性と品質にどのような影響を与えるか？

主な発見

• CIGは、コンポーネント構成のためのテストケース設計における形式的かつ客観的な基盤を提供する。
• CIGから導出されたテストケースは、コンポーネント間の重要な相互作用パスおよび遷移をカバーする。
• ステートチャートからのコンポーネント相互作用の体系的モデリングにより、テストカバレッジが向上する。
• 構造的なモデリングを通じて、統合欠陥の早期検出が可能になる。
• CIGベースのテスト戦略は、コンポーネント指向ソフトウェアシステムの信頼性を向上させる。
• 本手法は、コンポーネント統合のためのターゲット化されたテストケース生成の実現可能性と有効性を示している。