2010年計算機等級考試二級公共基礎(chǔ)知識總結(jié)(3)

　　軟件需求規(guī)格說明書的特點：

　　(1)正確性;

　　(2)無歧義性;

　　(3)完整性;

　　(4)可驗證性;

　　(5)一致性;

　　(6)可理解性;

　　(7)可追蹤性。

　　3.3結(jié)構(gòu)化設(shè)計方法

　　軟件設(shè)計的基本目標是用比較抽象概括的方式確定目標系統(tǒng)如何完成預(yù)定的任務(wù)，軟件設(shè)計是確定系統(tǒng)的物理模型。

　　軟件設(shè)計是開發(fā)階段最重要的步驟，是將需求準確地轉(zhuǎn)化為完整的軟件產(chǎn)品或系統(tǒng)的唯一途徑。

　　從技術(shù)觀點來看，軟件設(shè)計包括軟件結(jié)構(gòu)設(shè)計、數(shù)據(jù)設(shè)計、接口設(shè)計、過程設(shè)計。

　　結(jié)構(gòu)設(shè)計：定義軟件系統(tǒng)各主要部件之間的關(guān)系。

　　數(shù)據(jù)設(shè)計：將分析時創(chuàng)建的模型轉(zhuǎn)化為數(shù)據(jù)結(jié)構(gòu)的定義。

　　接口設(shè)計：描述軟件內(nèi)部、軟件和協(xié)作系統(tǒng)之間以及軟件與人之間如何通信。

　　過程設(shè)計：把系統(tǒng)結(jié)構(gòu)部件轉(zhuǎn)換成軟件的過程描述。

　　從工程管理角度來看：概要設(shè)計和詳細設(shè)計。

　　軟件設(shè)計的一般過程：軟件設(shè)計是一個迭代的過程;先進行高層次的結(jié)構(gòu)設(shè)計;后進行低層次的過程設(shè)計;穿插進行數(shù)據(jù)設(shè)計和接口設(shè)計。

　　衡量軟件模塊獨立性使用耦合性和內(nèi)聚性兩個定性的度量標準。

　　在程序結(jié)構(gòu)中各模塊的內(nèi)聚性越強，則耦合性越弱。優(yōu)秀軟件應(yīng)高內(nèi)聚，低耦合。

　　軟件概要設(shè)計的基本任務(wù)是：

　　(1)設(shè)計軟件系統(tǒng)結(jié)構(gòu);

　　(2)數(shù)據(jù)結(jié)構(gòu)及數(shù)據(jù)庫設(shè)計;

　　(3)編寫概要設(shè)計文檔;

　　(4)概要設(shè)計文檔評審。

　　模塊用一個矩形表示，箭頭表示模塊間的調(diào)用關(guān)系。

　　在結(jié)構(gòu)圖中還可以用帶注釋的箭頭表示模塊調(diào)用過程中來回傳遞的信息。還可用帶實心圓的箭頭表示傳遞的是控制信息，空心圓箭心表示傳遞的是數(shù)據(jù)。

　　結(jié)構(gòu)圖的基本形式：基本形式、順序形式、重復(fù)形式、選擇形式。

　　結(jié)構(gòu)圖有四種模塊類型：傳入模塊、傳出模塊、變換模塊和協(xié)調(diào)模塊。

　　典型的數(shù)據(jù)流類型有兩種：變換型和事務(wù)型。

　　變換型系統(tǒng)結(jié)構(gòu)圖由輸入、中心變換、輸出三部分組成。

　　事務(wù)型數(shù)據(jù)流的特點是：接受一項事務(wù)，根據(jù)事務(wù)處理的特點和性質(zhì)，選擇分派一個適當(dāng)?shù)奶幚韱卧�，然后給出結(jié)果。

　　詳細設(shè)計：是為軟件結(jié)構(gòu)圖中的每一個模塊確定實現(xiàn)算法和局部數(shù)據(jù)結(jié)構(gòu)，用某種選定的表達工具表示算法和數(shù)據(jù)結(jié)構(gòu)的細節(jié)。

　　常見的過程設(shè)計工具有：圖形工具(程序流程圖)、表格工具(判定表)、語言工具(PDL)。

　　3.4軟件測試

　　軟件測試定義：使用人工或自動手段來運行或測定某個系統(tǒng)的過程，其目的在于檢驗它是否滿足規(guī)定的需求或是弄清預(yù)期結(jié)果與實際結(jié)果之間的差別。

　　軟件測試的目的：發(fā)現(xiàn)錯誤而執(zhí)行程序的過程。

　　軟件測試方法：靜態(tài)測試和動態(tài)測試。

　　靜態(tài)測試包括代碼檢查、靜態(tài)結(jié)構(gòu)分析、代碼質(zhì)量度量。不實際運行軟件，主要通過人工進行。

　　動態(tài)測試：是基本計算機的測試，主要包括白盒測試方法和黑盒測試方法。

　　白盒測試：在程序內(nèi)部進行，主要用于完成軟件內(nèi)部操作的驗證。主要方法有邏輯覆蓋、基本基路徑測試。

　　黑盒測試：主要診斷功能不對或遺漏、界面錯誤、數(shù)據(jù)結(jié)構(gòu)或外部數(shù)據(jù)庫訪問錯誤、性能錯誤、初始化和終止條件錯，用于軟件確認。主要方法有等價類劃分法、邊界值分析法、錯誤推測法、因果圖等。

　　軟件測試過程一般按4個步驟進行：單元測試、集成測試、驗收測試(確認測試)和系統(tǒng)測試。

　　3.5程序的調(diào)試

　　程序調(diào)試的任務(wù)是診斷和改正程序中的錯誤，主要在開發(fā)階段進行。

　　程序調(diào)試的基本步驟：

　　(1)錯誤定位;

　　(2)修改設(shè)計和代碼，以排除錯誤;

　　(3)進行回歸測試，防止引進新的錯誤。

　　軟件調(diào)試可分表靜態(tài)調(diào)試和動態(tài)調(diào)試。靜態(tài)調(diào)試主要是指通過人的思維來分析源程序代碼和排錯，是主要的設(shè)計手段，而動態(tài)調(diào)試是輔助靜態(tài)調(diào)試。主要調(diào)試方法有：

　　(1)強行排錯法;

　　(2)回溯法;

　　(3)原因排除法。