記号実行のために前処理機能を導入した業務アプリケーション向けテスト入力値生成システム

• Item type: Journal(1)
• 公開日: 2021-04-15
• タイトル: 記号実行のために前処理機能を導入した業務アプリケーション向けテスト入力値生成システム
• タイトル / 言語: en
• タイトル: A Test Input Value Generation System for Enterprise Application to Introduce Preprocessing Functions for Symbolic Execution
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [特集：ソフトウェア工学] ソフトウェアテスト，テスト入力値自動生成，記号実行
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• ID登録: 10.20729/00210554
• ID登録 / ID登録タイプ: JaLC
• 著者所属: 株式会社日立製作所研究開発グループシステムイノベーションセンタ
• 著者所属: 株式会社日立製作所研究開発グループシステムイノベーションセンタ
• 著者所属(英): en
• 著者所属(英): Center for Technology Innovation, Systems Engineering, Research & Development Group Hitachi, Ltd.
• 著者所属(英): en
• 著者所属(英): Center for Technology Innovation, Systems Engineering, Research & Development Group Hitachi, Ltd.
• 著者名: 大林, 浩気; 鹿糠, 秀行
• 著者名(英): Hiroki, Ohbayashi; Hideyuki, Kanuka
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 記号実行技術を元にしてテスト入力値を自動生成するJava向け記号実行ツールSPF（Symbolic Path Finder）は，Java EE（Java Platform, Enterprise Edition）などの業務アプリケーションフレームワークの一部機能を使用したプログラムが解析できず，業務アプリケーションへの適用が難しいという問題があった．本研究では，SPFを改修することなく業務アプリケーションに対して記号実行を適用可能にするため，業務アプリケーションのプログラムを前処理によってSPFが受理可能なプログラムに変換するアプローチを提案する．前処理として，データ型の書き換え，動的呼び出しの書き換え，スタブ化の機能を導入し，業務アプリケーション向けのテスト入力値生成システムを開発した．評価実験を行い，前処理機能によってSPFを改修することなく業務アプリケーションを実用時間内に解析でき，テスト入力値生成システムを利用することで網羅性の高いテストケースを手作業よりも少ない工数で作成できることを示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: An existing symbolic execution tool for Java, SPF (Symbolic Path Finder), which automatically generates test input values based on symbolic execution techniques, has a problem that it is difficult to apply to business applications because programs using some functions of business application frameworks such as Java EE cannot be analyzed. To apply symbolic execution to business applications without modifying the SPF, we propose an approach to convert a business application program into a program that can be accepted by the SPF by pre-processing. We studied three types of pre-processing: rewriting of data types, rewriting of dynamic calls, and stubbing. We developed a test input value generation system for business applications developed with Java that introduces the proposed pre-processing. The evaluation experiments show that the pre-processing function allows business applications to be analyzed in real time without modification of the SPF, and that the test input value generation system allows for the creation of highly comprehensive test cases with less effort than manual work.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 62, 号 4, p. 1039-1050, 発行日 2021-04-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764