什麼是正確性

正確性是指軟件產品執行其規範所定義的精確任務的能力，需要軟件可以按照預先定義的“規約”執行。正確性是最重要的質量指標，軟件的行爲要嚴格的符合規約中定義的行爲。如果軟件的行爲不符合規約中的條件，那麼就被認爲是錯誤的。正確性的實現，對程序員的要求較低，用戶輸入錯誤，即不滿足precondition的調用，直接結束。