軟件可靠性與安全性轉(zhuǎn)訓(xùn)材料(存儲(chǔ)版)
【正文】 效 廠內(nèi)失效 通用質(zhì)量 知識(shí)庫(kù) 知識(shí)管理 15 3 防錯(cuò)性設(shè)計(jì) ? 簡(jiǎn)化設(shè)計(jì) ? 算法不數(shù)據(jù)管理 ? 慎用易錯(cuò)架構(gòu) ? 使用監(jiān)錯(cuò)技術(shù) ? 多任務(wù)管理 16 4 防錯(cuò)性 設(shè)計(jì) 簡(jiǎn)化設(shè)計(jì) ? 復(fù)雜性是可靠性最兇惡的對(duì)手 ? 復(fù)雜的軟件 代碼規(guī)模更大、缺陷更多 交互關(guān)系更多、缺陷更多 更難測(cè)試、不充分的可能性更大 設(shè)計(jì)、實(shí)現(xiàn)、配置、使用的難度更大 用戶更難理解 ? 結(jié)構(gòu)復(fù)雜性 接口復(fù)雜度 調(diào)用關(guān)系復(fù)雜度 ? 單元復(fù)雜性 規(guī)模 圈復(fù)雜度 基本圈復(fù)雜度 17 4 復(fù)雜度 ? 圈復(fù)雜用于衡量一個(gè)軟件單元的復(fù)雜程度 , 數(shù)量上表現(xiàn)為獨(dú)立路徂的條數(shù) V(G)=e – n + 2 1 3 2 4 5 6 7 8 9 10 復(fù)雜性的影響 圈復(fù)雜度與可靠性風(fēng)險(xiǎn)的關(guān)系 圈復(fù)雜度 可靠性風(fēng)險(xiǎn) 1~10 簡(jiǎn)單過(guò)程 ， 較少風(fēng)險(xiǎn) 11~20 比較復(fù)雜 ， 中等風(fēng)險(xiǎn) 21~50 復(fù)雜 ， 高風(fēng)險(xiǎn) 50 不可測(cè)試 ， 極高風(fēng)險(xiǎn) 18 4 防錯(cuò)性 設(shè)計(jì) 算法選擇 ? 對(duì)規(guī)定時(shí)間內(nèi)要完成規(guī)定任務(wù)的軟件 , 應(yīng)采用在規(guī)定時(shí)間內(nèi)能得出結(jié)果的算法 ? 例如 , 丌采用叧有“計(jì)算迭代到 |Δ |?ε 為止”的算法 , 而采用迭代到一定次數(shù)為止 , 或者迭代到 |Δ |?ε 為止或迭代到一定次數(shù)為止的算法 ? 算法所使用的存儲(chǔ)空間應(yīng)具有完全確定性 ? 例如 , 盡量丌采用勱態(tài)堆空間 19 4 防錯(cuò)性 設(shè)計(jì) 數(shù)據(jù)管理 ? 參數(shù)化 ? 在軟件設(shè)計(jì)中 , 用統(tǒng)一的符號(hào)來(lái)表示參數(shù)、常量和標(biāo)志 , 以便在丌改變?cè)闯绦蝈逸嫷那閮晗?, 對(duì)它們進(jìn)行修改 ? 尋址模式的 選用 ? 盡量丌使用間接尋址方式 ? 在確實(shí)有必要采用間接尋址方式時(shí) , 慎重考慮和充分論證 , 并在執(zhí)行之前驗(yàn)證地址是否在可接受的范圍內(nèi) ? 文件 ? 文件必須唯一丏用于單一目的 ? 文件在使用前必須成功地打開(kāi) , 在使用結(jié)束必須成功地關(guān)閉 ? 文件的屬性應(yīng)不對(duì)它的使用相一致 20 4 防錯(cuò)性 設(shè)計(jì) 慎用易錯(cuò)架構(gòu) ? 使用語(yǔ)言的安全子集進(jìn)行實(shí)現(xiàn) ? 典型易錯(cuò)架構(gòu) 浮點(diǎn)數(shù) 指針 遞歸 中斷 繼承 別名 無(wú)界數(shù)組 動(dòng)態(tài)內(nèi)存分配 全局變量 公用數(shù)據(jù)和公共變量 不檢查輸入?yún)?shù)長(zhǎng)度的庫(kù)函數(shù) 21 4 防錯(cuò)性 設(shè)計(jì) 慎用易錯(cuò)架構(gòu) ? 浮點(diǎn)數(shù) ? 兇天丌精確 , 有可能導(dǎo)致無(wú)效的比較 ? 挃針
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1