# CASRE Computer-Aided Software Reliability Estimation(CASRE)。製品の現在の信頼性と将来予測を、累積故障数・単位時間あたり故障数・信頼性関数など複数の相互関連する信頼性尺度としてテスト時間の関数で算出するソフトウェアツール(参考文献 [Lyu92d])。 [[SMERFS]] のモデルライブラリを取り込んでおり、入力データの型に応じて時間間隔ベース(time-between-failures、TBF)モデルと故障件数ベース(failure-count、FC)モデルの2カテゴリのモデルを、ワークスペースに表示したデータへ選択・適用できる。システムテスト中だけでなく製品のフィールド運用時の信頼性推定にも対応し、後者の場合は現場運用時間の関数として信頼性を表現する。(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 7 Software Reliability Measurement Experience]] §7.2.5) *Handbook of Software Reliability Engineering*(1996)第7章では、[[Allen P. Nikora]] と [[Michael R. Lyu]] が SRMP と並び JPL・Bellcore データの分析に用いた2つのツールの一つとして紹介されている。Example 7.3(データセットJ3)では、Goel-Okumoto(GO)NHPPモデルの適用に CASRE と SMERFS が併用された。(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 7 Software Reliability Measurement Experience]] §7.2.3.2, §7.2.5) 第7章はさらに、信頼性推定ツールの包括的なサーベイとして付録A(Appendix A: Software Reliability Tools)を参照している。 ## カタログ情報(付録A) George Stark(Mitre Corporation)による付録Aは、CASREを 1993年に Jet Propulsion Laboratory が Air Force 向けに開発した PC ベースのツールとして紹介する。他ツールの使いにくさへの対処を目的とし、WINDOWS環境上のプルダウンメニュー駆動インタフェースを持つ。[[SMERFS]] と同じモデルライブラリを使いながら、複数モデルの線形結合によって新規モデルをユーザーが自由に生成できる点が特徴で、非同次ポアソン過程・Musa/Okumoto・Littlewood/Verrall の3モデルを組み合わせた結合モデルが4種、常時利用可能な形で用意されている。連絡先は Ms. Karen Newcomb(NASA COSMIC、The University of Georgia)。対応モデル数は時間領域10・区間領域6の計16(線形結合による新規モデル生成能力込み)で、Table A.1・A.2に掲載されたツールの中で最多である。最小動作環境は MS-DOS 5.0以降+Windows 3.1/NT/95、開発言語はC、配布本数200件超、価格は本書に無償同梱(ドキュメントのみ有償36ドル)。(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Appendix A Software Reliability Tools]] §A.8, §A.10, Table A.1-A.2) CASREは時間領域データと区間領域データの相互変換に対応し、パラメータ推定は最尤法・最小二乗法のいずれも選択できる。複数モデルの結果をグラフィカル表示ウィンドウ上で同時比較・結合できる点が、他の付録A掲載ツールにはない柔軟性として強調されている(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Appendix A Software Reliability Tools]] §A.8)。 ## 関連 - ソース: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 7 Software Reliability Measurement Experience]] / [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Appendix A Software Reliability Tools]] - 関連ツール: [[SMERFS]] - 開発・利用者: [[Allen P. Nikora]] / [[Michael R. Lyu]] - カタログ著者: [[George Stark]] - 概念: [[ソフトウェア信頼性成長モデル]]