VOLUME 04 / DEEP DIVE

品質・信頼性・検証

品質特性、テスト、可用性、障害分析、運用評価

5章公開。本文のある章だけを掲載しています。

本文は独自解説です。規格・公式資料に由来する説明には出典を付け、適用条件や事例上の仮定と区別します。章末では、午前Ⅱの概念の識別、午後Ⅰの事例読解、午後Ⅱの設計理由の説明へ接続します。

CHAPTER 01
全部通ったテストが、何も確かめていないとき
入力の区分、境界、状態、条件式を、異なる観点として組み合わせる。網羅率の数字を、実際に確かめた約束へ戻して読む。
出典照合日：2026-10-19
CHAPTER 02
二台にしたのに、止まったままだった
冗長化の論理、独立性、切替え、復旧を別々に考える。稼働率の計算を、業務で利用できる状態の設計へ戻す。
出典照合日：2026-10-19
CHAPTER 03
故障の一覧から、安全だと言える根拠へ
FMEAで影響をたどり、FTAで原因の組合せを分解する。対策の存在と有効性の証拠を区別し、アシュアランスケースとして設計判断をつなぐ。
出典照合日：2026-10-19
CHAPTER 04
警告ゼロと、正しいプログラムの間
静的解析、事前条件・事後条件、不変条件、形式的な証明、ミューテーションテストを、何を根拠に正しいと言えるかという問いから読み解く。
出典照合日：2026-10-19
CHAPTER 05
欠陥が減ったのか、探さなくなったのか
欠陥数、試験の進み方、残存リスク、利用者の仕事を合わせて品質を評価する。受入れと公開の判断を、測定値の意味から組み立てる。
出典照合日：2026-10-19