拡張有限状態機械を用いた運用プロファイルベースドテストのテストケース生成手法とツール構成

• Item type: Journal(1)
• 公開日: 2013-02-15
• タイトル: 拡張有限状態機械を用いた運用プロファイルベースドテストのテストケース生成手法とツール構成
• タイトル / 言語: en
• タイトル: Test Case Generation Method and Its Tool Configuration of Operational Profile-based Testing Using Extended Finite State Machines
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [特集：ソフトウェア工学] ソフトウェアテスト，運用プロファイル，テストケース生成
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 香川大学工学部
• 著者所属: 香川大学工学部
• 著者所属: 香川大学工学部
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Kagawa University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Kagawa University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Kagawa University
• 著者名: 高木, 智彦; 八重樫, 理人; 古川, 善吾
• 著者名(英): Tomohiko, Takagi; Rihito, Yaegashi; Zengo, Furukawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 拡張有限状態機械に基づく運用プロファイルから，usage distribution coverageとNスイッチ網羅率が大きいテストケースを効果的に生成するためのテストケース生成手法とツール構成を提案する．拡張有限状態機械には遷移間にデータ依存性があるため，テストケースの実行可能性を考慮する必要がある．また，テスト工程に割り当てられる労力は有限なので，生成されるテストケースの実行に要する労力があらかじめ指定される上限を超えないようにする必要がある．本稿では，これらの問題にも対処した，遺伝的アルゴリズムによるテストケース生成手法を示す．さらに，本手法を実装したテストケース生成ツールと既存のモデリングツールを連携させたツール構成について検討する．商用ソフトウェアに適用した結果，拡張有限状態機械の使用によって複雑な振舞いを持つソフトウェアに対して効果的に適用できること，usage distribution coverageとNスイッチ網羅率を同時に改善できることが確認できた．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper shows a test case generation method and its tool configuration in which an operational profile that is based on an EFSM (extended finite state machine) automatically produces test cases to achieve high usage distribution coverage and high N-switch coverage effectively. The EFSM includes data dependencies among its transitions, which requires addressing the executability of test cases. Also, the effort devoted to executing given test cases should not exceed the finite efforts for a test process. In this paper, we propose a test case generation method using a genetic algorithm also to address these problems. Additionally, we consider a tool configuration that consists of an existing modeling tool and a test case generation tool that implements this method. The case study indicates that EFSMs make it possible to apply this method to software including complex behavior, and this method can improve both usage distribution coverage and N-switch coverage.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 54, 号 2, p. 797-806, 発行日 2013-02-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764