1樓：
看到這個問題，我想到了之前看過有關四色定理證明的一些細節。
四色定理應該是最有名的機器證明例子之一。當時的部分數學家還不太接受電腦程式證明數學定理的方式，為了更嚴格驗證證明的正確性，使用了乙個叫做Coq的證明驗證程式。
維基百科四色定理詞條有這樣一句描述Coq：證明驗證程式是乙個由法國開發的軟體，能夠從邏輯上驗證一段電腦程式是否正常執行，並且是否達到了它應該達到的邏輯目的。
當時對這個Coq的原理十分好奇，查閱了一些資料，這裡講得比較詳細：
guokr.com/blog/22921/另外，個人看法，程式中的每一條語句都是嚴格的數學語句，只要定義一套「可靠性」的標準，當然就能公式化地分析每一條語句邏輯上是否達到了目標，或者有多大的正確概率，從而分析出整個程式的可靠性。
2樓：
可靠度、失效率等概念用來描述硬體系統的可用性，軟體本質上不存在硬體的失效機理，因此原則上程式（軟體）無法計算可靠度。當然也有硬套的，只能參考，價值不大。
wey的可靠性如何？
胖嘟嘟的小可愛 在我的印象中，WEY品牌還是不錯吧，畢竟中國產一線品牌，不管是車輛的產品力還是質量耐用性，都是非常不錯的，而且市場口碑什麼的都比較好，要是買這個品牌的車型來家用話應該是很放心的。說實話，現在WEY的銷量還不錯，旗下的VV5 VV7銷量都很火爆，乙個年輕 乙個高階，不管是家用還是商用，...
質量與可靠性的區別？
白雲龍 質量取決於產品所需效能的分布。效能期望越高，質量就越好 效能方差越小，質量就越穩定 可靠性取決於產品在規定的使用環境，使用時間下，保持規定一定效能的能力。我們可以用經過相同的使用環境，使用時間後，仍能保持規定以上效能的概率去衡量它。另外，可靠性也可以是質量的一部分 即質量所衡量的效能包括可靠...
可靠性工程師具體工作內容是什麼？可靠性分析 ，管理， 做壽命試驗？常用什麼工具軟體啥的
已登出 軟體可靠性測試是指為了保證和驗證軟體的可靠性要求而對軟體進行的測試，排除高概率發生的缺陷，這類缺陷可能是已經通過軟體測試發現的缺陷，也有可能是潛在的效能 功能缺陷，從而實現軟體效能可靠性的增長。從測試方法上來說，也是一種黑盒測試。如果軟體可靠性測試相關的，可以諮詢下卓碼軟體測評。 王得全 美...