文献

J-GLOBAL ID：202002282700665416   整理番号：20A2765360

確率的分散システムの試験の課題の克服に向けて【JST・京大機械翻訳】

Towards Overcoming Issues of Testing Probabilistic Distributed systems

著者 (5件)： Tajioue Mohammed Amine (Ibn Tofail University,ISO-Lab: Laboratory of Informatics, Systems and Optimization,Faculty of Science,Kenitra,Morocco) ,  Maakoul Oussama (Ibn Tofail University,ISO-Lab: Laboratory of Informatics, Systems and Optimization,Faculty of Science,Kenitra,Morocco) ,  Hsaini Sara (Ibn Tofail University,ISO-Lab: Laboratory of Informatics, Systems and Optimization,Faculty of Science,Kenitra,Morocco) ,  Azzouzi Salma (Ibn Tofail University,ISO-Lab: Laboratory of Informatics, Systems and Optimization,Faculty of Science,Kenitra,Morocco) ,  Charaf My El Hassan (Ibn Tofail University,ISO-Lab: Laboratory of Informatics, Systems and Optimization,Faculty of Science,Kenitra,Morocco)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： CoDIT  ページ： 903-907  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 仕様への適合性を確実にするため,分散システムのテストは,通常,試験(IUT)の実装の各ポートに取り付けたPTC(Parallel Test Componments)と呼ばれる一連の並列テスターを配置することを含む。結果として,可制御性,可観測性,同期故障検出として知られる多くの問題は,そのような分散システムの試験中に発生する。したがって,設計プロセスは,特に実装が確率的挙動を示すならば,分散成分間の相互作用,通信および協調をサポートするために必要な機構と機能を考慮するべきである。本論文では,確率的オートマトンを用いて,試験中の実装の確率的挙動をモデル化し解析した。次に,著者らは,試験プロセスの間の協調,観測および同期の問題を避けるために,各々のテスター保証のために確率的局所試験シーケンス(PLTS)を作り出すためのアルゴリズムを提案した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  相互作用 ,  オートマトン ,  可観測性 ,  可制御性 ,  *回路試験器 ,  故障検出 ,  適応性 ,  ポート
準シソーラス用語： デザインプロセス ,  *分散システム ,  分散成分 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (3件)： 確率 ,  分散システム ,  試験