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