管理信息系統(tǒng)的系統(tǒng)實(shí)施-文庫(kù)吧資料
2025-01-24 09:14本頁(yè)面
【正文】 的可能性。 ?程序代碼測(cè)試 ?程序功能測(cè)試 2022/2/8 39 ? 程序代碼調(diào)試 ? 利用精心挑選的測(cè)試數(shù)據(jù)，使程序和模塊中的每一條語(yǔ)句都能得到執(zhí)行， 即能夠測(cè)試程序中的任一邏輯通路。 具體為：?jiǎn)卧獪y(cè)試、功能測(cè)試、系統(tǒng)測(cè)試、容量測(cè)試、認(rèn)可測(cè)試。 ? 白箱測(cè)試： 不僅要完成前者的內(nèi)容，還要檢查輸入的數(shù)據(jù)是如何通過(guò)系統(tǒng)內(nèi)部設(shè)定的結(jié)構(gòu)，達(dá)到輸出的。 20次 B A 520條路徑。 2022/2/8 34 動(dòng)態(tài)檢查： 有控制地運(yùn)行程序，從多種角度觀察程序運(yùn)行時(shí)的行為，發(fā)現(xiàn)其中的錯(cuò)誤。 （ 1）代碼審查：通過(guò)閱讀程序發(fā)現(xiàn)軟件錯(cuò)誤和缺陷。 2022/2/8 33 靜態(tài)測(cè)試： 人工評(píng)審軟件的文檔或程序，發(fā)現(xiàn)其中的錯(cuò)誤。因此美國(guó)數(shù)學(xué)家的貢獻(xiàn)，主要是用電子計(jì)算機(jī)解決了延續(xù) 124年之久的純理論問(wèn)題。 1976年 6月，美國(guó)數(shù)學(xué)家阿佩爾與哈肯，在美國(guó)伊利諾侵入大學(xué)的 3臺(tái)不同的電子計(jì)算機(jī)上，用了 1200小時(shí)，終于完成了 四色猜想 的證明，從面使 四色猜想 成為了四色定理。就拿 1970年有些人的方案來(lái)說(shuō)，用當(dāng)時(shí)的計(jì)算機(jī)來(lái)算也需要連續(xù)不斷地工作 10萬(wàn)小時(shí)（即 11年以上），才能得出結(jié)論，這顯然是不可能的。因此，數(shù)學(xué)家，有不少人一直在沿著他的思路，推進(jìn)著四色問(wèn)題的證明工作，并且有了新的進(jìn)展。但四色定理卻又回到未被證明的四色猜想的地位了，這不僅由于赫伍德推翻了肯普的證明，而且離開(kāi)泰特發(fā)表論文 66年后的 1946年，加拿大數(shù)學(xué)家托特又舉出反例，否定了泰特的證明。終于在 1890年，也就是肯普宣布證明了四色定理的 11年之后，赫伍德發(fā)表文章，指出了肯普證明中的錯(cuò)誤，不過(guò)，赫伍德卻成功地運(yùn)用肯普的方法證明了五色定理，即一張地圖一公平能用和種顏色正確地染色 。1879年，肯普首先宣布證明了四色定理，接著在 1880年，泰特也宣布證明四色定理的問(wèn)題已經(jīng)解決，從此就很少有人過(guò)問(wèn)它了。 1878年，著名的英國(guó)數(shù)學(xué)家凱來(lái)把 “ 四色猜想 ” 通報(bào)給倫敦的數(shù)學(xué)學(xué)會(huì)會(huì)員，征求解答。從此，這個(gè)問(wèn)題在一些人中間傳來(lái)似去，直到1865年哈密頓逝世為止，這個(gè)問(wèn)題還沒(méi)有得到解決。但摩爾根也無(wú)法證明這個(gè)問(wèn)題。 弗雷贅克讀了這封信后，就企圖用數(shù)學(xué)品質(zhì)方法來(lái)加證明。 測(cè)試方法 2022/2/8 30 1852年，剛從倫敦大學(xué)畢業(yè)的哥斯尼在給他的兄弟弗雷贅克的一封信中提出了這樣的猜想：在一幅正規(guī)地圖中。 P A B 入口 出口 T F 2022/2/8 28 軟件開(kāi)發(fā)工具 ? 電子表格軟件 ? 數(shù)據(jù)庫(kù)管理系統(tǒng) ? 套裝軟件 ? 可視化編程工具 ? 計(jì)算機(jī)輔助軟件工具 2022/2/8 29 目前，檢驗(yàn)軟件的有三種手段： 正確性證明 、靜態(tài)檢查 和 動(dòng)態(tài)檢查 。 入口 A B 出口 Int i=0 Int s=1 S=100+i 2022/2/8 26 循環(huán)結(jié)構(gòu)： 循環(huán)結(jié)構(gòu)是由一個(gè)或幾個(gè)模塊構(gòu)成，程序運(yùn)行時(shí)重復(fù)執(zhí)行，直到滿足某一條件為止。 2022/2/8 24 采用 順序結(jié)構(gòu) 、 循環(huán)結(jié)構(gòu) 、 選擇結(jié)構(gòu)三種基本邏輯結(jié)構(gòu)來(lái)編寫程序的方法。 自頂向下模塊化程序設(shè)計(jì)中應(yīng)注意 ： 2022/2/8 23 ?模塊功能要簡(jiǎn)單： 底層模塊一般應(yīng)完成一項(xiàng)獨(dú)立的處理任務(wù)。 2022/2/8 20 功能結(jié)構(gòu)圖中有很多大大小小的模塊，先實(shí)現(xiàn)那些模塊呢？ 上層模塊 下層模塊 ……. 下層模塊 執(zhí)行具體的功能
公司管理相關(guān)推薦
鄂ICP備17016276號(hào)-1