検索対象:     
報告書番号:
※ 半角英数字
 年 ~ 
 年

ソフトウェア信頼性に関する理論及び技術的現状

Theory and state-of-the-art technology of software reliability

鈴土 知明   ; 渡邉 憲夫

Suzudo, Tomoaki; Watanabe, Norio

平成9年度より行っている「ディジタル計測制御系の信頼性に関する調査」研究の一環として、ソフトウェア開発プロセスにおける信頼性向上を目的として用いられている方法やツール等について、理論と技術的現状を調査した。その結果から、計算機支援のソフトウェア設計及び作成ツール(CASEツール)、ソフトウェアの概略的な要求事項とそこから作成された詳細設計仕様との整合性を代数的に検証する手法、及び、開発終了時前の健全性確認段階におけるソフトウェア内部情報を使った効率的な試験方法(ホワイトボックス試験)等が、将来、信頼性向上に大きな役割を果たしていくことが予想される。

no abstracts in English

Access

:

- Accesses

InCites™

:

Altmetrics

:

[CLARIVATE ANALYTICS], [WEB OF SCIENCE], [HIGHLY CITED PAPER & CUP LOGO] and [HOT PAPER & FIRE LOGO] are trademarks of Clarivate Analytics, and/or its affiliated company or companies, and used herein by permission and/or license.