文献

J-GLOBAL ID：201602282638839166   整理番号：16A0324280

CSPに基づく実時間並行システムの試験のための新しい方法【Powered by NICT】

Novel method for test of real-time concurrent systems based on TCSP

著者 (3件)： Guo Jing (School of Electronics & Information Engineering, Tongji Univ., Shanghai) ,  Xu Zhongwei (School of Electronics & Information Engineering, Tongji Univ., Shanghai) ,  Li Limei (Library,Jiujiang Univ., Jiujiang)
資料名： Gaojishu Tongxun  (Gaojishu Tongxun)
巻： 25  号： 4  ページ： 350-356  発行年： 2015年 
JST資料番号： W1491A  ISSN： 1002-0470  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 時間付き通信逐次プロセス(CSP)言語,リアルタイム・コンカレントシステムのモデル化と試験のための形式的検証言語に基づいて,研究を実施した,実時間コンカレントシステムの検査に対する新しいアプローチのテストの網羅率と完全性を改善するために提案した。最初に,入力と出力の間のリアルタイムシステムの適合性の関係を研究し,それから,最小不満足時間付きトレースと最小拒否集合は,時間付きトレースと時間付きごみの枠組みの下で定義された。次の段階は,異なる状況の観点から試験プロセスを用いた。最後に,CSPの安定な故障モデルの下で,CSP精密化に基づく実時間試験モデルは,入力と出力の事象を同定するために出力イベントと拒否イベントを結合することにより提案した。このようにシステム特性と挙動が,試験時に提示することができ,適合性試験関係は言語の精密化を用いることにより定義することができる。Data from the ScienceChina, LCAS. Translated by JST【Powered by NICT】

シソーラス用語： *精密化 ,  シーケンシャル処理 ,  システム特性 ,  完全性 ,  ごみ ,  言語 ,  実時間処理 ,  モデリング ,  適応性 ,  通信
準シソーラス用語： 故障モデル ,  形式的検証 ,  *実時間 , 【Automatic Indexing@JST】

分類 (2件)： 人工知能  (JE08000Z) ,  情報工学一般  (JA01010B)

タイトルに関連する用語 (4件)： CSP ,  実時間 ,  並行 ,  試験