| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2015-06-16 16:25 ソフトウェアテスト用テストケース生成における2分決定図を用いた制約処理 ○土屋達弘（阪大）  DC2015-21 |
|
| 抄録 | （和） | 組み合わせテストを対象として，テスト生成で重要となる制約処理に関して議論する．組み合わせテストとは，特定の機能の組み合わせを網羅することを目的としたテストである．組み合わせテスト用のテストケース生成においては，制約処理が重要となる．ここで制約とは，テストを実行するためにテストケースが満たす必要のある条件を意味する．制約は実行することのできない機能の組み合わせを誘導するため，テストケースの生成においては，制約を考慮して，実行可能なテストケースのみから構成され，かつ，注目する組み合わせで実行可能なものをすべて網羅するように，テストケース集合を生成しなければならない．本研究では，2分決定図を用いて制約を表現することで，このような制約処理を効率的に実行する手法を提案する． |
| （英） | This paper discusses constraint handling in test case generation for Combinatorial Interaction Testing (CIT). CIT requires that all interactions involving a few particular features be covered. Constraint handling is an important process in test generation for CIT, where constraints means the condition that any test case must satisfy to be executed. Constraints induce interactions that can never be tested. The constraint handling process needs to ensure that all generated test cases are executable and that all interactions are covered unless they are not testable. This paper proposes constraint handling based on a binary decision diagram. In the proposed approach the given constraints are represented by a single binary decision diagram. Constraint handling can be efficiently performed with this date structure. | |
| キーワード | （和） | 組み合わせテスト / 制約処理 / 制約 / 2分決定図 / / / / |
| （英） | Combinatorial interaction testing / constraint handling / constraints / binary decision diagrams / / / / | |
| 文献情報 | 信学技報, vol. 115, no. 86, DC2015-21, pp. 31-34, 2015年6月. | |
| 資料番号 | DC2015-21 | |
| 発行日 | 2015-06-09 (DC) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | DC2015-21 |
|
| 研究会情報 | |
| 研究会 | DC |
| 開催期間 | 2015-06-16 - 2015-06-16 |
| 開催地（和） | 機械振興会館 地下3階2号室 |
| 開催地（英） | Kikai-Shinko-Kaikan Bldg. |
| テーマ（和） | 高信頼性設計／テスト，一般 |
| テーマ（英） | Reliable design and Test, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | DC |
| 会議コード | 2015-06-DC |
| 本文の言語 | 日本語 |
| タイトル（和） | ソフトウェアテスト用テストケース生成における2分決定図を用いた制約処理 |
| サブタイトル（和） | |
| タイトル（英） | Using binary decision diagrams for constraint handling in test case generation |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 組み合わせテスト / Combinatorial interaction testing |
| キーワード(2)（和/英） | 制約処理 / constraint handling |
| キーワード(3)（和/英） | 制約 / constraints |
| キーワード(4)（和/英） | 2分決定図 / binary decision diagrams |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 土屋 達弘 / Tatsuhiro Tsuchiya / |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第2著者 氏名（和/英/ヨミ） | / / |
| 第2著者 所属（和/英） | (略称： ) (略称： ) |
| 第3著者 氏名（和/英/ヨミ） | / / |
| 第3著者 所属（和/英） | (略称： ) (略称： ) |
| 第4著者 氏名（和/英/ヨミ） | / / |
| 第4著者 所属（和/英） | (略称： ) (略称： ) |
| 第5著者 氏名（和/英/ヨミ） | / / |
| 第5著者 所属（和/英） | (略称： ) (略称： ) |
| 第6著者 氏名（和/英/ヨミ） | / / |
| 第6著者 所属（和/英） | (略称： ) (略称： ) |
| 第7著者 氏名（和/英/ヨミ） | / / |
| 第7著者 所属（和/英） | (略称： ) (略称： ) |
| 第8著者 氏名（和/英/ヨミ） | / / |
| 第8著者 所属（和/英） | (略称： ) (略称： ) |
| 第9著者 氏名（和/英/ヨミ） | / / |
| 第9著者 所属（和/英） | (略称： ) (略称： ) |
| 第10著者 氏名（和/英/ヨミ） | / / |
| 第10著者 所属（和/英） | (略称： ) (略称： ) |
| 第11著者 氏名（和/英/ヨミ） | / / |
| 第11著者 所属（和/英） | (略称： ) (略称： ) |
| 第12著者 氏名（和/英/ヨミ） | / / |
| 第12著者 所属（和/英） | (略称： ) (略称： ) |
| 第13著者 氏名（和/英/ヨミ） | / / |
| 第13著者 所属（和/英） | (略称： ) (略称： ) |
| 第14著者 氏名（和/英/ヨミ） | / / |
| 第14著者 所属（和/英） | (略称： ) (略称： ) |
| 第15著者 氏名（和/英/ヨミ） | / / |
| 第15著者 所属（和/英） | (略称： ) (略称： ) |
| 第16著者 氏名（和/英/ヨミ） | / / |
| 第16著者 所属（和/英） | (略称： ) (略称： ) |
| 第17著者 氏名（和/英/ヨミ） | / / |
| 第17著者 所属（和/英） | (略称： ) (略称： ) |
| 第18著者 氏名（和/英/ヨミ） | / / |
| 第18著者 所属（和/英） | (略称： ) (略称： ) |
| 講演者 | 第1著者 |
| 発表日時 | 2015-06-16 16:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | DC |
| 資料番号 | DC2015-21 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | no.86 |
| ページ範囲 | pp.31-34 |
| ページ数 | 4 |
| 発行日 | 2015-06-09 (DC) |
[研究会発表申込システムのトップページに戻る]