。牐爄bm的dr.harlan mills提出了凈室過程。凈室過程組合了形式化程序驗證和統計過程控制(spc)。在這種方法中,首先用正確性數學證明預防缺陷發生,然后用mtbf度量軟件質量。凈室過程是一種相當新的軟件開發方法,它要求軟件開發在管理方式和技術方法上作重大改變,特別是要求spc應用到軟件的知識,這影響了其被廣泛的接受。
。牐犛布杀境掷m降低,可支持case工具運行的新的強大的工作站和網絡已經成為軟件工程使用的工作平臺,case工具可完成一些特定的軟件開發過程。這些工具提供給軟件設計者以圖形方式描述軟件設計的能力,這樣就易于維護、易于交叉檢查、易于理解。許多人(尤其是case工具供貨商)相信case工具扮演了解決軟件危機和拯救軟件工業的角色,但事實上我們看到的情形卻是許多公司花了大量的金錢買回的case工具但很少使用,原因在于這些工具執行的過程與機構的軟件設計過程不相適用。
。牐犜诳梢越柚S多新的技術和工具進行軟件開發的今天,軟件開發過程的成熟性問題開始引起人們的重視。這種產品一致性問題的主要癥結在于管理,因此人們將目標轉向了管理的改善,一些以改進軟件開發過程為目標的活動已經展示出積極的結果。
。牐犚韵率且恍┍容^典型的文本。
。牐牎 ei sw-cmm
。牐牎 so spice(software process improvement and capability determination)
。牐牎 ootstrap
。牐牎 so-9000-3
。牐牎 ickit
。牐牎 rillium
。牐犑聦嵣,對于軟件來講,還沒有象銀彈那樣的東西。不論采用什么技術和什么方法,軟件中仍然會有錯。采用新的語言、先進的開發方式、完善的開發過程,可以減少錯誤的引入,但是不可能完全杜絕軟件中的錯誤,這些引入的錯誤需要測試來找出,軟件中的錯誤密度也需要測試來進行估計。
。牐牅y試是所有工程學科的基本組成單元,是軟件開發的重要部分。自有程序設計的那天起測試就一直伴隨著。統計表明,在典型的軟件開發項目中,軟件測試工作量往往占軟件開發總工作量的40%以上。而在軟件開發的總成本中,用在測試上的開銷要占30%到50%。如果把維護階段也考慮在內,討論整個軟件生存期時,測試的成本比例也許會有所降低,但實際上維護工作相當于二次開發,乃至多次開發,其中必定還包含有許多測試工作。因此,測試對于軟件生產來說是必需的,問題是我們應該思考“采用什么方法、如何安排測試?”
文章來源于領測軟件測試網 http://www.kjueaiud.com/