# SMERFS Statistical Modeling and Estimation of Reliability Functions for Systems(SMERFS)。ソフトウェア信頼性推定ツールの一つで、参考文献 [Farr88] として言及される。 そのモデルライブラリは [[CASRE]] に取り込まれており、CASRE が提供する時間間隔ベース(TBF)・故障件数ベース(FC)双方のモデルカテゴリの土台になっている。*Handbook of Software Reliability Engineering*(1996)第7章の 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) ## カタログ情報(付録A) > [!contradiction] 正式名称の表記ゆれ > 付録A(章題A.5)は正式名称を **"Statistical Modeling and Estimation of Reliability Functions for Software"** と印字する(Software、末尾の for が指すのは Software であって Systems ではない)。本ページの既存 alias は "for Systems" としており、初出時の誤記の可能性がある。両表記を alias に併記し、原典に忠実な "for Software" を優先表記とする(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Appendix A Software Reliability Tools]] §A.5 章題)。 George Stark(Mitre Corporation)による付録Aは、SMERFSを 1983年に米海軍水上戦センター(Dahlgren, Virginia)が開発したパブリックドメインのメニュー駆動ツールとして紹介する。最新版はSMERFS V。FORTRAN '77のサブセットで書かれ、ドライバプログラムとモデルライブラリ群という設計のため、ソースコードと設計文書が公開されており、利用者は独自のドライバやユーザインタフェースを構築できる。時間領域モデル(Littlewood/Verrall・Musa基本実行時間・Musa/Okumoto対数ポアソン・Jelinski-Moranda・geometric・非同次ポアソン)6種と区間領域モデル(Schneidewind・Brooks and Motley・非同次ポアソン・Yamada S-shaped・generalized Poisson)6種の計12モデルを持ち、[[CASRE]] のモデルライブラリの土台になっている。連絡先は Dr. William Farr(NSWCDD-B10)。歴史的に最も普及したツールとされ、開発言語がFORTRANで移植性が高いことがその一因とされる。原初リリースは1983年10月、当時の版数はOct-93版で配布数200件超、価格59.95ドル(本書に無償同梱)(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Appendix A Software Reliability Tools]] §A.5, Table A.1-A.2)。 SMERFS Vはデータベース方式の入力(SMERFSのデータ入力モジュール経由、フォーマットを意識せず入力できるが時間はかかる)とASCIIファイル入力(AT&T Toolkitと類似形式)の両方に対応する。パラメータ推定は最尤法・最小二乗法のいずれかを選択でき、prequential likelihood統計量・u-plot・y-plot・ノイズ測度によるモデル適合度検定、残差分析にも対応する。提供する信頼性指標は、次故障までの期待時間、指定運用時間での信頼性推定値、ソフトウェア中の残存障害数推定値、残存故障をすべて誘発するまでの期待時間、指定期間の次セッションで期待される故障数、の5種である(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Appendix A Software Reliability Tools]] §A.5)。 ## 関連 - ソース: [[@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]] - 関連ツール: [[CASRE]](モデルライブラリの取り込み先) - 利用者: [[Allen P. Nikora]] / [[Michael R. Lyu]] - カタログ著者: [[George Stark]] - 概念: [[ソフトウェア信頼性成長モデル]]