Suatu Tinjauan Statistik Mengenai Reliabilitas Perangkat Lunak

Dengan cara 'debug' acak, banyaknya kegagalan perangkat lunak dalam suatu saat dapat disajikan dalam model perubah acak berdistribusi eksponensial yang berorder statistik bebas tetapi tidak identik. Dengan menggunakan model ini, maka beberapa kesimpulan mengenai reabilitas perangkat lunak disaat itu dapat diambil. Dan jika debugging dilanjutkan, juga reliabilitas selanjutnya.Model ini menunjukan kesulitan yang terjadi dalam verifikasi statistik dart perangkat lunak dengan reliabilitas sangat tinggi, seperti yang digunakan dengan avionik digital dalam penerbangan k,omersil.