文献

J-GLOBAL ID：201702267884716225   整理番号：17A1258197

試験メッセージパッシングシステムのための並べ換えの枠組【Powered by NICT】

A Reordering Framework for Testing Message-Passing Systems

著者 (3件)： Irannejad Milad ,  Tchamgoue Guy Martin ,  Fischmeister Sebastian
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ISORC  ページ： 109-116  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： メッセージパッシングシステム(MPS)では,成分がメッセージを通して通信する。しかし,メッセージを配送する時間と次数の両方が実行環境に依存した。得られた非決定性メッセージレース,徹底的にテストを困難にしているとデバッグMPSのような並行欠陥につながる可能性がある。本論文では,メッセージの受注,陰的ユーザの意図の破れを含む故障に対するMPSの成分試験のための新しいフレームワークを提案した。試験した標的成分へのそれらデリバリー前フレームワークは再秩序化入力メッセージによる可能なインタリーブを評価し意図。再秩序化プロセスを支援する三つの方法を評価した:すべての依存性が発生しているまでブロッキング法は各メッセージを,阻害,緩衝法は,その依存性が観測されたどちらかまでメッセージまたは予め定義されたタイムアウトの消滅を緩衝し,適応緩衝はフラッシング期間を動的に調整する。全三方法は,QNXニュートリノ,一般的な埋め込まれた実時間オペレーティングシステム内で実行した。評価は最小実行時間オーバヘッドを有するランダム試験とメモリオーバヘッドのほんの少数kilobytes上で4倍の高速化を示した。これらの結果は,実世界アプリケーションにおける故障を明らかにするためのフレームワークの有効性と可能性を確認した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 非決定性 ,  応用プログラム ,  *デバッギング ,  フラッシング ,  インタリーブ ,  ニュートリノ ,  高速化 ,  ブロッキング
準シソーラス用語： ランダムテスト ,  実行時間 ,  リアルタイムOS ,  タイムアウト ,  実行環境 ,  次数 , 【Automatic Indexing@JST】

分類 (2件)： 計算機システム開発  (JD02010R) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： 試験 ,  メッセージパッシング ,  並べ換え ,  枠組