# SoftRel
*Handbook of Software Reliability Engineering*(1996)付録A「Software Reliability Tools」の末尾(A.11 Summary)で、「Chap. 16で解説されるソフトウェア信頼性シミュレーションツール」として一文だけ言及される。AT&T SRE Toolkit・SMERFS・CASREとともに本書付属のData and Tool Diskに収録される4点の一つだが、付録Aのカタログ本文(A.4-A.9、個別ツール解説)には登場せず、機能の詳細はこのページからは分からない(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Appendix A Software Reliability Tools]] §A.11)。
第16章が実際の規模を明かしている。SoftRel は著者らが開発した**約70の入力パラメータと約50の測定量**を持つシミュレータであり、同章が学習目的で示す例題シミュレータ(入力パラメータ25個)よりはるかに大きい。この差は、実務適用にはより多くの環境要因を組み込む必要があることを示している(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 16 Software Reliability Simulation]] ch.16 §16.6.2)。
したがって付録Aの他の3ツールとは性質が異なる。AT&T SRE Toolkit・SMERFS・CASRE が**観測された故障データに信頼性成長モデルを当てはめて推定する**のに対し、SoftRel は**事象を確率的に生成して信頼性挙動そのものを再現する**。前者は閉形式解を持つモデルの仮定に縛られるが、後者はその仮定を緩められる代わりに閉形式解を捨てる(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 16 Software Reliability Simulation]], [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Appendix A Software Reliability Tools]])。
> [!warning] **SoRel と混同しないこと。** 付録Aには綴りの酷似した別ツール **SoRel**(LAAS-CNRS の Karama Kanoun らが開発した Macintosh 用の信頼性解析ツール)が独立に収録されている。SoftRel と SoRel は完全に別物である(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Appendix A Software Reliability Tools]])。
## 関連
- ソース: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Appendix A Software Reliability Tools]] / [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 16 Software Reliability Simulation]]
- 同梱ツール: [[AT&T SRE Toolkit]] / [[SMERFS]] / [[CASRE]]
- 概念: [[wiki/concepts/モンテカルロシミュレーション|モンテカルロシミュレーション]] / [[wiki/concepts/ソフトウェア信頼性成長モデル|ソフトウェア信頼性成長モデル]]