文献

J-GLOBAL ID：202202228352132715   整理番号：22A0894208

モデルベース統合試験のためのBayes最適化アルゴリズムの利用【JST・京大機械翻訳】

Using Bayesian optimization algorithm for model-based integration testing

著者 (3件)： Rafe Vahid (Department of Computer Engineering, Faculty of Engineering, Arak University, Arak, Iran) ,  Mohammady Somayeh (Department of Computer Engineering, Faculty of Engineering, Arak University, Arak, Iran) ,  Cuevas Erik (Departamento de Electronica, Universidad de Guadalajara, CUCEI, Guadalajara, Jal, Mexico)
資料名： Soft Computing  (Soft Computing)
巻： 26  号： 7  ページ： 3503-3525  発行年： 2022年 
JST資料番号： W1043A  ISSN： 1432-7643  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： モデルベースの試験は,システムの行動モデルから実行可能試験を誘導する自動化プロセスである。モデル検査は,システムのすべての到達可能な状態が状態空間として生成できる誤差を明らかにする検証技術である。文献では,モデルベースの試験のためのモデルチェッカーを用いて,異なるアプローチを示唆した。モデルチェッカーはすべての可能なシステム状態を探索するので,テストケースが有望な解決策であるように状態空間における様々な経路を利用する。しかし,これらのアプローチは二つの主要な課題に悩まされている。最初の課題は状態空間爆発であり,それはモデルチェッカーによってすべての到達可能な状態を作り出すことを妨げる。第2のものは冗長なテストケースを生成する。最近,メタヒューリスティックおよび進化的アプローチを用いたいくつかの方法が,これらの問題に対処するために提案されてきた。したがって,試験目的を検出する最適化アプローチを用いて状態空間の一部を探索することは,状態空間爆発を管理し,最小冗長性で最適試験セットを生成する適切な方法である。本論文では,Bayes最適化アルゴリズム(BOA)を用いて方法を提案し,モデルチェッカーはサービス指向システムに対するテストケースを生成するためのベッドである。提案手法では,テストセットは,初期状態から開始する状態空間上の一連の経路であり,全ての試験目的が満足される状態に導く。本研究では,GROOVEツールセットにおける3つの異なる構造のBOAを実装し,グラフ変換を設計およびモデル化するためのオープンソースツールセットである。実験結果は,著者らの解法が,既存の方式より種々の事例研究において,範囲と速度に関してより良い結果を生み出すことを示した。Copyright The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *最適化 ,  自動化 ,  冗長性 ,  ベッド ,  *最適化手法 ,  モデリング ,  *モデル ,  ソフトウェア ,  事例研究 ,  検証 ,  モデル検査
準シソーラス用語： *モデルベース ,  行動モデル ,  ヒューリスティック ,  テストケース ,  オープンソース , 【Automatic Indexing@JST】

著者キーワード (5件)： モデルベース試験 ,  グラフ変換 ,  Bayes最適化アルゴリズム ,  統合試験 ,  データフロー

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

タイトルに関連する用語 (5件)： モデルベース ,  統合 ,  試験 ,  Bayes最適化 ,  アルゴリズム