【正文】 其它文檔 文檔出版工具 DPT 外部工具集成 界面工具 編程工具 調(diào)試工具 ........ Client 其它 廠家 工具 Word Execl Powerpoint ........ Server 工作 站版 青鳥 環(huán)境 OLE或 文件 (開放性 ) JBCASE For Windows功能簡介 結(jié)構(gòu)化分析工具 SAT ?DFD編輯 ?DD編輯及管理 ?一致性檢查 ?需求文檔分析 ?外部工具集成 ?OLE的 Server ?自動生成 MSD等 JBCASE For Windows功能簡介 結(jié)構(gòu)化設(shè)計工具 SDT ?MSD編輯 ?小說明編輯及管理 ?一致性檢查 ?設(shè)計文檔自動生成 ?設(shè)計文檔分析 ?外部工具集成 ?OLE的 Server ?支持詳細(xì)設(shè)計過程等 JBCASE For Windows功能簡介 數(shù)據(jù)庫設(shè)計工具 DDT ?ER圖編輯 ?對象內(nèi)容編輯 ?對象瀏覽 ?需求文檔分析 ?自動布局 ?報告生成及文檔出版 ?生成數(shù)據(jù)庫模式定義 ?外部工具集成 ?OLE的 Serve JBCASE For Windows功能簡介 文檔追蹤工具 DAT/T ?定義追蹤關(guān)系 DFD→MSD MSD→DFD ?顯示追蹤關(guān)系 ?刪除追蹤關(guān)系 JBCASE For Windows功能簡介 文檔出版工具 DPT ?文檔模板管理 ?超文本組織管理 ?OLE連接及嵌入 ?文檔輸出 :某一章節(jié)或整個文檔 第九章 軟件質(zhì)量管理與質(zhì)量保證 167。 軟件質(zhì)量保證 質(zhì)量保證也是一個過程 ，已列入國際標(biāo)準(zhǔn)“ ISO/IEC 12207信息技術(shù)軟件生存期過程”中。 ?IEEE質(zhì)量標(biāo)準(zhǔn)詞典規(guī)定 :39組度量公式 39個度量項分為四級 : 0級 :已公式化 ,尚未被運行有效確認(rèn) 1級 :已為軟件界采用 ,應(yīng)用范圍有限 2級 :已被軟件界接受 ,已取得一定經(jīng)驗 3級 :軟件界已廣泛使用 ,已取得相當(dāng)經(jīng)驗 3級的 8個度量項 (1)缺陷密度 (2)需求可追蹤性 (3)Halstead軟件科學(xué) (4)McCabe復(fù)雜性度量 (5)發(fā)現(xiàn) k個缺陷的平均時間 (6)按耗時作故障分析 (7)平均故障時間 (8)故障率 Halstead的軟件科學(xué)度量 根據(jù)程序中可執(zhí)行代碼行的 操作符 和 操作數(shù) 的 數(shù)量 來計算程序的復(fù)雜性 n1 :程序中出現(xiàn)的不同操作符數(shù)目 n2 :程序中出現(xiàn)的不同操作數(shù)數(shù)目 N1 :程序中操作符出現(xiàn)的總數(shù) N2 :程序中操作數(shù)出現(xiàn)的總數(shù) McCabe復(fù)雜性度量舉例 SORT源程序 SUBROTINE SORT(X,N) DIMENSION X(N) IF (N .LT. Z)RETUREN DO 20 1=2,N DO 10 J=1,I IF (X(I).(J)) GOTO 10 SAVE=X(I) X(I)=X(J) X(J)=SAVE 10 CONTINUE 20 CONTINUE RETURN END SORT源程序操作符 操作符 數(shù) 7 6 3. = 5 4. IF () 2 5. DO 2 6. , 2 1 8. .LT. 1 9. .GE. 1 n1=10. GOTO 10 1 N1=28 McCabe復(fù)雜性度量舉例 SORT源程序 SUBROTINE SORT(X,N) DIMENSION X(N) IF (N .LT. Z)RETUREN DO 20 1=2,N DO 10 J=1,I IF (X(I).(J)) GOTO 10 SAVE=X(I) X(I)=X(J) X(J)=SAVE 10 CONTINUE 20 CONTINUE RETURN END SORT源程序操作數(shù) 操作數(shù) 數(shù) 1. X 6 2. I 5 3. J 4 4. N 2 5. 2 1 6. SAVE 2 n2=7. 1 2 N2=22 Halstead使用原始度量定義的算式 (1)程序長度 N= n1log2 n1+ n2log2 n2 (2)程序容量 V= Nlog2 (n1+ n2) (3)語言級別 L= (2 n2)/(n1 n2) (4)程序工作量 E= V / L (5)程序編寫時間 T= E / S S:Stroud數(shù) (6)程序潛在錯誤的數(shù)量 B= Nlog2 (n1+ n2) / 3000 Halstead認(rèn)為程序中可能存在的錯誤 與程序容量成正比 例 :一程序?qū)?75個數(shù)據(jù)庫項共訪問 1300 次 ,對 150個操作符使用 1200次 ,潛在錯 誤數(shù)為 : B= (1300+1200)log2 (75+150) / 3000 = (即 6～ 7個錯誤 ) Halstead軟件科學(xué)是目前一種最好的 軟件度量方法 不足和問題 : (1)未忽略模塊特性 (2)忽略了非執(zhí)行語句 (3)代碼和數(shù)據(jù)的二義性 (4)未考慮數(shù)據(jù)類型的差異 (5)未注意調(diào)用深度 (6)未區(qū)別不同類型的運算符 McCabe復(fù)雜性度量 (環(huán)路度量 ) McCabe認(rèn)為程序復(fù)雜性很大程度取決 于程序 控制流的復(fù)雜性 ,以 程序圖的環(huán) 路數(shù) 作為該程序復(fù)雜性 . 的度量值 對于具有強連通圖的環(huán)路數(shù) : V(G)=en+2 e:邊數(shù) n:結(jié)點數(shù) McCabe復(fù)雜性度量示例 a c b e f d 1 2 3 7 6 8 4 5 9 R1 R2 R3 R4 R5 V(G)=96+2 =5 V(G)其它計算方法 : (1)計算圖中所有有界區(qū)域和無界區(qū)域數(shù) R 圖中共有 5個區(qū)域 (R1到 R5),所以 V(G)=5 (2)用判定語句總數(shù) +1 (判定個數(shù) =分支 數(shù) 1) 圖中可按 4個判定計算 ,V(G)=4+1=5 技術(shù)評審 軟件評審是一個 “ 過濾器 ” ， 用于 “ 凈化 ” 軟件工程各項活動 167。 軟件可靠性的主要指標(biāo) 借用硬件可靠性的定量度量方法來度量軟件的可靠性： MTBF:平均故障間隔時間 MTTF:平均故障時間 t1， t2, ....., tn:失效時間 MTTF＝ n i=1 n 1 ∑ t i 軟件可靠性定義的要素 (1)環(huán)境條件 規(guī)定軟件的使用環(huán)境 (輸入數(shù)據(jù)要求和環(huán)境 ) (2)規(guī)定時間 時間 t是隨機變量。 軟件容錯技術(shù) 提高軟件質(zhì)量和可靠性的技術(shù) : ?避開錯誤技術(shù) ?容錯技術(shù)：對無法避開的差錯，使其 影響減至最小的技術(shù)。 誤差校正碼 ：奇偶碼 定重碼 循環(huán)碼 …… (冗余碼 ) 冗余技術(shù)分類： 以重復(fù)執(zhí)行指令（指令復(fù)執(zhí)）或程序（程序復(fù)算）來消除瞬時錯誤帶來