文献

J-GLOBAL ID：202102246400388607   整理番号：21A0153097

公理的アプローチに基づく属性指向ソフトウェア信頼性測度の分解【JST・京大機械翻訳】

Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches

著者 (3件)： Tao Hongwei (College of Computer and Communication Engineering, Zhengzhou University of Light Industry,Zhengzhou,China) ,  Chen Yixiang (MoE Engineering Center for Software/Hardware Co-Design, Technology and Application East China Normal University,Shanghai,China) ,  Wu Hengyang (School of Computer and Information Engineering, Shanghai Polytechnic University,Shanghai,China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： QRS-C  ページ： 308-315  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ソフトウェア信頼性測度をより厳格にするために,著者らは,ソフトウェア信頼性を測定するために,一度公理的アプローチを適用して,属性の分解(ショートのためのSTMBDA)に基づくソフトウェア信頼性対策を確立した。STMBDAの有効性を検証するために,本論文では,全コードが約300,000ラインである23の宇宙船ソフトウェアの信頼性を評価するためにそれを使用した。検証結果は,STMBDAが宇宙船ソフトウェアの信頼性を効果的に評価することができ,開発プロセスにおける弱いリンクを同定することを示した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *測度 ,  *信頼性 ,  宇宙飛行体 ,  *公理 ,  *ソフトウェア ,  有効性
準シソーラス用語： 開発プロセス ,  ソフトウェア信頼性 , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (5件)： 公理 ,  属性 ,  ソフトウェア信頼性 ,  測度 ,  分解