軟件需求規格說明書的特點：

　　(1)正確性;

　　(2)無歧義性;

　　(3)完整性;

　　(4)可驗證性;

　　(5)一致性;

　　(6)可理解性;

　　(7)可追蹤性。

　　3.3結構化設計方法

　　軟件設計的基本目標是用比較抽象概括的方式確定目標系統如何完成預定的任務，軟件設計是確定系統的物理模型。

　　軟件設計是開發階段最重要的步驟，是將需求準確地轉化為完整的軟件產品或系統的唯一途徑。

　　從技術觀點來看，軟件設計包括軟件結構設計、數據設計、接口設計、過程設計。

　　結構設計：定義軟件系統各主要部件之間的關系。

　　數據設計：將分析時創建的模型轉化為數據結構的定義。

　　接口設計：描述軟件內部、軟件和協作系統之間以及軟件與人之間如何通信。

　　過程設計：把系統結構部件轉換成軟件的過程描述。

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

　　軟件設計的一般過程：軟件設計是一個迭代的過程;先進行高層次的結構設計;后進行低層次的過程設計;穿插進行數據設計和接口設計。

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

　　在程序結構中各模塊的內聚性越強，則耦合性越弱。優秀軟件應高內聚，低耦合。

　　軟件概要設計的基本任務是：

　　(1)設計軟件系統結構;

　　(2)數據結構及數據庫設計;

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

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

　　模塊用一個矩形表示，箭頭表示模塊間的調用關系。

　　在結構圖中還可以用帶注釋的箭頭表示模塊調用過程中來回傳遞的信息。還可用帶實心圓的箭頭表示傳遞的是控制信息，空心圓箭心表示傳遞的是數據。

　　結構圖的基本形式：基本形式、順序形式、重復形式、選擇形式。

　　結構圖有四種模塊類型：傳入模塊、傳出模塊、變換模塊和協調模塊。

　　典型的數據流類型有兩種：變換型和事務型。

　　變換型系統結構圖由輸入、中心變換、輸出三部分組成。

　　事務型數據流的特點是：接受一項事務，根據事務處理的特點和性質，選擇分派一個適當的處理單元，然后給出結果。

　　詳細設計：是為軟件結構圖中的每一個模塊確定實現算法和局部數據結構，用某種選定的表達工具表示算法和數據結構的細節。

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

　　3.4軟件測試

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

　　軟件測試的目的：發現錯誤而執行程序的過程。

　　軟件測試方法：靜態測試和動態測試。

　　靜態測試包括代碼檢查、靜態結構分析、代碼質量度量。不實際運行軟件，主要通過人工進行。

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

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

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

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

　　3.5程序的調試

　　程序調試的任務是診斷和改正程序中的錯誤，主要在開發階段進行。

　　程序調試的基本步驟：

　　(1)錯誤定位;

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

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

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

　　(1)強行排錯法;

　　(2)回溯法;

　　(3)原因排除法。