文献

J-GLOBAL ID：201502285036345610   整理番号：15A0540927

フィーチャ分析と充足可能性判定を用いたシステムテストに向けたシステム構成導出

Selection Method for System Configuration for System Testing Using Feature Analysis and SAT Solver

著者 (3件)： 新原敦介 (日立 横浜研) ,  小川秀人 (日立 横浜研) ,  鷲崎弘宜 (早稲田大)
資料名： 情報処理学会論文誌ジャーナル(Web)
巻： 55  号： 2  ページ： 922-938 (WEB ONLY)  発行年： 2014年02月15日 
JST資料番号： U0452A  ISSN： 1882-7764  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 複数機器を組み合わせて機能を提供するシステムにおいて,各機器の仕様は定義されているが,機器の組合せによって表出するシステム仕様や,システム仕様と各機器の仕様との関係は暗黙知となっていることがある。またそれらのシステムテストでは,テスト項目ごとに適切な機器を組み合わせてシステム構成を導出しテストを実施する必要がある。ここで,機器の組合せ作業は,前記の暗黙知を必要とし,多くの時間がかかり,テスト項目に対して漏れのリスクが生じる。本報告では,各機器だけではなく,機器が組み合わさり生じる仕様に対してもフィーチャ分析を行い,その結果を用いてテスト項目を分析し,充足可能性判定を利用してテスト項目を網羅するシステム構成群を導出する方法を提案する。また,ケーススタディとして,提案手法を仮想の多店舗向けPOSレジシステムに適用した。ケーススタディにおいて,従来のシステム構成導出に比べ提案手法では,テスト項目を網羅する妥当なシステム構成の導出が少ない時間で可能であった。(著者抄録)

シソーラス用語： *複合系 ,  *試験 ,  知識 ,  ノウハウ ,  POSシステム ,  特徴抽出 ,  *分析 ,  ソフトウェア工学 ,  ソフトウェア開発 ,  事例研究 ,  *知識獲得 ,  *システムテスト ,  ドメインエンジニアリング
準シソーラス用語： *複合システム ,  *フィーチャ分析 ,  暗黙知 ,  *システム構成導出

分類 (3件)： システム設計・解析  (IA02030D) ,  人工知能  (JE08000Z) ,  マーケティング  (KA06020W)

引用文献 (19件)：

• クラウス・ポール,ギュンター・ベックレ,フランク・ヴァン・デル・リンデン:ソフトウェアプロダクトラインエンジニアリング-ソフトウェア製品系列開発の基礎と概念から技法まで,エスアイビー・アクセス(2009).
• Olimpiew, E.M. and Gomaa, H.: Model-based Test Design for Software Product Line, SPLiT'08, 5th Software Product Line Testing Workshop in SPLC2008 (2008).
• Hervieu, A., Baudry, B. and Gotlieb, A.: PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models, ISSRE '11, Proc. 2011 IEEE 22nd International Symposium on Software Reliability Engineering (2011).
• Oster, S., Zorcic, I., Markert, F. and Lochau, M.: Moso-PoLite - Tool Support for Pairwise and Model-Based Software product Line Testing, VaMoS '11, Proc. 5th Workshop on Variability Modeling of Software-Intensive Systems (2011).
• Kitamura, T., Do, N.T.B., Ohsaki, H., Fang, L. and Yatabe, S.: Test-Case Design by Feature Trees, Proc. ISoLA 2012, LNCS 7609, pp.458-473, Springer (2012).

タイトルに関連する用語 (5件)： 分析 ,  充足可能性 ,  システムテスト ,  システム構成 ,  導出