軟件技術(shù)基礎(chǔ)第5章-文庫吧資料
2025-05-22 21:08本頁面
【正文】 ?證 ?明 動態(tài)檢驗(yàn)和靜態(tài)檢驗(yàn)的基本問題在于不可能說明軟件中不存在錯誤 ， 人們所能做到的最好的結(jié)果是發(fā)現(xiàn)錯誤 ， 因此自然希望能找到某種方法能確切地證明程序是沒有錯誤的 ， 這就出現(xiàn)了程序正確性證明的研究領(lǐng)域 。 評審過程中按評審條款有針對性地進(jìn)行檢查 ， 就可達(dá)到多 、 快 、 好 、省的目的 。走查的關(guān)鍵在于：以人工運(yùn)行作為媒介 ， 通過這種方式啟發(fā)與會者向程序員提出種種問題 ， 從而發(fā)現(xiàn)程序中的錯誤 。 評審人員應(yīng)在軟件開發(fā)技術(shù)和檢驗(yàn)技術(shù)方面受過良好的訓(xùn)練 ， 有豐富的軟件開發(fā)經(jīng)驗(yàn) 。 1． 評審過程 為了盡早發(fā)現(xiàn)并糾正錯誤 ， 應(yīng)將評審工作與開發(fā)過程結(jié)合起來 ， 使評審成為前一階段之后必須進(jìn)行的步驟 ， 這樣的模式可用圖 。 評審的種類很多 ， 包括需求復(fù)查 、 概要設(shè)計(jì) (總體設(shè)計(jì) )復(fù)查 、 詳細(xì)設(shè)計(jì)復(fù)查 、 程序復(fù)查和走查等 ， 其正規(guī)化的程度 、方式和參加的人員有所不同 。 第 5章 軟件檢驗(yàn) 靜 態(tài) 檢 驗(yàn) 靜態(tài)檢驗(yàn)是指用人工閱讀文檔和程序 ， 從中發(fā)現(xiàn)錯誤 ，或用一些輔助工具來完成這種工作 ， 這種技術(shù)也稱為評審 。 為此 ， 設(shè)計(jì)人員提出了以下幾種設(shè)計(jì)測試用例的方法：隨機(jī)抽取測試用例 、 抽取典型測試用例 、 抽取邊界測試用例 、抽取混合測試用例 。這個程序由一個循環(huán)語句組成，循環(huán)次數(shù)達(dá) 20 次，循環(huán)體內(nèi)是一組嵌套的 IF語句，其可能的路徑有多條，所以從 A到 B的路徑多達(dá) 520條。 假定程序是在字長為
畢業(yè)設(shè)計(jì)相關(guān)推薦
鄂ICP備17016276號-1