文献

J-GLOBAL ID：201802274720148433   整理番号：18A0535994

マルチビューソフトウェアアーキテクチャの自動解析【Powered by NICT】

Automated Analysis of Multi-View Software Architectures

著者 (3件)： Cheng Chih-Hong ,  Hamza Yassine ,  Ruess Harald
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： APSEC  ページ： 725-730  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ソフトウェアアーキテクチャは,通常,静的,実行時,と展開側面を捕捉するための異なるビューから構成されている。現在失われたが,ソフトウェア開発ライフサイクルの非常に初期段階における形式的検証と検証技術ofmulti観点アーキテクチャである。本論文の主な貢献は,従って異なるUML図からサブモデルを説明し,融合適切にある定型化され,広く使用されている,マルチビューアーキテクチャのための単一形式モデル(Promela)の構築である。モデル検査による可能な反例はマルチビューアーキテクチャモデルのデバッグのためのテストシナリオとしてフィードバックされる。企業家開発ツールのためのプラグインとしてこのアルゴリズムを実装し,多数の望ましくないコーナの事例を同定することによりいくつかの工業建築マルチビューモデルをデバッグのためのSPINモデル検査を使用することに成功した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： モデル検査 ,  ソフトウェア開発 ,  ライフサイクル ,  *計算機アーキテクチャ ,  アルゴリズム
準シソーラス用語： SPIN ,  プラグイン ,  開発ツール ,  反例 ,  形式モデル ,  形式的検証 ,  *ソフトウェアアーキテクチャ , 【Automatic Indexing@JST】

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

タイトルに関連する用語 (1件)： 解析