軟件可靠性及其測度(已修改)
2025-05-28 20:20 本頁面
【正文】 y k y _ w e n f e n g @ 1 6 3 . c o m第四章 軟件可靠性及其測度 楊秋偉 湖南大學(xué) 計算機(jī)與通信學(xué)院 y k y _ w e n f e n g @ 1 6 3 . c o m 軟件可靠性的意義 ? 軟件可靠性 ? 一個軟件系統(tǒng)在給定的時間段內(nèi)能正常工作，并完成其 (在規(guī)格說明中規(guī)定的 )所有功能而不發(fā)生故障 (錯誤 )的概率 ? 典型的案例 ? 一元二次方程的根與系數(shù)的關(guān)系問題 ? Y2K問題 ? 全美 7Eleven便利店花了 880萬美元改造， 2021年 1月 1日拒絕接受信用卡 ? 2021年 12月 31日，挪威 16列空港特快列車和 13列高速列車停止工作，直至德國制造商 30天后才恢復(fù) y k y _ w e n f e n g @ 1 6 3 . c o m 軟件開發(fā)的生命周期 ? 軟件的生命周期 ? 啟動和結(jié)束階段 ? 需求條件和規(guī)格說明 ? 建立原型樣本 ? 設(shè)計 ? 編程 ? 測試 y k y _ w e n f e n g @ 1 6 3 . c o m 軟件開發(fā)的生命周期 ? 啟動和結(jié)束階段 ? 業(yè)務(wù)擴(kuò)展 /技術(shù)改進(jìn) /提高競爭力是新項目啟動、舊軟件結(jié)束的原因 ? 需求條件和規(guī)格說明 ? 需求條件 ? 對整個系統(tǒng)中硬件和軟件兩者所需要的條件有明確的描述 ? 例如當(dāng)前和將來的系統(tǒng)接口、硬件類型、使用環(huán)境的說明 ? 規(guī)格說明 ? 硬件規(guī)格 (設(shè)備級 ) + 軟件規(guī)格 (算法級 ) ? 規(guī)格說明語言 (Z語言等 ) y k y _ w e n f e n g @ 1 6 3 . c o m 軟件開發(fā)的生命周期 ? 建立原型樣本 ? 理由 ? 可以通過樣本實(shí)現(xiàn)來體現(xiàn)他們的原始設(shè)計思想 ? 設(shè)計中遇到的難點(diǎn)在樣本中可以立即發(fā)現(xiàn) ? 樣本中發(fā)現(xiàn)的缺陷可以返回項目用戶以檢查原始的需求條件等文件中存在的不足和錯誤 ? 原型樣本的基本構(gòu)成 —— 模塊 ? 描述一個具有明確定義的基本函數(shù)功能或過程的程序塊 ? 一個模塊的最佳長度 50 ~ 200行 ? 模塊重用 —— 嚴(yán)格測試 (前期修改成本遠(yuǎn)遠(yuǎn)低于后期修改成本 ) y k y _ w e n f e n g @ 1 6 3 . c o m 軟件開發(fā)的生命周期 ? 設(shè)計 ? 在原型樣本的基礎(chǔ)上進(jìn)行最后階段的設(shè)計工作 ? 結(jié)構(gòu)式程序設(shè)計方法 ? 自頂向下 (topdown) ? 動機(jī) —— 設(shè)計之初信息量很少 ? 從系統(tǒng)整體功能出發(fā)向進(jìn)行分解 ? 自底向上 (bottomup) y k y _ w e n f e n g @ 1 6 3 .
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1