可能是因為程序語言基于嚴格的語法和語義規則，人們企圖用形式化證明方法來證明程序的正確性。將程序當作數學對象來看待，從數學意義上證明程序是正確的是可能的。數學家對形式化證明方法最有興趣，在論文上談起來非常吸引人，但實際價值卻非常有限，因為形式化證明方法只有在代碼寫出來之后才能使用，這顯然太遲了，而且對于大的程序證明起來非常困難。 受到其他行業項目工程化的啟發，軟件工程學出現了，軟件開發被視為一項工程，以工程化的方法來進行規劃和管理軟件的開發。
針對需求不確定的應用，可以使用漸進和迭代類的開發模型。還可以采用快速應用程序開發(RAD)和協同應用程序開發(JAD)技術，由軟件開發者和用戶代表共同參與開發軟件規范。RAD和JAD的基本思路是開發者和用戶共同設計系統中的屏幕，開發者迅速地把實現這些屏幕的最基本功能編寫好，然后把它們交給用戶看，然后用戶和開發者回顧這些屏幕以確認它們達到了用戶的要求，這個周期一直持續到系統的基本部分定義完畢。一旦設計被用戶接受，開發者將完成完全實現屏幕需要的代碼。RAD和傳統軟件開發項目之間的一個基本區別是：應用程序RAD系統是按階段發布的。傳統項目一般一次發布，也叫“big bang”。RAD方法使用高效開發工具，開發者能夠非常迅速地設計出系統的基本屏幕，允許用戶在開發周期中很早就能見識到系統將來看起來怎么樣，避免了在傳統開發項目中長篇大論并且枯燥難懂的說明。
IBM的Dr.Harlan Mills提出了凈室過程。凈室過程組合了形式化程序驗證和統計過程控制(SPC)。在這種方法中，首先用正確性數學證明預防缺陷發生，然后用MTBF度量軟件質量。凈室過程是一種相當新的軟件開發方法，它要求軟件開發在管理方式和技術方法上作重大改變，特別是要求SPC應用到軟件的知識，這影響了其被廣泛的接受。
硬件成本持續降低，可支持CASE工具運行的新的強大的工作站和網絡已經成為軟件工程使用的工作平臺，CASE工具可完成一些特定的軟件開發過程。這些工具提供給軟件設計者以圖形方式描述軟件設計的能力，這樣就易于維護、易于交叉檢查、易于理解。許多人(尤其是CASE工具供貨商)相信CASE工具扮演了解決軟件危機和拯救軟件工業的角色，但事實上我們看到的情形卻是許多公司花了大量的金錢買回的CASE工具但很少使用，原因在于這些工具執行的過程與機構的軟件設計過程不相適用。
在可以借助許多新的技術和工具進行軟件開發的今天，軟件開發過程的成熟性問題開始引起人們的重視。這種產品一致性問題的主要癥結在于管理，因此人們將目標轉向了管理的改善，一些以改進軟件開發過程為目標的活動已經展示出積極的結果。
以下是一些比較典型的文本。
SEI SW-CMM
ISO SPICE(Software Process Improvement and Capability dEtermination)
Bootstrap
ISO-9000-3
TickIT
Trillium
事實上，對于軟件來講，還沒有象銀彈那樣的東西。不論采用什么技術和什么方法，軟件中仍然會有錯。采用新的語言、先進的開發方式、完善的開發過程，可以減少錯誤的引入，但是不可能完全杜絕軟件中的錯誤，這些引入的錯誤需要測試來找出，軟件中的錯誤密度也需要測試來進行估計。 測試是所有工程學科的基本組成單元，是軟件開發的重要部分。自有程序設計的那天起測試就一直伴隨著。統計表明，在典型的軟件開發項目中，軟件測試工作量往往占軟件開發總工作量的40%以上。而在軟件開發的總成本中，用在測試上的開銷要占30%到50%。如果把維護階段也考慮在內，討論整個軟件生存期時，測試的成本比例也許會有所降低，但實際上維護工作相當于二次開發，乃至多次開發，其中必定還包含有許多測試工作。因此，測試對于軟件生產來說是必需的，問題是我們應該思考“采用什么方法、如何安排測試?”
文章來源于領測軟件測試網 http://www.kjueaiud.com/
