# Jet Propulsion Laboratory Jet Propulsion Laboratory(JPL)。NASA の深宇宙探査機ミッションを担う研究開発組織で、[[Allen P. Nikora]] の所属先。 *Handbook of Software Reliability Engineering*(1996)第7章では、JPL 内で開発された5つの宇宙機ソフトウェアプロジェクト(データセット J1-J5)が、ソフトウェア信頼性測定手法の実証対象として使われた。 - **J1**: 初期の宇宙機の一つ。姿勢制御(AACS)・コマンド制御(CCS)・飛行データ(FDS)の3リアルタイム組込みサブシステムに分かれ、約14,000行の非コメントアセンブリ言語で実装。システムテストでKLOCあたり約9.5件の障害を検出。 - **J2**: 1989年打上げの惑星探査機兼大気プローブ。AACS(HAL/S約7,000行)とコマンド・データサブシステム(CDS、アセンブリ約15,000行)から成る。システムテストでKLOCあたり約10.2件の障害を検出。 - **J3**: J2のCDSのサブシステム統合テスト1フェーズ分のデータ。週あたりのテスト時間がほぼ一定、機能領域ごとのテスト量もほぼ均等という運用プロファイル情報が部分的に既知であったため、他のJPLデータセットより正確とされる。KLOCあたり約10.1件の障害を検出。 - **J4**: J2と同様のAACS・CDS構成、コード規模も同程度。システムテストでKLOCあたり約8.0件の障害を検出。 - **J5**: 高傾斜角軌道の地球資源衛星群を追跡・データ取得する地上施設。C・Fortran・EQUEL・OSL混成で約103,000行(うち約14,000行は既存コードの再利用)。KLOCあたり約3.6件の障害を検出。 JPL の各プロジェクトで使われる障害報告・是正処置(Problem/Failure Report、P/FR)メカニズムは、故障の日付・種別・サブシステムを記録するが、実行時間・テスト区間長・運用プロファイル情報を体系的には記録しておらず、暦時間ベースの故障件数データへの変換とテスト強度一定という仮定を要した。(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 7 Software Reliability Measurement Experience]] §7.3.1-7.3.2) 第16章「Software Reliability Simulation」([[Robert C. Tausworthe]](JPL)・[[Michael R. Lyu]] 共著)は、JPL の [[Galileo]] 探査機の Command and Data System(CDS)ソフトウェアを、レートベース信頼性シミュレーション技法の実データ適用対象として取り上げた。シミュレーションによる累積故障数予測は実フィールドデータとほぼ一致し、一段先予測でも Jelinski-Moranda・Musa-Okumoto・Littlewood-Verrall の3モデルより実データの変動傾向をよく再現した。(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 16 Software Reliability Simulation]] §16.7) > [!note] 第7章のデータセット **J2**(「1989年打上げの惑星探査機兼大気プローブ、AACS〈HAL/S約7,000行〉とコマンド・データサブシステム〈CDS、アセンブリ約15,000行〉」)は、第16章が記述する Galileo(1989年10月打上げ、AACSとCDSの2大搭載計算機、CDSは約17,000行のアセンブリ言語)と、打上げ年・ミッション形態・サブシステム構成が酷似する。両章は互いを明示的に参照しておらず、コード行数(15,000 対 17,000)にも差があるため断定はできないが、同一プロジェクトを指している可能性が高い。第7章は障害検出率(KLOCあたり約10.2件)という信頼性成長モデルの当てはめ結果を報告し、第16章はテスト期の詳細な故障プロファイル(週次)とシミュレーション比較を報告しており、もし同一プロジェクトであれば、本書内で同じ実データが異なる2つの技法(信頼性成長モデルの当てはめ対レートベースシミュレーション)で分析されていることになる。 ## 関連 - ソース: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 7 Software Reliability Measurement Experience]] / [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 16 Software Reliability Simulation]] - 所属研究者: [[Allen P. Nikora]] / [[Robert C. Tausworthe]] - 関連プロダクト: [[Galileo]] - 概念: [[ソフトウェア信頼性成長モデル]] / [[モンテカルロシミュレーション]]