【正文】 開發(fā)的基礎(chǔ)，并且只有通過正式的變化控制過程才能改變它。 軟件配置管理 1. 軟件配置項 軟件過程的輸出信息可以分為 3類： ① 計算機程序（源代碼和可執(zhí)行程序）； ② 計算機程序的文檔（供技術(shù)人員或用戶使用）； ③ 數(shù)據(jù)（程序內(nèi)包含的或在程序外的）。 軟件配置管理的目標：使變化更正確更容易被實現(xiàn)。 軟件配置管理 : 用于管理變化的軟件質(zhì)量保證活動。 如果對所有數(shù)據(jù)輸入斷言為真時，能對程序內(nèi)所有相鄰點都能完成上述證明過程，而且程序總可以終止的，則證明了程序的正確性。 假設(shè)在程序的 P1,P2,… ， Pn等點上的斷言分別是a(1),a(2)， … ， a(n)，其中 a(1)必須是關(guān)于程序輸入的斷言， a(n)必須是關(guān)于程序輸出的斷言。 還不能實際用于大型程序的正確性證明。 4. 程序正確性證明 即使有程序正確性證明，軟件測試也仍然是需要的：正確性證明過程本身也可能發(fā)生錯誤。 （ 5） 跟蹤。 （ 4） 返工。評審組仔細走查整個文檔。列出在審查中發(fā)現(xiàn)的錯誤的類型，頻率，分級。 （ 2） 準備。編寫文檔的一名成員向?qū)彶榻M綜述該文檔。走查組成員針對事先準備好的問題或解釋過程中發(fā)現(xiàn)的問題提出質(zhì)疑。 （ 2） 文檔驅(qū)動法。參與者提出他們不理解的術(shù)語和認為不正確的術(shù)語。 走查組的任務(wù)僅僅是標記出錯誤而不是改正錯誤。 必須把被走查的材料預(yù)先分發(fā)給走查組每位成員。 2. 走查 成員組成 (走查規(guī)格說明的小組為例 ): 一名負責(zé)起草規(guī)格說明的人， 一名負責(zé)該規(guī)格說明的管理員， 一位客戶代表， 一名下階段開發(fā)組代表 一名 SQA小組代表 (組長 )。 正式技術(shù)復(fù)審包括走查（ walkthrough)和審查（ inspection）。 軟件質(zhì)量保證措施 1. 技術(shù)復(fù)審的必要性 較早發(fā)現(xiàn)錯誤，防止被傳播到軟件過程的后續(xù)階段。其從事的軟件質(zhì)量保證活動主要是： 計劃，監(jiān)督，記錄，分析和報告。 兩類參加軟件質(zhì)量保證工作的人員： 軟件工程師通過采用先進的技術(shù)方法和度量，進行正式的技術(shù)復(fù)審以及完成軟件測試來保證軟件質(zhì)量。 （ 3）不遵守一組指導(dǎo)軟件開發(fā)的準則，會導(dǎo)致軟件質(zhì)量不高。 圖 大型項目的技術(shù)管理組織結(jié)構(gòu) 軟件質(zhì)量就是 “ 軟件與明確地和隱含地定義的需求相一致的程度 ”： （ 1）軟件需求是度量軟件質(zhì)量的基礎(chǔ)。 由圖可以看出，產(chǎn)品開發(fā)作為一個整體是在項目經(jīng)理的指導(dǎo)下進行的，程序員向他們的組長匯報工作，而組長則向項目經(jīng)理匯報工作。 現(xiàn)代程序員組 當(dāng)軟件項目規(guī)模較大時，應(yīng)該把程序員分成若干個小組，采用圖 。 編程秘書也很難找到。 問題： 主程序員具備兩方面的才能，這樣的人才不多。主程序員全面負責(zé)。成員完成受過專業(yè)訓(xùn)練的工作。 用經(jīng)驗多、技術(shù)好、能力強的程序員作為主程序員，同時，組內(nèi)分工，給主程序員提供充分支持，所有通信都通過一兩個人進行。 缺點： 由于沒有明確的權(quán)威指導(dǎo)開發(fā)工程的進行 ,組員間將缺乏必要的協(xié)調(diào) ,最終可能導(dǎo)致工程失敗。 程序設(shè)計小組的規(guī)模應(yīng)該以 2～ 8名成員為宜。 3種典型的組織方式 : 民主制程序員組、主程序員組和現(xiàn)代程序員組。 ? 使用前導(dǎo)圖來確定關(guān)鍵路徑。 幫助編制計劃和組織工作。 識別關(guān)鍵路徑，項目歷程和活動排序。 沒有表示活動間的邏輯關(guān)系。 甘特圖 甘特圖與網(wǎng)絡(luò)圖的比較 ? 甘特圖 在進度報告中很有效 在作管理陳述時易于讀懂和使用。下部表示計劃歷史（基準計劃歷史）；上部表示實際歷史。 下圖是用 PROJECT制作的甲項目的最簡單的一個甘特圖 早期的甘特圖的最大缺點是通常不反映依賴關(guān)系， 但是如果在 Project上建立了依賴關(guān)系，這種依賴關(guān)系會自動顯示在甘特圖上。 工期包括一項活動所消耗的實際工作時間 加上間歇時間。 項目網(wǎng)絡(luò)圖有兩種表示形式： （ 1）前導(dǎo)圖法 （ PDM： Precedence Diagramming Method） （ 2）箭線圖法 （ ADM： Arrow Diagramming Method） 項目網(wǎng)絡(luò)圖 甲項目例 甲項目中包含的活動清單、各個活動的歷時以及活動間的依賴關(guān)系如下： 各活動的依賴關(guān)系： ? A、 B、 C可以同時開始； ? D必須在 A完成后開始； ? E、 F必須在 B完成后開始； ? G必須在 C完成后開始； ? H必須在 D、 E完成后開始； ? I必須在 G完成后開始； ? J必須在 F、 H、 I完成后開 始。 （ 3）在進行工期估計時，表明項目將需要多長時間。 項目網(wǎng)絡(luò)圖是活動排序的輸出，它有以下作用： （ 1）能表示項目活動，并表示活動之間的依賴關(guān)系。 Boehm根據(jù)經(jīng)驗指出，軟件項目的開發(fā)時間最多可以減少到正常開發(fā)時間的 75%。 一個組員不與任何人通信時個人生產(chǎn)率為 L， 每條通信路徑導(dǎo)致生產(chǎn)率減少 l， 組員個人平均生產(chǎn)率為 : Lr=Ll(P1)r () 其中， r是對通信路徑數(shù)的度量， 0r≤1 規(guī)模為 P的項目組的總生產(chǎn)率為 Ltot=P(Ll(P1)r) () 對于給定的 L， l和 r的值，總生產(chǎn)率 Ltot是 P的函數(shù)。 項目組規(guī)模與項目組總生產(chǎn)率的關(guān)系。 新成員要額外花費小組其他成員的時間。 估算開發(fā)時間 為了縮短開發(fā)時間應(yīng)該增加開發(fā)工作的人數(shù)。 制定一個詳細的進度表，監(jiān)督項目進度并控制整個項目。 （ 4） 項目組凝聚力 : 開發(fā)人員相互協(xié)作度。 （ 2） 開發(fā)靈活性 : 約束多少。 COCOMO2