軟件實(shí)施ppt課件(編輯修改稿)
2025-06-08 13:27 本頁面
【文章內(nèi)容簡(jiǎn)介】 定理卻又回到未被證明的四色猜想的地位了，這不僅由于赫伍德推翻了肯普的證明，而且離開泰特發(fā)表論文 66年后的 1946年，加拿大數(shù)學(xué)家托特又舉出反例，否定了泰特的證明。 肯普的證明，雖然在 11年后被推翻了，但是，人們認(rèn)為他的證明思路有很多可取的地方。因此，數(shù)學(xué)家，有不少人一直在沿著他的思路，推進(jìn)著四色問題的證明工作，并且有了新的進(jìn)展。然而，這些成就所提供的檢驗(yàn)辦法太復(fù)雜了，人們難以實(shí)現(xiàn)。就拿 1970年有些人的方案來說，用當(dāng)時(shí)的計(jì)算機(jī)來算也需要連續(xù)不斷地工作 10萬小時(shí)（即 11年以上），才能得出結(jié)論，這顯然是不可能的。 1970年以后，人們千方百計(jì)地改進(jìn)了證明四色猜想的方案，而且計(jì)算機(jī)的其使用方法，也不了飛快地進(jìn)步。 1976年 6月，美國數(shù)學(xué)家阿佩爾與哈肯，在美國伊利諾侵入大學(xué)的 3臺(tái)不同的電子計(jì)算機(jī)上，用了 1200小時(shí)，終于完成了 四色猜想 的證明，從面使 四色猜想 成為了四色定理。 四色定理 本身沒有什么突出的理論價(jià)值。因此美國數(shù)學(xué)家的貢獻(xiàn)，主要是用電子計(jì)算機(jī)解決了延續(xù) 124年之久的純理論問題。人與機(jī)器的合作完全有可能解決那些懸而未決的問題，我們期待著那一日的到來。 （ 2）、靜態(tài)測(cè)試 人工評(píng)審軟件的文檔或程序，發(fā)現(xiàn)其中的錯(cuò)誤。手續(xù)簡(jiǎn)單，是一種行之有效的檢驗(yàn)手段。 （ 1）代碼審查：通過閱讀程序發(fā)現(xiàn)軟件錯(cuò)誤和缺陷。 （ 2）靜態(tài)分析：主要對(duì)程序進(jìn)行控制流分析、數(shù)據(jù)流分析、接口分析和表達(dá)式分析。 （ 3）、動(dòng)態(tài)檢查 即測(cè)試，有控制地運(yùn)行程序，從多種角度觀察程序運(yùn)行時(shí)的行為，發(fā)現(xiàn)其中的錯(cuò)誤。（測(cè)試就是為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序） 測(cè)試只能證明程序有錯(cuò)誤， 而不可能證明程序沒有錯(cuò)誤。 20次 B A 520條路徑。 ? 黑箱測(cè)試 不考慮系統(tǒng)內(nèi)部結(jié)構(gòu)而運(yùn)行系統(tǒng)，以檢查在一定的輸入下，系統(tǒng)的輸出是否與期望相同。 ? 白箱測(cè)試 不僅要完成前者的內(nèi)容，還要檢查輸入的數(shù)據(jù)是如何通過系統(tǒng)內(nèi)部設(shè)定的結(jié)構(gòu)，達(dá)到輸出的。 A 黑箱測(cè)試 B 白箱測(cè)試 ?測(cè)試流程 測(cè)試是通過一些典型的數(shù)據(jù)運(yùn)行檢驗(yàn)系統(tǒng)在各種情況下的正確性的過程。 單元測(cè)試 功能測(cè)試 系統(tǒng)測(cè)試 容量測(cè)試 認(rèn)可測(cè)試 （ 1） 單元測(cè)試 單元測(cè)試是測(cè)試系統(tǒng)中的每一個(gè)低級(jí)處理的基本功能，其目標(biāo)是告訴程序員哪些程序部分需要改正或改進(jìn)。 ?程序代碼測(cè)試 ?程序功能測(cè)試 ? 程序代碼調(diào)試 利用精心挑選的測(cè)試數(shù)據(jù)，使程序和模塊中的每一條語句都能得到執(zhí)行， 即能夠測(cè)試程序中的任一邏輯通路。常用的測(cè)試數(shù)據(jù)有以下幾種： 1. 用正常數(shù)據(jù)調(diào)試。 2. 用異常數(shù)據(jù)調(diào)試。 3. 用錯(cuò)誤數(shù)據(jù)調(diào)試。 試驗(yàn)程序?qū)﹀e(cuò)誤的處理能力，包括顯示出錯(cuò)信息以及容許修改錯(cuò)誤的可能性。 具體檢查內(nèi)容有： ? 輸入鍵號(hào)錯(cuò)誤 ? 輸人數(shù)據(jù)錯(cuò)誤 ? 操作錯(cuò)誤 ? 程序功能調(diào)試 經(jīng)代碼測(cè)試正確的程序只是基本上驗(yàn)證了程序邏輯上的正確性，但并不能驗(yàn)證程序是否滿足程序說明中定義的功能，也不能驗(yàn)證數(shù)據(jù)本身是否完備。 程序功能測(cè)試則面向程序應(yīng)用環(huán)境，把程序看做一個(gè) 黑盒子 ，認(rèn)為程序只要滿足應(yīng)用功能上的需求，就是可行的。 （ 2） 功能測(cè)試 將一個(gè)功能內(nèi)所有程序按次序串聯(lián)起來進(jìn)行調(diào)試，目的是要保證模塊內(nèi)各程序間具有正確的控制關(guān)系，同時(shí)可以測(cè)試模塊的運(yùn)行效率。 程序 1 程序 2 程序 3 程序 1 模塊的連接方法： ? 非增量式集成： 把所有的模塊按設(shè)計(jì)要求一次性全部組裝起來，然后進(jìn)行整體測(cè)試。 ? 增量式集成： 一個(gè)一個(gè)地?cái)U(kuò)展模塊，一步一步增大測(cè)試的范圍，錯(cuò)誤易于定位和糾正。 ? 系統(tǒng)測(cè)試 將所開發(fā)的系統(tǒng)放在模擬的產(chǎn)品環(huán)境中，其目標(biāo)是保證系統(tǒng)與網(wǎng)絡(luò)、數(shù)據(jù)庫、硬件和任何其它公司所特有平臺(tái)和環(huán)境因素相協(xié)調(diào)，保證整個(gè)系統(tǒng)運(yùn)行是一致的，并且使應(yīng)用程序能滿足用戶要求的靈活性。 ⑴ 主控程序和調(diào)度程序調(diào)試 ⑵ 系統(tǒng)程序總調(diào) ?特殊調(diào)試 除了上述常規(guī)測(cè)試之外，還有一些必要的性能測(cè)試，這些測(cè)試往往不是針對(duì)程序在正常情況下運(yùn)行的正確與否，而是根據(jù)系統(tǒng)需求選擇進(jìn)行的，主要有： 1. 峰值負(fù)載測(cè)試、 容量測(cè)試、 響應(yīng)時(shí)間測(cè)試、 恢復(fù)能力測(cè)試等。 2. 嚴(yán)格核對(duì)計(jì)算機(jī)處理和人工處理的兩種結(jié)果。 3. 實(shí)況測(cè)試。 ?認(rèn)可測(cè)試 認(rèn)可測(cè)試貫穿于測(cè)試的各個(gè)階段，以確定終端用戶是否認(rèn)可該系統(tǒng)的設(shè)計(jì)和功能。 系統(tǒng)調(diào)試完成
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1