有限射影幾何を用いたソフトウェアテスト向けの直交表自動生成プログラムの開発とその応用

• Item type: Journal(1)
• 公開日: 2016-08-15
• タイトル: 有限射影幾何を用いたソフトウェアテスト向けの直交表自動生成プログラムの開発とその応用
• タイトル / 言語: en
• タイトル: The Development of a Program to Automatically Construct Orthogonal Arrays for Software Testing by Using Finite Projective Geometry and its Applications
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [一般論文] ソフトウェアテスト，直交表，生成アルゴリズム，有限射影幾何，テスト戦略，組合せ理論
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 元群馬工業高等専門学校
• 著者所属: 沖電気工業株式会社
• 著者所属(英): en
• 著者所属(英): Former workplace; Gunma National College of Technology
• 著者所属(英): en
• 著者所属(英): Oki Electric Industry Co., Ltd.
• 著者名: 須田, 健二; 五味, 弘
• 著者名(英): Kenji, Suda; Hiroshi, Gomi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 直交表をソフトウェアテストに応用する動きがさかんである．しかし，強さ2の直交表を構成するのは比較的簡単だが，強さ3以上で，多因子，多水準の直交表の構成は簡単ではなく，そのことが，多因子，多水準を持つソフトウェアテストの組合せテスト設計を困難にしていた．そこで我々は，多因子（50因子），多水準（2，3，4，5，7，8，9水準），強さ2，3，4に対応し，さらに混合水準（因子の水準が異なり，その因子の水準が2や3のべき乗）の直交表を有限射影幾何を用いて組織的にしかも自動的に構成できるソフトGaloisSoftTestを開発した．したがって，GaloisSoftTestによって生成される直交表は，2因子間，3因子間，4因子間のすべての組合せのチェックを保証するテストが可能であり，またソフトウェアテストでよく用いられる混合水準にも対応しており，より少ないテスト回数で高品質な組合せテスト設計に応用が可能である．さらに本論文では，GaloisSoftTestと代表的なオールペア法の生成ソフトであるPICTに対して，因子数やその水準数，強さが与えられたときの効率性の尺度であるテスト回数と品質を保証する尺度である網羅率を求め比較分析した．その結果，GaloisSoftTestが優れているテスト対象もあり，この2つのツールを並行運用して，効率的でしかも品質レベルを保証する組合せテストを運用する方針や施策などについても提案している．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: An orthogonal array is widely used in software testing. But either orthogonal array which are strength 2 is used in software testing. In a practical use, it is necessary to construct orthogonal arrays which are strength 2, 3 and strength 4. In such situations, we developed the computer program GaloisSoftTest by using finite projective geometry that can automatically construct orthogonal arrays which supports the strength of 2 and over, and multi-factor, multi-level, mixed-level. Furthermore we studied to the number of test and covering efficiency which are cost performance, to compare the tool GaloisSoftTest for generating orthogonal arrays with PICT which is tool for generating pairwise testing. We make a guideline for selecting a method and its strength, factor, level in orthogonal arrays and pairwise testing, and then we execute a suitable software-testing method.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 57, 号 8, p. 1800-1809, 発行日 2016-08-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764