ソフトウェアクリーンルーム
クリーンルームプロセスでのソフトウェアテストは統計的実験と見なすことができる。形式仕様記述に基づき、ソフトウェアの入出力値の代表を選別して評価する。また、この代表値を統計的に分析して、ソフトウェアの信頼度を測る。