お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2013-01-10 16:00
パラメータ値に関する制約を考慮したランダムテストの不具合検出率について
重岡大樹小島英春土屋達弘阪大
抄録 (和) 本稿ではテストケース生成手法の一つであるランダムテストについて議論する.ランダムテストとはパラメータ値をランダムに設定してテストケースを生成する手法であり, テストケースの生成が非常に高速であるという特徴を持っている.また, 組み合わせテストと同数のテストケース数で任意の組み合わせの出現率が少なくとも63%保証されることがわかっている.この値は不具合検出率と同等と見なせる.しかし制約条件への対応に問題点があり, 制約が存在する場合, この不具合検出率が保証されるとは限らない.そこで, 本稿では常に制約を満たすようにパラメータ値を一つずつ設定するテストケース生成手法を提案する.この手法による不具合検出率の下界を与えるとともに, 実際に生成されるテストケースによる組み合わせの出現率を調べることで従来の手法よりも不具合検出率が改善されることを示す. 
(英) This paper discusses random testing, which is a simple approach to test case generation for software testing. A notable feature of this approach is its high speed in test generation. Besides, it has been shown that random testing can probabilistically cover more than 63 percent of parameter interactions even if it only uses as many test cases as in the smallest test suite for combinatorial interaction testing. However, this property does not hold if constraints exist on parameter values: in that case, some particular interactions may have much smaller probability of being covered than the theoretical one. This can happen if there are only few possible test cases that have the interactions and satisfy the constraints.In this paper we consider a variant of a random test case generation method where each parameter is sequentially assigned a value such that given constraints are always satisfied by any incomplete or complete test cases. We then provide a theoretical lower bound on the probability of a given interaction being covered. In addition, we experimentally show that the actual probability is much higher than the theoretical bound and the one that is achieved by naive random testing.
キーワード (和) ランダムテスト / 組み合わせテスト / 制約条件 / 不具合検出率 / / / /  
(英) random testing / combinatorial interaction testing / constraints / fault detection probability / / / /  
文献情報 信学技報, vol. 112, no. 373, SS2012-51, pp. 31-35, 2013年1月.
資料番号 SS2012-51 
発行日 2013-01-03 (SS) 
ISSN Print edition: ISSN 0913-5685    Online edition: ISSN 2432-6380
PDFダウンロード

研究会情報
研究会 SS  
開催期間 2013-01-10 - 2013-01-11 
開催地(和) 沖縄県石垣市民会館 
開催地(英)  
テーマ(和) 一般 
テーマ(英)  
講演論文情報の詳細
申込み研究会 SS 
会議コード 2013-01-SS 
本文の言語 日本語 
タイトル(和) パラメータ値に関する制約を考慮したランダムテストの不具合検出率について 
サブタイトル(和)  
タイトル(英) On the Probability of Interaction Fault Detection Using Random Testing in the Presence of Constraints on Parameter Values 
サブタイトル(英)  
キーワード(1)(和/英) ランダムテスト / random testing  
キーワード(2)(和/英) 組み合わせテスト / combinatorial interaction testing  
キーワード(3)(和/英) 制約条件 / constraints  
キーワード(4)(和/英) 不具合検出率 / fault detection probability  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 重岡 大樹 / Daiki Shigeoka / シゲオカ ダイキ
第1著者 所属(和/英) 大阪大学 (略称: 阪大)
Osaka University (略称: Osaka Univ.)
第2著者 氏名(和/英/ヨミ) 小島 英春 / Hideharu Kojima / コジマ ヒデハル
第2著者 所属(和/英) 大阪大学 (略称: 阪大)
Osaka University (略称: Osaka Univ.)
第3著者 氏名(和/英/ヨミ) 土屋 達弘 / Tatsuhiro Tsuchiya / ツチヤ タツヒロ
第3著者 所属(和/英) 大阪大学 (略称: 阪大)
Osaka University (略称: Osaka Univ.)
第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著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2013-01-10 16:00:00 
発表時間 30分 
申込先研究会 SS 
資料番号 SS2012-51 
巻番号(vol) vol.112 
号番号(no) no.373 
ページ範囲 pp.31-35 
ページ数
発行日 2013-01-03 (SS) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会