1 / 31

Data Dependency based Test Case Generation for BPEL Unit Testing

Data Dependency based Test Case Generation for BPEL Unit Testing. 大阪大学　大学院情報科学研究科 Choy Kho Yee. 2008/03/18. 概要. 背景 BPEL によるサービスの記述とそのテスト方法 提案手法 テストケースの作成 テスト対象の入出力データの型情報と依存関係を利用して、一貫性をもつテストデータを生成する テストデータを用いてテストケースを構築する テスト対象の実行履歴記録 BPEL 標準機能だけを用いてプラットフォーム独立な手法で実現する 実験

phyliss-fedora
Download Presentation

Data Dependency based Test Case Generation for BPEL Unit Testing

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Data Dependency based Test Case Generation for BPEL Unit Testing 大阪大学　大学院情報科学研究科 Choy Kho Yee 2008/03/18

  2. 概要 • 背景 • BPELによるサービスの記述とそのテスト方法 • 提案手法 • テストケースの作成 • テスト対象の入出力データの型情報と依存関係を利用して、一貫性をもつテストデータを生成する • テストデータを用いてテストケースを構築する • テスト対象の実行履歴記録 • BPEL標準機能だけを用いてプラットフォーム独立な手法で実現する • 実験 • 提案手法を実装したシステムを実際に運用してもらい、評価実験を行った 第159回 ソフトウェア工学研究発表会

  3. SOAとBPEL • サービス指向アーキテクチャ（SOA）とは、ネットワーク上の「サービス」をメッセージ通信で呼び出すアーキテクチャ • 一般的にXMLメッセージを利用 • ウェブサービスビジネスプロセス実行言語(BPEL)とは、サービス合成のために設計されたXMLベースの言語 • WSDL、XML Schema、XPathを利用 • BPELで書かれたプログラムはBPELプロセスという 第159回 ソフトウェア工学研究発表会

  4. GeoInfo Currency Exchange BPELプロセスの例 XMLデータ通信 パートナー サービス BPELプロセス <request> <search>tropical island</search> </request> <query> <keyword>tropical island</keyword> </query> <response> <result>Hawaii</result> <result>Bali</result> </response> オペレーション クライアント <query> <from>Japan</from> <to>Hawaii</to> </query> <response> <result>…</result> <result>…</result> </response> <query> <from>Japan</from> <to>Bali</to> </query> 第159回 ソフトウェア工学研究発表会

  5. GeoInfo Currency Exchange BPELプロセスの単体テスト パートナー サービス BPELプロセス <request> <search>tropical island</search> </request> <query> <keyword>tropical island</keyword> </query> <response> <result>Hawaii</result> <result>Bali</result> </response> クライアント <query> <from>Japan</from> <to>Hawaii</to> </query> <response> <result>…</result> <result>…</result> </response> <query> <from>Japan</from> <to>Bali</to> </query> 第159回 ソフトウェア工学研究発表会

  6. BPELプロセス GeoInfo Currency Exchange BPELプロセスの単体テスト BPEL単体テストフレームワーク 代理クライアント • BPELUnit • BPELプロセスの単体テストフレームワーク • P. Mayer, D. Lübke, Towards a BPEL unittesting framework. TAV-WEB’06, July 17, 2006. 代理パートナーサービス 第159回 ソフトウェア工学研究発表会

  7. XML XML XML XML 検証 検証 検証 検証 BPELUnitのテストケース作成 テストパス 依存 依存関係を満たしたテストデータを 一貫性を持つテストデータという 第159回 ソフトウェア工学研究発表会

  8. BPELUnit TestSuite Editor 検証式の指定 送信データ入力 第159回 ソフトウェア工学研究発表会

  9. BPELUnitでのテスト結果表示 • 得られる情報 • 各テストケースに指定された検証式の結果 • 送受信メッセージの内容 • 詳細な実行履歴の取得はBPELエンジンに依存 • テストカバレッジなどの算出が困難 第159回 ソフトウェア工学研究発表会

  10. 研究動機と目的 • 一貫性をもつテストデータを作成するのが困難 • サービスが送受信するXMLデータの構造が複雑 • 既存ツールは、テストデータの作成を支援していない • テスト実行履歴の取得は支援されていない • 提案および実装 • 一貫性をもつテストデータの生成を中心にしたテストケースの作成手法 • プラットフォーム独立なテスト実行履歴記録手法 第159回 ソフトウェア工学研究発表会

  11. 研究動機と目的 • 一貫性をもつテストデータを作成するのが困難 • サービスが送受信するXMLデータの構造が複雑 • 既存ツールは、テストデータの作成を支援していない • テスト実行履歴の取得は支援されていない • 提案および実装 • 一貫性をもつテストデータの生成を中心にしたテストケースの作成手法 • プラットフォーム独立なテスト実行履歴記録手法 第159回 ソフトウェア工学研究発表会

  12. 着目点 • BPELはサービスの合成を目的に設計されたため、高度なデータ処理機能がない[1] • BPELでは、データ処理にXPathを標準に採用している 従って、BPELの入出力データ間での関係は 簡単なXPath式で記述できると考えられる [1] F.Leymann, D.Roller, S.Thatte, Goals of the BPEL4WS Specification. 第159回 ソフトウェア工学研究発表会

  13. XPath式 XML文書から情報を抽出するための式 • XML文書を木として扱い、経路で要素を特定 • 関数によって真偽値、ノード、ノードの集合を返す XML文書 <response> <result>Hawaii</result> <result>Bali</result> </response> 第159回 ソフトウェア工学研究発表会

  14. 提案手法 • 開発者は、テスト対象のプロセスが呼び出すパートナーサービスのオペレーション集合を指定する • 開発者は、これらのオペレーションの入出力間での依存関係をXPath式を用いて指定する • システムは、データ間での依存関係に基づき必要なデータを生成する • 独立入力– XMLスキーマに従ってランダムに生成 • 依存入力– XPath式に従って生成 • 依存出力– XPath式に従って検証式を生成 • 独立出力– 開発者が明示的に指定した値で検証式を生成 • システムは、生成されたテストデータを用いてテストケースを構築する 第159回 ソフトウェア工学研究発表会

  15. Currency Exchange GeoInfo データ依存の種類 /request/search = /query/keyword 代入 <request> <search>tropical island</search> </request> 多重度 <query> <keyword>tropical island</keyword> </query> <response> <result>Hawaii</result> <result>Bali</result> </response> <query> <from>Japan</from> <to>Hawaii</to> </query> /response/resultの数 = count(/response/result) <query> <from>Japan</from> <to>Bali</to> </query> オペレーションの呼出回数 = count(/response/result) <response> <result>…</result> <result>…</result> </response> 第159回 ソフトウェア工学研究発表会

  16. テストケース生成部のシステム構成 • BPEL Data Dependency Editor • Eclipseのプラグインとして実装 • 開発者にデータ依存を定義するGUIを提供 • BPEL Data Dependency Description • データ依存を記述したXML文書 • Test Case Generator • テストデータとテストケースを生成 XMLデータの型情報 データ依存情報 第159回 ソフトウェア工学研究発表会

  17. BPEL Data Dependency Editor テストケース関連 オペレーション 集合の一覧 XMLデータ 構造の表示 XPath式挿入 データ依存 記述・追加 追加された データ依存一覧 第159回 ソフトウェア工学研究発表会

  18. BPEL Data Dependency Description <bpelDataDependencies> </bpelDataDependencies> <name/> <baseURL/> <deployment/> BPELUnitテストケースに必要な情報 <operationSets> </operationSets> <operationSet> <operations/> <messages/> <dependencies/> </operationSet> テストケースに関連するオペレーションの集合 送受信メッセージとそのID データ依存の記述 第159回 ソフトウェア工学研究発表会

  19. データ依存の指定例 代入の例 依存種類 依存元のメッセージID 依存先のメッセージIDの集合 <dependency targetMsgId= "3" dependsOnMsgId="1" type="substitution"> <target>./request/search</target> <dependsOn>./container/query/keyword</dependsOn> </dependency> ←依存元を指定するXPath式 ↑代入値を表すXPath式 多重度の例 依存種類 <dependency targetMsgId="2" dependsOnMsgId="3" type="multiplicity"> <target>./response/result</target> <dependsOn>count(./container/response/result)</dependsOn> </dependency> 第159回 ソフトウェア工学研究発表会

  20. テストデータの生成 データ依存テーブルを利用して生成できるデータから順に 生成していく （1回目呼出の）データ依存テーブル データ格納用テーブル XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ 第159回 ソフトウェア工学研究発表会

  21. XML XML XML 検証 テストケースの生成 データ格納用テーブル XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ XMLデータ 生成されたテストデータを用いてテストケースを 作成していく 第159回 ソフトウェア工学研究発表会

  22. 研究動機と目的 • 一貫性をもつテストデータを作成するのが困難 • サービスが送受信するXMLデータの構造が複雑 • 既存ツールは、テストデータの作成を支援していない • テスト実行履歴の取得は支援されていない • 提案および実装 • 一貫性をもつテストデータの生成を中心にしたテストケースの作成手法 • プラットフォーム独立なテスト対象の実行履歴記録手法 第159回 ソフトウェア工学研究発表会

  23. 実行履歴記録 • BPELの標準な機能だけで実現する • テスト対象の各アクティビティの前後に、実行履歴記録ウェブサービスを呼び出す記録用アクティビティを追加する • 記録用アクティビティは、これから実行される、または実行されたアクティビティの名前を実行履歴記録ウェブサービスへ報告する • 実行履歴記録ウェブサービスはログに記録し、各アクティビティの実行回数、成功回数、失敗回数を算出する 記録 Logger 実行履歴記録 ウェブサービス ログ テスト対象 拡張したテスト対象 第159回 ソフトウェア工学研究発表会

  24. アクティビティ実行結果の判定 B C A 実行された 第159回 ソフトウェア工学研究発表会

  25. 実行履歴記録部のシステム構成 • BPEL Process Augmenter • テスト対象に記録用アクティビティを追加する • Logger Web Service • 実行履歴を記録し、実行回数などの値を計算する • BPELUnit Runner Editor • Eclipseプラグイン • BPEL Process Augmenterの呼出、テストケースの実行、実行履歴の表示 第159回 ソフトウェア工学研究発表会

  26. 実行履歴情報の表示 実行されたアクティビティの 実行回数、成功回数、失敗回数 このテストケースで 実行されなかったアクティビティ 第159回 ソフトウェア工学研究発表会

  27. 適用実験の概要（1/2） • 対象：BPEL初心者の大学院生（M1）4名 • 利用ツール • BPELUnit TestSuite Editor（従来ツール） • BPEL Data Dependency Editor（提案ツール） • 手順 • 背景知識やツールの使い方について説明を受ける • 2つのBPELプロセスの仕様とテスト仕様について理解する • 決められた順番で2つのBPELプロセスのためのテストケースを異なるツールで作成する • 評価点 • テストケースの性質 • 一般的な間違い 第159回 ソフトウェア工学研究発表会

  28. 適用実験の概要（2/2） • テスト対象プロセス • プロセスA: Loan Approvalプロセス[1] • プロセスB: Meta Searchプロセス[2] • 作業の順番 • 4つのタスクを用意した • 被験者にランダムに割り当てた [1] OASIS WSBPEL Technical Committee, Web Services Business Process Execution Language Version 2.0, April 2007. [2] P. Mayer, Design and Implementation of a Framework for Testing BPEL Compositions, September, 2006. 第159回 ソフトウェア工学研究発表会

  29. 実験結果：性質 検証式の数の比較では、提案手法で作成した方が多い 　　⇒　XMLデータ構造の表示が有効 ツール別で作成された検証式の数 第159回 ソフトウェア工学研究発表会

  30. 実験結果：間違いの種類 第159回 ソフトウェア工学研究発表会

  31. まとめと今後の課題 • まとめ • BPELプロセスの単体テストを支援するために、テストケースを作成する手法およびプラットフォーム独立なテスト実行履歴記録手法を提案及び実装した • テストケース作成手法に対する評価実験では、送受信データの間違いが従来ツールより減少 • 今後の課題 • 手法とユーザインターフェイスの改良 • テスト実行履歴表示の改良 • BPEL開発者での評価実験 第159回 ソフトウェア工学研究発表会

More Related