定 價(jià):45 元
叢書(shū)名:飛行器質(zhì)量與可靠性專(zhuān)業(yè)系列教材
- 作者:陸民燕 編
- 出版時(shí)間:2020/9/1
- ISBN:9787512433465
- 出 版 社:北京航空航天大學(xué)出版社
- 中圖法分類(lèi):TP311.5
- 頁(yè)碼:216
- 紙張:膠版紙
- 版次:1
- 開(kāi)本:16開(kāi)
《軟件質(zhì)量與可靠性保證技術(shù)》采用以軟件的正確性和可靠性為中心的質(zhì)量觀點(diǎn),關(guān)注與缺陷作斗爭(zhēng)的技術(shù)和方法,包含了軟件工程中與缺陷預(yù)防、缺陷檢測(cè)相關(guān)的技術(shù),如靜態(tài)測(cè)試技術(shù)、動(dòng)態(tài)測(cè)試技術(shù)、配置管理技術(shù)等,同時(shí)突出加強(qiáng)了軟件可靠性工程相關(guān)技術(shù),如可靠性分析技術(shù)FMEA、FTA、軟件可靠性測(cè)試技術(shù)、度量技術(shù)等,體現(xiàn)了以軟件工程為基礎(chǔ),加強(qiáng)軟件可靠性工程技術(shù)的軟件可靠性保證理念。
《軟件質(zhì)量與可靠性保證技術(shù)》是質(zhì)量、可靠性專(zhuān)業(yè)、計(jì)算機(jī)軟件專(zhuān)業(yè)的本科生教材,也可供相關(guān)專(zhuān)業(yè)自學(xué)或從業(yè)人員查閱使用。
隨著計(jì)算機(jī)系統(tǒng)越來(lái)越廣泛地應(yīng)用于日常工作和生活的各個(gè)方面,個(gè)人、組織和社會(huì)對(duì)于組成計(jì)算機(jī)系統(tǒng)的核心部分——計(jì)算機(jī)軟件的依賴(lài)無(wú)所不在。人們除了要求計(jì)算機(jī)系統(tǒng)提供更加快速、強(qiáng)大的功能外,還要求其具有正確、易用、不易出錯(cuò)、出錯(cuò)后可快速恢復(fù)、安全等多種質(zhì)量特性。計(jì)算機(jī)軟件不正確、不可靠、不安全會(huì)帶來(lái)許多不利,甚至引發(fā)災(zāi)難性的后果,因此軟件工程師、軟件質(zhì)量保證人員、可靠性工程師對(duì)此要特別予以重視。
本書(shū)的特點(diǎn)是采用以軟件正確性和可靠性為中心的質(zhì)量觀點(diǎn),關(guān)注與缺陷作斗爭(zhēng)的技術(shù)和方法。事實(shí)上,與缺陷作斗爭(zhēng)也是大多數(shù)軟件開(kāi)發(fā)組織質(zhì)量保證的中心工作。因此,本書(shū)融合了軟件工程中與缺陷預(yù)防、缺陷檢測(cè)相關(guān)的技術(shù),如靜態(tài)測(cè)試技術(shù)、動(dòng)態(tài)測(cè)試技術(shù)、配置管理技術(shù)等;同時(shí)突出加強(qiáng)了軟件可靠性工程相關(guān)技術(shù),如可靠性分析技術(shù)FMEA、FTA、軟件可靠性測(cè)試技術(shù)、度量技術(shù)等,體現(xiàn)了以軟件工程為基礎(chǔ)、加強(qiáng)軟件可靠性工程技術(shù)的軟件可靠性保證理念。突出加強(qiáng)的軟件可靠性工程技術(shù)也是編者所在研究團(tuán)隊(duì)多年來(lái)的研究和應(yīng)用成果的總結(jié)。
本書(shū)可作為質(zhì)量與可靠性專(zhuān)業(yè)、計(jì)算機(jī)軟件專(zhuān)業(yè)的本科生的教材,也可供自學(xué)或從業(yè)人員查閱使用。
本書(shū)的教學(xué)目標(biāo)是:為軟件工程師、軟件質(zhì)量保證人員、可靠性工程師提供在軟件開(kāi)發(fā)過(guò)程的各個(gè)階段以預(yù)防、減少和遏制缺陷為目的的技術(shù)和方法。為此,本書(shū)分為四部分內(nèi)容:
第一部分:缺陷預(yù)防技術(shù)。缺陷預(yù)防目的是減少缺陷注入的機(jī)會(huì),從而減少檢測(cè)和排除注入缺陷的費(fèi)用。
第二部分:缺陷檢測(cè)技術(shù)。對(duì)于絕大多數(shù)當(dāng)前使用的軟件來(lái)說(shuō),期望通過(guò)前面所述的缺陷預(yù)防活動(dòng)就能百分之百地預(yù)防偶然故障的引入是不現(xiàn)實(shí)的。因此,必須采用有效的技術(shù)在項(xiàng)目資源限定范圍內(nèi)盡可能多地發(fā)現(xiàn)并消除引入的故障。
第三部分:缺陷遏制技術(shù)。采用缺陷檢測(cè)和排除技術(shù)只能將軟件故障數(shù)降低到相當(dāng)?shù)偷某潭龋荒茏龅酵耆氲能浖收。因此,需要增加額外的保證措施阻斷故障和失效之間的因果關(guān)系。
第四部分:缺陷度量技術(shù)。從缺陷的角度對(duì)軟件的產(chǎn)品和過(guò)程進(jìn)行質(zhì)量度量來(lái)實(shí)現(xiàn)對(duì)質(zhì)量的評(píng)價(jià),為產(chǎn)品和過(guò)程的質(zhì)量改進(jìn)提供決策依據(jù)。
第1章 引言
1.1 有關(guān)軟件質(zhì)量與可靠性保證的常見(jiàn)問(wèn)題
1.1.1 軟件質(zhì)量及其相關(guān)概念
1.1.2 有關(guān)軟件可靠性及軟件可靠性工程
1.1.3 軟件質(zhì)量、可靠性與軟件工程、軟件質(zhì)量工程及軟件可靠性工程
1.2 軟件質(zhì)量與可靠性保證技術(shù)
1.2.1 以正確性和可靠性為中心的軟件質(zhì)量觀點(diǎn)
1.2.2 軟件正確性、可靠性和缺陷
1.2.3 以正確性、可靠性為中心的軟件質(zhì)量與可靠性保證技術(shù)
本章要點(diǎn)
本章習(xí)題
本章參考資料
第一部分 缺陷預(yù)防技術(shù)
第2章 軟件配置管理技術(shù)
2.1 軟件配置管理要義
2.2 基本概念介紹
2.2.1 軟件配置管理
2.2.2 軟件配置項(xiàng)
2.2.3 版本及版本樹(shù)
2.2.4 基線
2.2.5 軟件配置
2.3 軟件配置控制
2.3.1 訪問(wèn)控制和同步控制
2.3.2 分支與合并控制
2.3.3 高級(jí)別的變更控制
2.4 相關(guān)補(bǔ)充說(shuō)明
2.5 配置管理標(biāo)準(zhǔn)與工具
本章要點(diǎn)
本章習(xí)題
本章參考資料
第3章 軟件避錯(cuò)設(shè)計(jì)技術(shù)
3.1 軟件避錯(cuò)設(shè)計(jì)原理
3.1.1 簡(jiǎn)單原理
3.1.2 同型原理
3.1.3 對(duì)稱(chēng)原理
3.1.4 層次原理
3.1.5 線型原理
3.1.6 易證原理
3.1.7 安全原理
3.2 軟件需求分析階段的避錯(cuò)分析準(zhǔn)則
3.2.1 一般準(zhǔn)則
3.2.2 功能需求分析準(zhǔn)則
3.2.3 非功能需求分析準(zhǔn)則
3.3 軟件設(shè)計(jì)階段的避錯(cuò)設(shè)計(jì)準(zhǔn)則
3.3.1 程序結(jié)構(gòu)設(shè)計(jì)
3.3.2 軟件簡(jiǎn)化設(shè)計(jì)
3.3.3 軟件健壯性設(shè)計(jì)
3.3.4 軟件冗余設(shè)計(jì)
3.4 軟件編碼階段的避錯(cuò)編碼準(zhǔn)則
3.4.1 程序設(shè)計(jì)語(yǔ)言選擇
3.4.2 程序設(shè)計(jì)風(fēng)格
3.4.3 C語(yǔ)言程序設(shè)計(jì)避錯(cuò)準(zhǔn)則
本章要點(diǎn)
本章習(xí)題
本章參考資料
……
第二部分 缺陷檢測(cè)技術(shù)
第三部分 缺陷遏制技術(shù)
第四部分 缺陷度量技術(shù)