文献

J-GLOBAL ID：201702286354398543   整理番号：17A0906454

実践的保証ケース作成方式

著者 (3件)： 山本修一郎 (名古屋大) ,  森崎修司 (名古屋大) ,  渥美紀寿 (京大)
資料名： SEC Journal  (SEC Journal)
巻： 13  号： 1  ページ： 24-31  発行年： 2017年07月01日 
JST資料番号： L5846A  ISSN： 1349-8622  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： システムの安全性や高信頼性を保証するために必要となる保証ケースの作成を実践的に支援できる保証ケース作成方式が必要である。このため,モデルに基づく保証ケースの統一的作成法,コードに対する保証ケース作成手法,客観的保証ケースレビュー法からなる実践的保証ケース作成方式を提案し,その有効性を実験的に確認する。(著者抄録)

シソーラス用語： *ソフトウェア開発 ,  安全性 ,  信頼性 ,  *計算モデル ,  レビュー ,  事例研究 ,  計算機コード ,  評価試験
準シソーラス用語： ソースコード

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

引用文献 (22件)：

• [Shinmura1991] 新村出編, 広辞苑, 岩波書店, 第四版, 1991.
• [Kelly1997] T. Kelly, A Six-Step Method for the Development of Goal Structures, York Software Engineering, 1997.
• [Kelly1998] T. Kelly, Arguing Safety, a Systematic Approach to Managing Safety Cases, PhD Thesis, Department of Computer Science, University of York, 1998.
• [Yamamoto2009] 山本修一郎, 要求工学第58回アシュアランスケースとGSN, ビジネスコミュニケーション vol.46, No.8, pp.68-71, 2009.
• [Jackson2008] D. Jackson, et al, Software for dependable systems- sufficient evidence?, NATIONAL RESEARCH COUNCIL, 2008.

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