| 講演名 | 2013/10/17 Concolic Testingを用いた結合テスト向けテストデータ生成手法の提案 丹野 治門, 星野 隆, Koushik Sen, 高橋 健司, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本研究は,関係データベース(DB)を用いる業務システムの結合テストを対象として,DBアクセスを伴う各テストケースに対し,適切なテストデータ(画面入力値及びDB初期状態)を自動生成する問題を扱う.既存技術では,複数回の参照系アクセス,更新系アクセスを扱っていないため,テストデータ生成の適用範囲が狭く,設計モデルとして単一画面遷移しか扱っていないため,複数画面遷移を伴うテストを扱うことができないといった問題があった.本研究では複数回の参照系アクセス,更新系アクセスを扱えて,かつ複数画面遷移も記述することが可能である設計モデルを規定し,その設計モデルからシミュレーション用ソースコードを生成し,生成したソースコードに対してConcolic実行を行うことで,テストデータの生成を行う手法を提案する.本論文では,簡単な例題を用いたケーススタディにより,提案手法の実現性についても考察した. |
| 抄録(英) | This research focus on how to automatically generate suitable test data composed of input value and the initial state of relational database for each test case of the integration testing of enterprise systems which use database. The existing methods cannot handle test data generation for systems that have complicated logic such as reading or updating database more than once. In addition, the existing methods use the design model which can express only a screen transition between 2 screens and cannot express screen transitions among more than 3 screens. To solve the problems, we proposed a design model which can express a business logic where it reads or updates database more than once and the screen transitions among more than 3 screens, and we also propose test data generation method where it converts the design model to source codes and applies concolic testing to the source codes. In this paper, we also show the proof of the concept with a simple case study. |
| キーワード(和) | ソフトウェアテスト / テストデータ生成 / モデルベーステスト / Concolic Testing |
| キーワード(英) | Software Testing / Test Data Generation / Model Based Testing / Concolic Testing |
| 資料番号 | Vol.2013-SE-182No.6 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2013/10/17(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | Concolic Testingを用いた結合テスト向けテストデータ生成手法の提案 |
| サブタイトル（和） | |
| タイトル（英） | Test Data Generation for Integration Testing by Using Concolic Testing |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソフトウェアテスト / Software Testing |
| キーワード(2)（和/英） | テストデータ生成 / Test Data Generation |
| キーワード(3)（和/英） | モデルベーステスト / Model Based Testing |
| キーワード(4)（和/英） | Concolic Testing / Concolic Testing |
| 第 1 著者 氏名（和/英） | 丹野 治門 |
| 第 1 著者 所属（和/英） | NTTソフトウェアイノベーションセンタ |
| 第 2 著者 氏名（和/英） | 星野 隆 |
| 第 2 著者 所属（和/英） | NTTソフトウェアイノベーションセンタ / University of California, Berkeley |
| 第 3 著者 氏名（和/英） | Koushik Sen |
| 第 3 著者 所属（和/英） | / NTT Innovation Institute Inc., |
| 第 4 著者 氏名（和/英） | 高橋 健司 |
| 第 4 著者 所属（和/英） | |
| 発表年月日 | 2013/10/17 |
| 資料番号 | Vol.2013-SE-182No.6 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 269 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |