管理信息系統(tǒng)的系統(tǒng)實施(編輯修改稿)
2025-02-14 09:14 本頁面
【文章內容簡介】 ，就把它交給了英國著名的數(shù)學家哈密頓。從此，這個問題在一些人中間傳來似去，直到1865年哈密頓逝世為止，這個問題還沒有得到解決。 于是這個問題便以 “ 四色猜想 ” 的名字留在了近代數(shù)學史上。 1878年，著名的英國數(shù)學家凱來把 “ 四色猜想 ” 通報給倫敦的數(shù)學學會會員，征求解答。數(shù)學界頓時活躍起來，很多人揮戈上陣，企圖試一試自己的能力。1879年，肯普首先宣布證明了四色定理，接著在 1880年，泰特也宣布證明四色定理的問題已經解決，從此就很少有人過問它了。 四色猜想 2022/2/8 31 然而還有一個數(shù)學家赫伍德，并沒有放棄對四色問題的研究，他從表少年時代一直到成為白發(fā)蒼蒼的老者，花費了畢生的精力致力于四色研究，前后整整 60年。終于在 1890年，也就是肯普宣布證明了四色定理的 11年之后，赫伍德發(fā)表文章，指出了肯普證明中的錯誤，不過，赫伍德卻成功地運用肯普的方法證明了五色定理，即一張地圖一公平能用和種顏色正確地染色 。 五色定理被證明了。但四色定理卻又回到未被證明的四色猜想的地位了，這不僅由于赫伍德推翻了肯普的證明，而且離開泰特發(fā)表論文 66年后的 1946年，加拿大數(shù)學家托特又舉出反例，否定了泰特的證明。 肯普的證明，雖然在 11年后被推翻了，但是，人們認為他的證明思路有很多可取的地方。因此，數(shù)學家，有不少人一直在沿著他的思路，推進著四色問題的證明工作，并且有了新的進展。然而，這些成就所提供的檢驗辦法 2022/2/8 32 太復雜了，人們難以實現(xiàn)。就拿 1970年有些人的方案來說，用當時的計算機來算也需要連續(xù)不斷地工作 10萬小時（即 11年以上），才能得出結論，這顯然是不可能的。 1970年以后，人們千方百計地改進了證明四色猜想的方案，而且計算機的其使用方法，也不了飛快地進步。 1976年 6月，美國數(shù)學家阿佩爾與哈肯，在美國伊利諾侵入大學的 3臺不同的電子計算機上，用了 1200小時，終于完成了 四色猜想 的證明，從面使 四色猜想 成為了四色定理。 四色定理 本身沒有什么突出的理論價值和衫價值。因此美國數(shù)學家的貢獻，主要是用電子計算機解決了延續(xù) 124年之久的純理論問題。人與機器的合作完全有可能解決那些懸而未決的問題，我們期待著那一日的到來。 2022/2/8 33 靜態(tài)測試： 人工評審軟件的文檔或程序，發(fā)現(xiàn)其中的錯誤。手續(xù)簡單，是一種行之有效的檢驗手段。 （ 1）代碼審查：通過閱讀程序發(fā)現(xiàn)軟件錯誤和缺陷。 （ 2）靜態(tài)分析：主要對程序進行控制流分析、數(shù)據(jù)流分析、接口分析和表達式分析。 2022/2/8 34 動態(tài)檢查： 有控制地運行程序，從多種角度觀察程序運行時的行為，發(fā)現(xiàn)其中的錯誤。 測試只能證明程序有錯誤， 而不可能證明程序沒有錯誤。 20次 B A 520條路徑。 2022/2/8 35 ? 黑箱測試： 不考慮系統(tǒng)內部結構而運行系統(tǒng)，以檢查在一定的輸入下，系統(tǒng)的輸出是否與期望相同。 ? 白箱測試： 不僅要完成前者的內容，還要檢查輸入的數(shù)據(jù)是如何通過系統(tǒng)內部設定的結構，達到輸出的。 2022/2/8 36 A 黑箱測試 B 白箱測試 2022/2/8 37 測試是通過一些典型的數(shù)據(jù)運行檢驗系統(tǒng)在各種情況下的正確性的過程。 具體為：單元測試、功能測試、系統(tǒng)測試、容量測試、認可測試。 2022/2/8 38 單元測試是測試系統(tǒng)中的每一個低級處理的基本功能，其目標是告訴程序員哪些程序部分需要改正或改
公司管理相關推薦
鄂ICP備17016276號-1