軟件技術基礎第5章(編輯修改稿)
2025-06-19 21:08 本頁面
【文章內容簡介】 評審成為前一階段之后必須進行的步驟 ， 這樣的模式可用圖 。 第 5章 軟件檢驗 圖 評審模式 系統(tǒng)需求需求復查 需求說明書分析設計設計復查 設計文檔 編程程序程序復查測試第 5章 軟件檢驗 由于評審的目的是發(fā)現(xiàn)錯誤 ， 為了獲得較好的效果 ， 評審應由開發(fā)人員之外的人來主持 ， 開發(fā)人員與評審人員相互獨立是保證評審質量的重要措施之一 。 評審人員應在軟件開發(fā)技術和檢驗技術方面受過良好的訓練 ， 有豐富的軟件開發(fā)經(jīng)驗 。 程序走查 (Code Walkthrough)是另一種有效的評審活動 。走查的關鍵在于：以人工運行作為媒介 ， 通過這種方式啟發(fā)與會者向程序員提出種種問題 ， 從而發(fā)現(xiàn)程序中的錯誤 。 評審的目的是盡量快 、 盡量多地發(fā)現(xiàn)錯誤 ， 所以一般的做法是將軟件中常見的各類錯誤列成清單作為評審條款 。 評審過程中按評審條款有針對性地進行檢查 ， 就可達到多 、 快 、 好 、省的目的 。 評審條款隨系統(tǒng)的不同可有所不同 ， 可根據(jù)軟件系統(tǒng)的性質和復查專家的經(jīng)驗來設定 。 第 5章 軟件檢驗 正 ?確 ?性 ?證 ?明 動態(tài)檢驗和靜態(tài)檢驗的基本問題在于不可能說明軟件中不存在錯誤 ， 人們所能做到的最好的結果是發(fā)現(xiàn)錯誤 ， 因此自然希望能找到某種方法能確切地證明程序是沒有錯誤的 ， 這就出現(xiàn)了程序正確性證明的研究領域 。 程
畢業(yè)設計相關推薦
鄂ICP備17016276號-1