文献

J-GLOBAL ID：200902209912516782   整理番号：08A1095072

制約の存在下で高度構成可能システムに対する相互作用テストスイートの構築:どん欲手法

Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach

著者 (3件)： COHEN Myra B. (Univ. Nebraska-Lincoln, NE) ,  DWYER Matthew B. (Univ. Nebraska-Lincoln, NE) ,  SHI Jiangfan (Univ. Nebraska-Lincoln, NE)
資料名： IEEE Transactions on Software Engineering  (IEEE Transactions on Software Engineering)
巻： 34  号： 5  ページ： 633-650  発行年： 2008年09月 
JST資料番号： D0480D  ISSN： 0098-5589  CODEN： IESEDJ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ソフトウェアシステム構成の体系的テストケースを構築するために,組合せ相互作用テスト(CIT)法の適用が検討されている。高度構成可能ソフトウェアシステムにCITを適用することは,特定の構成パラメータ間で,ある種の組合せを無効とする場合が多いため複雑になる。本論文は,最新のBoole充足可能性(SAT)ソルバーによりCIT問題の探索空間を簡約化する計算を活用する,一連のどん欲CITテストケース生成アルゴリズムを開発した。これらのアルゴリズムコスト効果を,4種類の実世界の高度構成可能ソフトウェアシステムと一群の合成例上で比較評価した。提案技法により,解の品質を損なわずに,制約が存在する場合のCITコストを,制約なしCIT法をそのまま使用した場合のコストの30%に低減できた。

シソーラス用語： *プログラム検証 ,  プログラム検査 ,  組合せ ,  相互作用 ,  構成 ,  制約条件 ,  充足可能性問題 ,  Boole関数 ,  空間 ,  簡約化 ,  計算機アルゴリズム ,  費用効果分析 ,  原価低減 ,  性能評価 ,  命題論理 ,  システム構成 ,  分析 ,  減少 ,  変化
準シソーラス用語： *テストケース ,  探索空間 ,  どん欲法

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (6件)： 制約 ,  高度 ,  相互作用 ,  テストスイート ,  構築 ,  手法