講演名	2020-10-19 不具合インタラクション検出のための制約付きディテクティングアレイの高速生成手法 金 浩(阪大), 土屋 達弘(阪大),
PDFダウンロードページ	PDFダウンロードページへ
抄録(和)	制約付きテ?ィテクティンク?アレイ（CDA）は，組み合わせテストにおいて不具合インタラクション検出をするテストスイートの形式的表現て?ある．CDAを生成する手法としてSMTソルハ?を用いるものか?ある.この手法は，小さい問題て?あれは?最もテストケース数の少ない，つまり，最小のCDAを求めることか?可能て?ある反面，多大な計算時間か?かかるという問題か?あった．本研究て?は，最小て?はないか?十分に小さいCDAを，高速に生成するアルコ?リス?ムを示す．提案アルコ?リス?ムは，ます?，よく研究されている制約付きカハ?リンク?アレイ（CCA）を求める既存のヒューリスティックアルコ?リス?ムによって比較的大きなCDAを一旦生成する．その上て?，CDAの条件を満たしなか?ら冗長なテストケースを削除することて?最終的なCDAを得る.実験により，得られるCDAの大きさとアルコ?リス?ムの実行時間の観点から，提案手法を評価する．
抄録(英)
キーワード(和)	制約付きテ?ィテクティンク?アレイ / 制約付きカハ?リンク?アレイ / 不具合特定
キーワード(英)
資料番号	SS2020-7,DC2020-24
発行日	2020-10-12 (SS, DC)

研究会情報
研究会	DC / SS
開催期間	2020/10/19(から1日開催)
開催地（和）	オンライン開催
開催地（英）	Online
テーマ（和）	ソフトウェアシステムとディペンダブルコンピューティングおよび一般
テーマ（英）
委員長氏名（和）	高橋 寛(愛媛大) / 小林 隆志(東工大)
委員長氏名（英）	Hiroshi Takahashi(Ehime Univ.) / Takashi Kobayashi(Tokyo Inst. of Tech.)
副委員長氏名（和）	土屋 達弘(阪大) / 岡野 浩三(信州大)
副委員長氏名（英）	Tatsuhiro Tsuchiya(Osaka Univ.) / Kozo Okano(Shinshu Univ.)
幹事氏名（和）	新井 雅之(日大) / 難波 一輝(千葉大) / 島 和之(広島市大) / 林 晋平(東工大)
幹事氏名（英）	Masayuki Arai(Nihon Univ.) / Kazuteru Namba(Chiba Univ.) / Kazuyuki Shima(Hiroshima City Univ.) / Shinpei Hayashi(Tokyo Inst. of Tech.)
幹事補佐氏名（和）	/ 小形 真平(信州大)
幹事補佐氏名（英）	/ Shinpei Ogata(Shinshu Univ.)

講演論文情報詳細
申込み研究会	Technical Committee on Dependable Computing / Technical Committee on Software Science
本文の言語	JPN-ONLY
タイトル（和）	不具合インタラクション検出のための制約付きディテクティングアレイの高速生成手法
サブタイトル（和）
タイトル（英）
サブタイトル（和）
キーワード(1)（和/英）	制約付きテ?ィテクティンク?アレイ
キーワード(2)（和/英）	制約付きカハ?リンク?アレイ
キーワード(3)（和/英）	不具合特定
第 1 著者 氏名（和/英）	金 浩 / Hao Jin
第 1 著者 所属（和/英）	大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.)
第 2 著者 氏名（和/英）	土屋 達弘 / Tatsuhiro Tsuchiya
第 2 著者 所属（和/英）	大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.)
発表年月日	2020-10-19
資料番号	SS2020-7,DC2020-24
巻番号（vol）	vol.120
号番号（no）	SS-193,DC-194
ページ範囲	pp.13-18(SS), pp.13-18(DC),
ページ数	6
発行日	2020-10-12 (SS, DC)