軟件項目管理2ppt課件(已改無錯字)
2023-01-29 12:26:42 本頁面
【正文】 。評審員仔細閱讀文檔。列出在審查中發(fā)現的錯誤的類型，頻率，分級。 （ 3） 審查。評審組仔細走查整個文檔。審查組組長應該在一天之內寫出一份關于審查的報告。 （ 4） 返工。文檔的作者負責解決在審查報告中列出的所有錯誤及問題。 （ 5） 跟蹤。組長必須確保所提出的每個問題都得到了圓滿的解決。 4. 程序正確性證明 即使有程序正確性證明，軟件測試也仍然是需要的：正確性證明過程本身也可能發(fā)生錯誤。 程序正確性證明，對于評價小程序有價值。 還不能實際用于大型程序的正確性證明。 正確性證明的基本思想是證明程序能完成預定的功能。 假設在程序的 P1,P2,… ， Pn等點上的斷言分別是a(1),a(2)， … ， a(n)，其中 a(1)必須是關于程序輸入的斷言， a(n)必須是關于程序輸出的斷言。 為了證明在點 Pi和 Pi+1之間的程序語句是正確的，只須證明若斷言 a(i)為真且執(zhí)行這些語句之后將使a(i+1)為真。 如果對所有數據輸入斷言為真時，能對程序內所有相鄰點都能完成上述證明過程，而且程序總可以終止的，則證明了程序的正確性。 變化是不可避免的 , 必須控制和管理變化。 軟件配置管理 : 用于管理變化的軟件質量保證活動。 軟件配置管理在整個生命期內管理變化： ① 標識變化； ② 控制變化； ③ 確保適當地實現了變化； ④ 向需要知道這類信息的人報告變化。 軟件配置管理的目標：使變化更正確更容易被實現。 保證每個軟件配置項正確， 保證一個軟件的所有配置項是完全一致的。 軟件配置管理 1. 軟件配置項 軟件過程的輸出信息可以分為 3類： ① 計算機程序（源代碼和可執(zhí)行程序）； ② 計算機程序的文檔（供技術人員或用戶使用）； ③ 數據（程序內包含的或在程序外的）。 我們把它們統稱為軟件配置，而這些項就是軟件配置項（ ITEM=元素）。 軟件配置 2. 基線 (Baseline, 里程碑 ) IEEE把基線定義為： 已經通過了正式復審的規(guī)格說明或中間產品，它可以作為進一步開發(fā)的基礎，并且只有通過正式的變化控制過程才能改變它。 軟件工具也應置于配置管理之下：編輯器、編譯器和其他 CASE工具。 不同版本的工具產生的結果不同。 軟件配置管理主要有 5項任務： 標識、版本控制、變化控制、配置審計和報告。 1. 標識軟件配置中的對象 命名每個配置項。兩類對象： 基本和聚集對象。 基本對象是軟件工程師在分析、設計、編碼或測試過程中創(chuàng)建出來的 “ 文本單元 ” 。 聚集對象是基本對象和其他聚集對象的集合。 每個對象都有一組能惟一地標識它的特征： 名字、描述、版本。 軟件配置管理過程 2. 版本控制 版本控制管理軟件配置對象的不同版本。 用戶能夠通過選擇版本來指定軟件的配置。 屬性和軟件的每個版本相關聯。 描述一組所期望的屬性來指定和構造所需要的配置。 “ 屬性 ” ，既可以是配置對象的版本號，也可以復雜到是一個布爾變量串。 3. 變化控制 變化控制過程在維護一章講過。 批準的變化生成一個 “ 工程變化命令 ” 描述將要實現的變化。 把要修改的對象從項目數據庫中 “ 提?。?check out） ” 出來，進行修改。 把修改后的對象 “ 提交（ check in） ” 進數據庫，并創(chuàng)建該軟件的下一個版本。 變化控制的兩個主要功能 : 1) 訪問控制決定軟件工程師有權訪問和修改一個特定的配置對象 2) 同步控制有助于保證由兩名不同的軟件工程師完成的并行修改不會相互覆蓋。 4. 配置審計 兩方面采取措施確保適當地實現了所需要的變化： ① 正式的技術復審； ② 軟件配置審計。 正式的技術復審（見 ）關注被修改后的配置對象的技術正確性。 軟件配置審計通過評估配置對象的那些通常不在復審過程中考慮的特征（例如，修改時是否遵循了軟件工程標準，是否在該配置項中顯著地標明了所做的修改，是否注明了修改日期和修改者，是否適當地更新了所有相關的軟件配置項， 是否遵循了標注變化、記錄變化和報告變化的規(guī)程 ），而成為對正式技術復審的補充。 5. 狀態(tài)報告 配置狀態(tài)報告回答下述問題： ① 發(fā)生了什么事？ ② 誰做的這件事？ ③ 這件事是什么時候發(fā)生的？ ④它將影響哪些其他事物？ 配置狀態(tài)改善所有相關人員之間的通信，消除沖突， 避免重復，提高效率。 美國卡內基梅隆大學軟件工程研究所在美國國防部資助下于 20世紀 80年代末建立的能力成熟度模型（ capability maturity model， CMM)，是用于評價軟件機構的軟件過程能力成熟度的模型。最初，建立此模型的目的主要是，為大型軟件項目的招投標活動提供一種全面而客觀的評審依據，發(fā)展到后來，此模型又同時被應用于許多軟件機構內部的過程改進活動中。 能力成熟度模型 改進對軟件過程的管理是消除軟件危機的突破口，比采用先進的技術和工具更重要。 能力成熟度模型的基本思想： 通過建立成熟的優(yōu)化的軟件過程，提高軟件的生產率和質量。而技術的改進是軟件過程改進的結果。 CMM的作用：指導軟件機構通過確定當前的過程成熟度并識別出對過程改進起關鍵作用的問題，進而穩(wěn)步而有效地改進其軟件過程，提高成熟度，使其軟件過程能力得到循序漸進的提高。 CMM把軟件過程從無序到優(yōu)化的進化過程分成 5個有序的階段，用以測量軟件機構的軟件過程成熟度和評價其軟件過程能力，這些等級還能幫助軟件機構把應做的改進工作排出優(yōu)先次序。 CMM對 5個成熟度級別特性的描述，說明了不同級別之間軟件過程的主要變化。 從 “ 1級 ” 到 “ 5級 ” ，反映出從混亂到成熟的軟件過程必須經歷的過程改進途徑。
教學課件相關推薦
鄂ICP備17016276號-1