軟件測試與維護

軟件測試（英語：software testing），描述一種用來促進鑑定軟件的正確性、完整性、安全性和質量的過程。據此，您可能會想，軟件測試永遠不可能完整的確立任意電腦軟件的正確性。然而，在可計算理論（計算機科學的一個支派）一個簡單的數學證明推斷出下列結果：不可能完全解決所謂「死機」，指任意計算機程序是否會進入死循環，或者罷工併產生輸出問題。換句話說，軟件測試是一種實際輸出與預期輸出間的審覈或者比

>>阅读原文<<