文献

J-GLOBAL ID：201902268623350279   整理番号：19A1587984

記号入力と出力を持つ有限状態機械からの試験に向けて【JST・京大機械翻訳】

Toward testing from finite state machines with symbolic inputs and outputs

著者 (1件)： Petrenko Alexandre (CRIM, Centre de recherche informatique de Montreal, Montreal, QC, Canada)
資料名： Software and Systems Modeling  (Software and Systems Modeling)
巻： 18  号： 2  ページ： 825-835  発行年： 2019年 
JST資料番号： A1112A  ISSN： 1619-1366  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 60年以上の開発の後,FSMのための検査実験の理論は,まだ研究コミュニティの多くの注目を引き続けている。その理由の一つは,明確な仮定の下にあるテスト生成技術を提供し,仕様FSMの与えられた故障モデルに対する完全な故障カバレッジを保証することである。検査実験は,入力,出力および状態集合を有限に保ちながら,仕様機械が低減,決定論的および完全に指定される必要があるという仮定を除去するために既に拡張されている。著者らの最近の研究において,入力セットの有限性に関する仮定を除去する可能性を調査し,記号入力によりモデルFSMを導入した。本論文では,記号入力と記号出力を持つMealyマシンに対する検査実験の理論をさらに上げる結果を報告した。前者は入力変数に関して定義された述語であり,後者は入力変数に関する割当によって計算された出力変数評価である。両タイプの変数は大きいか無限のドメインを持つことができる。このモデルにおける割当の包含は,異なる割当がいくつかの入力値に対して同じ出力値を生成する可能性があるので,出力故障検出さえ複雑にする。ここでは,割当が異なる出力を生成する記号入力からなる遷移カバーを用いてこの問題に取り組んだ。次に,増強された遷移カバーを,特定の仮定の下で,割り当て/出力故障とより一般的な遷移故障を検出する実験をチェックするのに用いた。Copyright 2017 Springer-Verlag GmbH Germany Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： コミュニティ ,  有限性 ,  *有限状態機械 ,  故障 ,  故障検出
準シソーラス用語： 遷移故障 ,  決定論 ,  故障カバレッジ ,  故障モデル ,  テスト生成 , 【Automatic Indexing@JST】

著者キーワード (6件)： 有限状態機械 ,  拡張有限状態機械 ,  記号オートマトン ,  適合試験 ,  検査実験 ,  故障モデルベースのテスト生成

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

タイトルに関連する用語 (3件)： 記号 ,  有限状態機械 ,  試験