[論文レビュー] Compositional Testing For FSM-Based Models

Bilal Kanso, Omar Chebaro|arXiv (Cornell University)|Jun 11, 2014

Machine Learning and Algorithms参考文献 18被引用数 4

ひとこと要約

本稿では、有限状態機械（FSM）に基づくコンポーネントシステムのための構成的テストフレームワークを提案する。このフレームワークにより、各コンポーネントをその投影仕様に対してテストすることで、グローバルシステムの適合性を検証できる。本稿では、適合するコンポーネントの正しく統合がグローバルシステムの正しさを保証することを証明しており、コンポーネントレベルの検証とシステムの文脈認識を組み合わせることで、複雑なシステムにおける効率的でスケーラブルなテストを実現する。

ABSTRACT

The contribution of this paper is threefold: first, it defines a framework for modelling component-based systems, as well as a formalization of integration rules to combine their behavior. This is based on finite state machines (FSM). Second, it studies compositional conformance testing i.e. checking whether an implementation made of conforming components combined with integration operators is conform to its specification. Third, it shows the correctness of the global system can be obtained by testing the components involved into it towards the projection of the global specification on the specifications of the components. This result is useful to build adequate test purposes for testing components taking into account the system where they are plugged in.

研究の動機と目的

• 有限状態機械（FSM）と統合規則を用いたコンポーネントベースのシステムの形式的フレームワークの定義。
• 統合されたシステムがグローバル仕様に適合するかどうかを検証する構成的適合性テスト手法の確立。
• グローバル仕様の各コンポーネントへの投影に基づいてコンポーネントをテストすることで、グローバルシステムの正しさを保証できることの実証。
• コンポーネントが統合されるシステムの文脈を考慮した効果的なテスト目的の開発を支援すること。

提案手法

• コンポーネントを明確に定義された入出力動作を持つ有限状態機械（FSM）としてモデル化する。
• 統合規則を形式的に定義し、コンポーネントの動作をグローバルシステムモデルに組み立てる。
• グローバル仕様を個々のコンポーネント仕様に投影する概念を導入し、コンポーネントレベルのテストに活用する。
• 各コンポーネントがその投影仕様に適合する場合、統合されたシステムがグローバル仕様に適合することを証明することで、構成的適合性を確立する。
• 合成と適合性の正しさを保証するため、形式的言語およびオートマトン理論に依存する。
• 仕様の投影を通じてコンポーネントテストケースとシステムレベルの動作を一致させることで、テスト生成を支援する。

実験結果

リサーチクエスチョン

• RQ1 グローバルシステム仕様を、各コンポーネントに特化した仕様に分解可能であり、かつコンポーネントの適合性がグローバルシステムの適合性を示すようにできるか？
• RQ2 コンポーネント間の統合規則を形式的に定義することで、合成における動作の正しさを保てるか？
• RQ3 コンポーネントベースのシステムにおけるコンポーネントレベルのテストとグローバルシステムテストの関係は何か？
• RQ4 モノリシックなシステムとしての全システムのテストを実施せずに、合成されたシステムの正しさを検証できるか？
• RQ5 個々のコンポーネントをテストする際、システムの文脈を反映したテスト目的をどのように設計できるか？

主な発見

• グローバル仕様を個々のコンポーネントの仕様に投影したものを基準に各コンポーネントをテストすることで、グローバルシステムの正しさを保証できる。
• 提案されたフレームワークにより、各コンポーネントがその投影仕様に適合する場合、統合されたシステムはグローバルに適合するよう保証される。
• コンポーネントレベルのテストに文脈認識の仕様を組み合わせることで、モノリシックなシステムテストから検証作業を移行させることで、スケーラブルなテストが可能になる。
• このアプローチはオートマトン理論に形式的に根ざしており、構成的テストプロセスの妥当性と正しさを保証する。
• コンポーネントが全体のシステムアーキテクチャ内で果たす役割を反映できるため、実用的なテスト設計を支援する。