第十二講軟件項目質(zhì)量管理(存儲版)
【正文】 29 27 形式化方法 ? 數(shù)學方法采用的是對每一個過程定義前提條件和后置條件。該方法可以： ? 很容易地發(fā)現(xiàn)表面錯誤 ? 激勵編程人員編寫出結構更好，更清晰地代碼，因為他知道否則別的人將會批評他 ? 提高團隊精神 上海交通大學計算機系 2020/11/29 25 提高軟件質(zhì)量的途徑 ? IBM建立了一套更為正式和結構化的檢查過程，稱為 Fangan檢查 ? 對所有主要的交付物都進行檢查 ? 所有的錯誤都需加以注意，而不僅是邏輯的和功能的錯誤 ? 檢查可以由在所有層次的人員（除了最上層的人員外）進行檢查 ? 檢查采用預定義的步驟進行 ? 檢查會議不超過兩小時 ? 檢查由一個經(jīng)過訓練的 “ moderator”來領導 ? 其它參與者也有定義的角色，例如一個人員擔任記錄員，另一擔任閱讀者等 ? 采用 Checklist來幫助檢查過程的實施 ? 檢查材料時采用 100行一小時的速度 ? 采用統(tǒng)計方法來對檢查過程的有效性進行監(jiān)控 上海交通大學計算機系 2020/11/29 26 結構化編程和凈室軟件開發(fā) ? 在二十世紀 60年代，軟件變得越來越復雜而人記憶細節(jié)的能力是有限的。 ? Exit Requirements:在一個活動結束前必須滿足的條件。 ? 某公司開發(fā)一個包含 5000SLOC的系統(tǒng)花費了 400個人日。 ? 推薦方法：首先根據(jù)產(chǎn)品的特定確定必須的特性，如果產(chǎn)品在這些特性方面沒有滿足，則不能采用，對于那些不是最為關鍵的特性可以采用下表的方法進行綜合計算： 上海交通大學計算機系 2020/11/29 19 軟件質(zhì)量度量方法 ? 本節(jié)所講的是某些質(zhì)量特性的建議的度量方法，對于具體的產(chǎn)品，質(zhì)量特性的度量各有不同。 上海交通大學計算機系 2020/11/29 13 ISO9126 ? ISO9126規(guī)定軟件質(zhì)量可以從 6個特性來評價： ? Functionality:與一組功能及其指定的性質(zhì)有關的一組屬性 ? Reliability:在規(guī)定的時間和條件下，軟件維持其性能水平的能力有關的一組屬性 ? Usability:與一組規(guī)定或潛在用戶為使用軟件所需作的努力和對這樣的使用所作的評價有關的一組屬性 ? Efficiency:在規(guī)定的條件下，軟件性能水平與所用的資源量之間關系相關的一組屬性 ? Maintainability:與進行指定的修改所需的努力有關的一組屬性 ? Portability:與軟件可從某一環(huán)境轉移到另一環(huán)境的能力有關的一組屬性 上海交通大學計算機系 2020/11/29 14 ISO9126 ? ISO9126對每一特性規(guī)定了子特性 ? 功能特性： ? Compliance(依從性 )指的是軟件符合應用標準或法律的程度。 上海交通大學計算機系 2020/11/29 9 質(zhì)量度量 ? 為了度量，需要對每一質(zhì)量規(guī)定：
教學課件相關推薦
鄂ICP備17016276號-1