BPTesting 0.9

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.0/5 - ‎1 ‎投票

BPEL 参加者テストプロジェクト BPTesting プロジェクトは、BPEL オーケストレーションで起こりうる相互運用性の不一致を強調するためのテスト派生と実行アプローチを提案します。参加者テストは、モデル チェック技術によって得られた "ad-hoc" テスト スイートによって実行されます。テスト用のデータ生成は、遺伝的アルゴリズムによって導かれます。 紹介 サービス指向コンピューティングは、ソフトウェアシステムの組織間統合を促進し、容易にする新たな分野です。このような状況では、相互運用性の問題は、正しい統合の主な脅威と考えられています。この設定では、サービス オーケストレーションは、多くの独立した参加者サービス間の制御と実行の中心的なポイント (オーケストレーター) の存在を予測するサービス 構成を参照します。 Web サービス- ビジネスプロセス実行言語 (略して BPEL) は、Web サービスのオーケストレーションの主要な標準となる絶好のチャンスを持ち、テストの観点からは重要な課題を提示します。 このアプローチでは、モデル チェックと遺伝的アルゴリズムの手法を組み合わせて、特定のオーケストレーション内で役割を果たすサービスの動作をチェックするために使用するテスト ケースを導き出します。特に、データ生成に対処し、状態爆発に関連する問題を回避するために、遺伝的アルゴリズム技術が使用されています。 実装 BPEL 記述と関連する WSDL ファイルのセットを形成し始めて、フレームワークはモデルチェッカー Java PathFinder とデータ生成のための遺伝的アルゴリズムに適した Java モデルを構築することができます。実行の痕跡を分離し、関係する各参加者のテストケースを導き出すことができるモデルの実行を形成します。 実装は開発の初期段階にありますが、システムの完全なインフラストラクチャを構築しています。BPEL 言語のサブセットのみが翻訳され、モデルは実行可能な場合に手動で変更する必要があります。 プロジェクトに関するコメント、提案、または関与に感謝します。連絡先については、「"People"」セクションを参照してください。

バージョン履歴

  • バージョン bpt0.9 に転記 2009-10-29
    いくつかの修正と更新
  • バージョン bpt0.9 に転記 2009-10-29

プログラムの詳細