文献

J-GLOBAL ID：201802266808304731   整理番号：18A0397418

拡張有限状態機械の評価テスト選択基準【Powered by NICT】

An assessment of extended finite state machine test selection criteria

著者 (4件)： El-Fakih Khaled (American University of Sharjah, UAE) ,  Simao Adenilso (University of Sao Paulo, Brazil) ,  Jadoon Noshad (American University of Sharjah, UAE) ,  Maldonado Jose Carlos (University of Sao Paulo, Brazil)
資料名： Journal of Systems and Software  (Journal of Systems and Software)
巻： 123  ページ： 106-118  発行年： 2017年 
JST資料番号： C0845B  ISSN： 0164-1212  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 拡張有限状態機械(EFSM)はソフトウェアシステムとプロトコルのための機能試験の導出のための厳密なモデルを提供する。種々のタイプのデータフロー,制御フロー,グラフベース,状態マシンに基づくテスト選択の基準を与えられたEFSM仕様から試験を導くための用いることができる。状態機械の伝統的なタイプは,断層の概念に基づく,伝達と出力パラメータ故障のような,一般的な帰属断層のEFSMの故障領域を記述するために使用できる。単一移動断層,二重移動断層,単一出力パラメータ断層,与えられたEFSM仕様の単一代入断層の多くのタイプをカバーするテストスイートのような最も知られているタイプEFSMテスト選択基準の評価を提示した。,仕様のグラフとフローグラフ表現から導出したエッジ対,主要な経路,側トリップと主要な経路,およびすべての使用基準をカバーするテストスイート。遷移ツアーとランダムテストスイートを考察した。評価は,それらの長さの点で検討したテストスイートと単一移動二重移動,異なるタイプの単一代入断層の被覆率をランク付けした。得られた結果の分散を評価し,結果を要約した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： トリップ ,  等級づけ ,  グラフ ,  *有限状態機械 ,  旅行 ,  プロトコル ,  *選択基準 ,  被覆率 ,  故障 ,  フローグラフ
準シソーラス用語： テストスイート ,  制御フロー ,  データフロー , 【Automatic Indexing@JST】

著者キーワード (5件)： モデルベース試験 ,  拡張有限状態機械 ,  突然変異試験 ,  試験導出 ,  故障検出率評価

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

タイトルに関連する用語 (5件)： 拡張 ,  有限状態機械 ,  評価 ,  テスト ,  選択基準