文献

J-GLOBAL ID：202002281516444693   整理番号：20A2580837

ソフトウェアシステムのためのロバスト性の行動概念【JST・京大機械翻訳】

A behavioral notion of robustness for software systems

著者 (3件)： Zhang Changjian (Carnegie Mellon University, USA) ,  Garlan David (Carnegie Mellon University, USA) ,  Kang Eunsuk (Carnegie Mellon University, USA)
資料名： ACM Proceedings  (ACM Proceedings)
号： ESEC/FSE 2020  ページ： 1-12  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ソフトウェアシステムを設計して,環境に関する仮定によって実行した。しかし,このシステムが展開されると,実際の環境は,その期待される挙動から逸脱し,恐らく,システムの望ましい特性に陥る可能性がある。潜在的環境偏差に対してロバストであるシステムの系統的設計を可能にするために,ソフトウェアシステムのためのロバスト性の厳密な概念を提案した。特に,システムのロバスト性は,システムが望ましい特性を保証することができる環境行動を逸脱する最大のセットとして定義される。ロバスト性の概念に基づく設計解析問題の新しいセットと,その挙動記述を与えるシステムのロバスト性を自動的に計算するための技術について述べた。ネットワークプロトコルと安全クリティカルインタフェイスを含む2つの事例研究に関するロバスト性概念の適用可能性を実証した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *ソフトウェア ,  事例研究 ,  *ロバスト性
準シソーラス用語： ネットワークプロトコル ,  *ソフトウェアシステム , 【Automatic Indexing@JST】

著者キーワード (4件)： 組成推論 ,  形式的方法 ,  標識遷移系 ,  ソフトウェアロバスト性

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

タイトルに関連する用語 (4件)： ソフトウェアシステム ,  ロバスト性 ,  行動 ,  概念