Data Dependency based Test Case Generation for BPEL Unit Testing

• Item type: SIG Technical Reports(1)
• 公開日: 2008-03-18
• タイトル: Data Dependency based Test Case Generation for BPEL Unit Testing
• タイトル / 言語: en
• タイトル: Data Dependency based Test Case Generation for BPEL Unit Testing
• 言語: eng
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 株式会社日立コンサルティング
• 著者所属: 株式会社日立コンサルティング
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Hitachi Consulting Co., Ltd.
• 著者所属(英): en
• 著者所属(英): Hitachi Consulting Co., Ltd.
• 著者名: チョイ, コーイー; 石尾, 隆; 松下, 誠; 井上, 克郎; 四野見, 秀明; 湯浦, 克彦
• 著者名(英): Kho, YeeChoy; Takashi, Ishio; Makoto, Matsushita; Katsuro, Inoue; Hideaki, Shinomi; Katsuhiko, Yuura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ウェブサービスビジネスプロセス実行言語 WS-BPEL で書かれたプロセスを対象とした単体テストのためのテストケースを作成する際，開発者はテスト対象に入力として送信するデータとテスト対象からの出力を検証する検証式を手作業で用意しなければならない．しかし，ウェブサービスが送受信する XML データは一般に複雑なため，これらのテストデータを作成するのは困難である．また，作成したテストケースが十分なのかを判断することも難しい．本稿では，テストケースの作成を支援するために，入出力データ間での依存関係を用いたテストケース生成手法を提案する．提案手法では，開発者はまず XPath 式でテスト対象の入出力データ間での依存関係を記述する．次に，システムは記述された依存関係情報と WSDL 文書から取得できるデータ型の情報を用いて一貫性を持つテストデータを生成する．最後に，生成されたテストデータを用いてテストケースを作成する．また，本稿では，プラットフォーム非依存な実行履歴記録手法についても述べる．BPEL プロセスの実行履歴は，テストケースが十分かどうかを開発者が判断する際に有用である．提案手法を実装したシステムを実際に運用してもらい，評価実験を行った．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: To create test cases for the unit testing of business process written in Web Services Business Process Execution Language (WS-BPEL or BPEL), developers have to prepare input data for the BPEL process under test (PUT) and verification conditions for output data from the PUT. This preparation of test data can be a tedious task due to the complexity of XML data used by the PUT. Furthermore, it is difficult for developers to decide whether the created test cases are sufficient for testing the PUT. In this paper, we propose a data dependency based test case generation approach. In this approach, developers first define data dependencies using XPath expression. Type definitions in WSDL documents are then leveraged to automatically generate independent data which, together with the specified data dependencies, are then used to generate coherent test data. Finally, test cases are composed using these data. Besides, a platform independent method to collect execution information of the PUT is also presented. This can provide developers useful information for evaluating the adequacy of generated test cases. Experiments were carried out to verify that this tool indeed helps in the creation of test cases for BPEL unit testing.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 2008, 号 29(2008-SE-159), p. 163-170, 発行日 2008-03-18
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会