當(dāng)前，人類步入了信息時(shí)代，從交通、能源、電信到金融、教育、軍事……等等大多數(shù)行業(yè)都需要計(jì)算機(jī)的輔助。軟件是計(jì)算機(jī)系統(tǒng)的靈魂，是許多復(fù)雜系統(tǒng)的神經(jīng)中樞，而質(zhì)量則是軟件的命脈。軟件失效造成系統(tǒng)癱瘓、人員傷亡以及重大經(jīng)濟(jì)損失。

   本文源自21ic電子技術(shù)論壇 僅供學(xué)習(xí)交流，知識(shí)產(chǎn)權(quán)歸原作者所有，侵刪。

一、建立以可靠性為核心的質(zhì)量標(biāo)準(zhǔn)
   在軟件項(xiàng)目規(guī)劃和需求分析階段就要建立以可靠性為核心的質(zhì)量標(biāo)準(zhǔn)。這個(gè)質(zhì)量標(biāo)準(zhǔn)包括實(shí)現(xiàn)的功能、可靠性、可維護(hù)性、可移植性、安全性、吞吐率等等，雖然還沒有一個(gè)衡量軟件質(zhì)量的完整體系，但還是可以通過一定的指標(biāo)來(lái)定標(biāo)準(zhǔn)基線。
   軟件質(zhì)量從構(gòu)成因素上可分為產(chǎn)品質(zhì)量和過程質(zhì)量。產(chǎn)品質(zhì)量是軟件成品的質(zhì)量，包括各類文檔、編碼的可讀性、可靠性、正確性，用戶需求的滿足程度等。過程質(zhì)量是開發(fā)過程環(huán)境的質(zhì)量，與所采用的技術(shù)、開發(fā)人員的素質(zhì)、開發(fā)的組織交流、開發(fā)設(shè)備的利用率等因素有關(guān)。還可把質(zhì)量分為動(dòng)態(tài)質(zhì)量和靜態(tài)質(zhì)量。靜態(tài)質(zhì)量是通過審查各開發(fā)過程的成果來(lái)確認(rèn)的質(zhì)量，包括模塊化程度、簡(jiǎn)易程度、完整程度等內(nèi)容。動(dòng)態(tài)質(zhì)量是考察運(yùn)行狀況來(lái)確認(rèn)的質(zhì)量，包括平均故障間隔時(shí)間(MTBF)、軟件故障平均修復(fù)時(shí)間(MTRF)、可用資源的利用率。在許多實(shí)際工程中，人們一般比較重視動(dòng)態(tài)質(zhì)量而忽視靜態(tài)質(zhì)量。

所定的質(zhì)量標(biāo)準(zhǔn)度量，至少應(yīng)達(dá)到以下兩個(gè)目的：

(1)明確劃分各開發(fā)過程(需求分析過程，設(shè)計(jì)過程，測(cè)試過程，驗(yàn)收過程)，通過質(zhì)量檢驗(yàn)的反饋?zhàn)饔么_保差錯(cuò)及早排除并保證一定的質(zhì)量。

(2)在各開發(fā)過程中實(shí)施進(jìn)度管理，產(chǎn)生階段質(zhì)量評(píng)價(jià)報(bào)告，對(duì)不合要求的產(chǎn)品及早采取對(duì)策。

確定劃分的各開發(fā)過程的質(zhì)量度量：

(1)需求分析質(zhì)量度量

需求分析定義是否完整、準(zhǔn)確(有無(wú)二義性)，開發(fā)者和用戶間有沒有理解不同的情況，文檔完成情況等，要有明確的可靠性需求目標(biāo)、分析設(shè)計(jì)及可靠性管理措施等。

(2)設(shè)計(jì)結(jié)果質(zhì)量度量

設(shè)計(jì)工時(shí)，程序容量和可讀性、可理解性，測(cè)試情況數(shù)，評(píng)價(jià)結(jié)果，文檔完成情況等。

(3)測(cè)試結(jié)果質(zhì)量度量

測(cè)試工時(shí)，差錯(cuò)狀況，差錯(cuò)數(shù)量，差錯(cuò)檢出率及殘存差錯(cuò)數(shù)，差錯(cuò)影響評(píng)價(jià)，文檔等，以及有關(guān)非法輸入的處理度量。

(4)驗(yàn)收結(jié)果質(zhì)量度量

完成的功能數(shù)量，各項(xiàng)性能指標(biāo)，可靠性等。

  最后選擇一種可靠度增長(zhǎng)曲線預(yù)測(cè)模型，如時(shí)間測(cè)量、個(gè)體測(cè)量、可用性，在后期開發(fā)過程中，用來(lái)計(jì)算可靠度增長(zhǎng)曲線的差錯(cuò)收斂度。在建立質(zhì)量標(biāo)準(zhǔn)之后，設(shè)計(jì)質(zhì)量報(bào)告及評(píng)價(jià)表，在整個(gè)開發(fā)過程中就要嚴(yán)格實(shí)施并及時(shí)作出質(zhì)量評(píng)價(jià)，填寫報(bào)告表。

二、選擇開發(fā)方法
   軟件開發(fā)方法對(duì)軟件的可靠性也有重要影響。目前的軟件開發(fā)方法主要有Parnas方法、Yourdon方法、面向數(shù)據(jù)結(jié)構(gòu)的Jackson方法和Warnier方法、PSL/PSA方法、原型化方法、面向?qū)ο蠓椒?、可視化方法?/span>ICASE方法、瑞理開發(fā)方法等，其他還有BSP方法、CSF方法等。

  這里特別要提一下的是Parnas方法。Parnas方法是最早的軟件開發(fā)方法，是Parnas 在1972年提出來(lái)的，基本思想是在概要設(shè)計(jì)時(shí)預(yù)先估計(jì)未來(lái)可能發(fā)生變化，提出了信息隱藏的原則以提高軟件的可靠性和可維護(hù)性。

  在設(shè)計(jì)中要求先列出將來(lái)可能要變化的因素，在劃分模塊時(shí)將一些可能發(fā)生變化的因素隱含在某個(gè)模塊的內(nèi)部，使其他模塊與此無(wú)關(guān)，這樣就提高了軟件的可維護(hù)性，避免了錯(cuò)誤的蔓延，也就提高了軟件的可靠性。還提出了提高可靠性的措施：

(1)考慮到硬件有可能出故障，接近硬件的模塊要對(duì)硬件行為進(jìn)行檢查，及時(shí)發(fā)現(xiàn)錯(cuò)誤。

(2)考慮到操作人員有可能失誤，輸入模塊對(duì)輸入數(shù)據(jù)進(jìn)行合法性檢查，是否合法、越權(quán)，及時(shí)糾錯(cuò)。

(3)考慮到軟件本身有可能失誤，加強(qiáng)模塊間檢查，防止錯(cuò)誤蔓延。

  對(duì)瑞理方法可能許多人還不熟悉，這里也簡(jiǎn)要介紹一下。瑞理（Rational)模式是美國(guó)瑞理軟件工程公司發(fā)展出來(lái)的，其模式是：面向?qū)ο?；螺旋式上升；管理與控制；高度自動(dòng)化；

  以管理觀點(diǎn)和技術(shù)觀點(diǎn)把軟件生命周期劃分為起始、規(guī)劃、建構(gòu)、轉(zhuǎn)移、進(jìn)化五個(gè)階段，也可把這五個(gè)階段歸并為研究時(shí)期（起始和規(guī)劃）和生產(chǎn)時(shí)期（建構(gòu)和轉(zhuǎn)移），最后是維護(hù)時(shí)期（進(jìn)化），特別適合對(duì)高風(fēng)險(xiǎn)部分及變動(dòng)需求的處理。

  在以上的眾多方法中，可視化方法主要用于與圖形有關(guān)的應(yīng)用，目前的可視化開發(fā)工具只能提供用戶界面的可視化開發(fā)，對(duì)一些不需要復(fù)雜圖形界面的應(yīng)用不必使用這種方法；ICASE 技術(shù)還沒有*成熟，所以可視化方法和ICASE方法最多只能用作輔助方法。面向數(shù)據(jù)結(jié)構(gòu)的方法、PSL/PSA方法及原型化方法只適合于中小型系統(tǒng)的開發(fā)。

  面向?qū)ο蟮姆椒ū阌谲浖?fù)雜性控制，有利于生產(chǎn)率的提高，符合人類的思維習(xí)慣，能自然地表達(dá)現(xiàn)實(shí)世界的實(shí)體和問題，具有一種自然的模型化能力，達(dá)到從問題空間到解空間的較為直接自然的映射。在面向?qū)ο蟮姆椒ㄖ?，由于大量使用具有高可靠性的?kù)，其可靠性也就有了保證，用面向?qū)ο蟮姆椒ㄒ怖趯?shí)現(xiàn)軟件重用。

  所以建議采用面向?qū)ο蟮姆椒?，借鑒Parnas和瑞理模式的思想，在開發(fā)過程中再結(jié)合使用其他方法，吸取其它方法的優(yōu)點(diǎn)。

三、軟件重用

  最大限度地重用現(xiàn)有的成熟軟件，不僅能縮短開發(fā)周期，提高開發(fā)效率，也能提高軟件的可維護(hù)性和可靠性。因?yàn)楝F(xiàn)有的成熟軟件，已經(jīng)過嚴(yán)格的運(yùn)行檢測(cè)，大量的錯(cuò)誤已在開發(fā)、運(yùn)行和維護(hù)過程中排除，應(yīng)該是比較可靠的。在項(xiàng)目規(guī)劃開始階段就要把軟件重用列入工作中*的一部分，作為提高可靠性的一種必要手段。

  軟件重用不僅僅是指軟件本身，也可以是軟件的開發(fā)思想方法、文檔，甚至環(huán)境、數(shù)據(jù)等，包括三個(gè)方面內(nèi)容的重用：

(1)開發(fā)過程重用，指開發(fā)規(guī)范、各種開發(fā)方法、工具和標(biāo)準(zhǔn)等。

(2)軟件構(gòu)件重用，指文檔、程序和數(shù)據(jù)等。

(3)知識(shí)重用，如相關(guān)領(lǐng)域?qū)I(yè)知識(shí)的重用。

  一般用的比較多的是軟件構(gòu)件重用。軟件重用的過程如下：候選，選擇，資格，分類和存儲(chǔ)，查找和檢索。在選擇可重用構(gòu)件時(shí)，一定要有嚴(yán)格的選擇標(biāo)準(zhǔn)，可重用的構(gòu)件必須是經(jīng)過嚴(yán)格測(cè)試的、甚至是經(jīng)過可靠性和正確性證明的構(gòu)件，應(yīng)模塊化（實(shí)現(xiàn)單一、的完整的功能）、結(jié)構(gòu)清晰（可讀、可理解、規(guī)模適當(dāng)），且有高度可適應(yīng)性。

四、使用開發(fā)管理工具
  開發(fā)一個(gè)大的軟件系統(tǒng)，離不開開發(fā)管理工具，作為一個(gè)項(xiàng)目管理員，僅僅靠人來(lái)管理是不夠的，需要有開發(fā)管理工具來(lái)輔助解決開發(fā)過程中遇到的各種各樣的問題，以提高開發(fā)效率和產(chǎn)品質(zhì)量。
如Intersolv公司的PVCS軟件開發(fā)管理工具，在美國(guó)*已超過70％，使用PVCS可以帶來(lái)不少好處：規(guī)范開發(fā)過程，縮短開發(fā)周期，減少開發(fā)成本，降低項(xiàng)目投資風(fēng)險(xiǎn)；自動(dòng)創(chuàng)造完整的文檔，便于軟件維護(hù)；管理軟件多重版本；管理和追蹤開發(fā)過程中危及軟件質(zhì)量和影響開發(fā)周期的缺陷和變化，便于軟件重用，避免數(shù)據(jù)丟失，也便于開發(fā)人員的交流，對(duì)提高軟件可靠性，保證質(zhì)量有很大作用。

  在我國(guó)，開發(fā)管理工具并沒有得到有效地使用，許多軟件公司還停留在人工管理階段，所開發(fā)的軟件質(zhì)量不會(huì)很高。

  人的管理比較困難，在保證開發(fā)人員素質(zhì)的同時(shí)，要保持人員的穩(wěn)定性，盡可能避免人員的經(jīng)常流動(dòng)。人員流動(dòng)影響了軟件的質(zhì)量，工作連續(xù)性難保證，繼承者不可能對(duì)情況了解很清楚等，也可能影響工作進(jìn)程等。PVCS也提供了適當(dāng)?shù)娜藛T管理方法。

五、加強(qiáng)測(cè)試
  軟件開發(fā)前期各階段完成之后，為進(jìn)一步提高可靠性，只有通過加強(qiáng)測(cè)試來(lái)實(shí)現(xiàn)了。為最大限度地除去軟件中的差錯(cuò)，改進(jìn)軟件的可靠性，就要對(duì)軟件進(jìn)行完備測(cè)試。要對(duì)一個(gè)大的軟件系統(tǒng)進(jìn)行完備測(cè)試是不可能的，所以要確定一個(gè)最小測(cè)試數(shù)和最大測(cè)試數(shù)，前者是技術(shù)性的決策，后者管理性的決策，在實(shí)際過程中要確定一個(gè)測(cè)試數(shù)量的下界?？偟膩?lái)說(shuō)，要在可能的情況下，進(jìn)行盡可能完備的測(cè)試。

  誰(shuí)來(lái)做測(cè)試呢？一般說(shuō)來(lái)，用戶不大可能來(lái)進(jìn)行模塊測(cè)試，模塊測(cè)試應(yīng)該由最初編寫代碼的程序員來(lái)進(jìn)行，要在他們之間交換程序進(jìn)行模塊測(cè)試，自己設(shè)計(jì)的程序自己測(cè)試一般都達(dá)不到好的效果。

  測(cè)試前要確定測(cè)試標(biāo)準(zhǔn)、規(guī)范，測(cè)試過程中要建立完整的測(cè)試文檔，把軟件置于配置控制下，用形式化的步驟去改變它，保證任何錯(cuò)誤及對(duì)錯(cuò)誤的動(dòng)作都能及時(shí)歸檔。

測(cè)試規(guī)范包括以下三類文檔：

(1)測(cè)試設(shè)計(jì)規(guī)范：詳細(xì)描述測(cè)試方法，規(guī)定該設(shè)計(jì)及其有關(guān)測(cè)試所包括的特性。還應(yīng)規(guī)定完成測(cè)試所需的測(cè)試用例和測(cè)試規(guī)程，規(guī)定特性的通過/失敗判定準(zhǔn)則。

(2)測(cè)試用例規(guī)范：列出用于輸入的具體值及預(yù)期輸出結(jié)果。規(guī)定在使用具體測(cè)試用例時(shí)對(duì)測(cè)試規(guī)程的各種限制。

(3)測(cè)試規(guī)程規(guī)范：規(guī)定對(duì)于運(yùn)行該系統(tǒng)和執(zhí)行定的測(cè)試用例來(lái)實(shí)現(xiàn)有關(guān)測(cè)試所要求的所有步驟。

測(cè)試的方法多種多樣：

(1)走查（Walk-through），即手工執(zhí)行，由不同的程序員(非該模塊設(shè)計(jì)者)讀代碼，并進(jìn)行評(píng)論。

(2)機(jī)器測(cè)試，對(duì)給定的輸入不會(huì)產(chǎn)生不合邏輯的輸出。

(3)程序證明或交替程序表示。

(4)模擬測(cè)試，模擬硬件、I/O設(shè)備等。

(5)設(shè)計(jì)審查，關(guān)于設(shè)計(jì)的所有各方面的小組討論會(huì)，利用所獲得的信息，找出缺陷及違反標(biāo)準(zhǔn)的地方等。

  以上可以交替并行循環(huán)執(zhí)行，在實(shí)際測(cè)試過程中要使用測(cè)試工具提高效率。除正常的測(cè)試之外，還要對(duì)軟件進(jìn)行可靠性測(cè)試，確保軟件中沒有對(duì)可靠性影響較大的故障。制定測(cè)試計(jì)劃方案，按實(shí)際使用的概率分布隨機(jī)選擇輸入，準(zhǔn)確記錄運(yùn)行時(shí)間和結(jié)果，并對(duì)結(jié)果進(jìn)行評(píng)價(jià)。

  沒有錯(cuò)誤的程序同永動(dòng)機(jī)一樣是不可能達(dá)到的。一般常用排錯(cuò)方法有試探法、追溯法、歸納法、演繹法。還要使用適當(dāng)?shù)呐佩e(cuò)工具，如UNIX提供的sdb和dbx編碼排錯(cuò)工具，這些排錯(cuò)工具只有瀏覽功能，沒有修改功能，是實(shí)際的找錯(cuò)工具。

六、軟件評(píng)審

  評(píng)審是一些用于開發(fā)過程早期檢查和糾紛缺陷的有效方法。它們可以用來(lái)檢查衛(wèi)星城執(zhí)行代碼的文檔的缺陷。

在開發(fā)過程中，評(píng)審可以讓我們獲得以下收益：

（1）提高項(xiàng)目的生產(chǎn)率：由于早期發(fā)現(xiàn)了錯(cuò)誤，因而減少了返工時(shí)間，還可能減少測(cè)試時(shí)間。

（2）改善軟件的質(zhì)量；

（3）在評(píng)審過程中，使開發(fā)團(tuán)隊(duì)的其他成員更熟悉產(chǎn)品和開發(fā)過程；

（4）通過評(píng)審，標(biāo)志的軟件開發(fā)的一個(gè)階段的完成；

（5）生產(chǎn)出更容易維護(hù)，更可靠的軟件。

  主要原因是由于被評(píng)審的軟件評(píng)審者必須是非常熟悉的，同時(shí)，在評(píng)審過程中，一定會(huì)產(chǎn)生并利用很多證明文檔，于是評(píng)審就迫使開發(fā)者同時(shí)產(chǎn)出許多有用的文檔，如果不進(jìn)行評(píng)審，這些文檔可能在整個(gè)項(xiàng)目周期都不會(huì)生產(chǎn)。

軟件評(píng)審包括管理評(píng)審、技術(shù)評(píng)審、文檔評(píng)審、過程評(píng)審。其中主要應(yīng)用的方法有：

（1）特別檢查：通常應(yīng)用于平常的小組合作，非正式的評(píng)審；

（2）輪查：又稱為分配審查方法。項(xiàng)目人員向評(píng)審者作簡(jiǎn)要介紹，但不參加評(píng)審過程；評(píng)審者獨(dú)立進(jìn)行評(píng)審，并記錄發(fā)現(xiàn)的結(jié)果，準(zhǔn)備報(bào)告；

（3）走查：一種非正式的評(píng)審方法，在軟件企業(yè)中廣泛應(yīng)用。項(xiàng)目成員向他人介紹，并收集意見。在走查中，項(xiàng)目人員占有主導(dǎo)地位，由其描述產(chǎn)品的功能和結(jié)構(gòu)以及完成任務(wù)的情況等。走查的目的是希望參評(píng)者可以發(fā)現(xiàn)產(chǎn)品中的錯(cuò)誤，了解產(chǎn)品，并對(duì)模塊功能和實(shí)現(xiàn)達(dá)成一致的建議；

（4）團(tuán)隊(duì)評(píng)審：有計(jì)劃和機(jī)構(gòu)化的，評(píng)審的參與者在會(huì)議前拿到評(píng)審材料，并對(duì)其進(jìn)行獨(dú)立研究，同時(shí)，評(píng)審還定義了評(píng)審會(huì)議中各種角色和相應(yīng)的責(zé)任。但是評(píng)審后期的問題跟蹤和分析往往被簡(jiǎn)化或忽略；

（5）檢視：和團(tuán)隊(duì)評(píng)審很相似，但比起更嚴(yán)格，是最系統(tǒng)化、最嚴(yán)密的評(píng)審方法。普通的檢視過程包括：制定計(jì)劃、準(zhǔn)備和組織會(huì)議、跟蹤和分析檢視結(jié)果等。

以下就是軟件評(píng)審過程中主要應(yīng)用的集中方法。其中廣泛采用的評(píng)審方法有檢視、團(tuán)隊(duì)評(píng)審和走查。

七、容錯(cuò)設(shè)計(jì)

提高可靠性的技術(shù)一般可以分為兩類，一類是避免故障，在開發(fā)過程中，盡可能不讓差錯(cuò)和缺陷潛入軟件，這類常用的技術(shù)有：

（1）算法模型化：把可以保證正確實(shí)現(xiàn)需求規(guī)格的算法模型化。

（2）模擬模型化：為了保證在確定的資源條件下的預(yù)測(cè)性能的發(fā)揮，使軟件運(yùn)行時(shí)間、內(nèi)存使用量及控制執(zhí)行模型化。

（3）可靠性模型：使用可靠性模型，從差錯(cuò)發(fā)生頻度出發(fā)，預(yù)測(cè)可靠性。

（4）正確性證明：使用形式符號(hào)及數(shù)學(xué)歸納法等證明算法的正確性。

（5）軟件危險(xiǎn)分析與故障樹分析：從設(shè)計(jì)或編碼的結(jié)構(gòu)出發(fā)，追蹤軟件開發(fā)過程中潛入系統(tǒng)缺陷的原因。

（6）分布接口需求規(guī)格說(shuō)明：在設(shè)計(jì)的各階段使用形式的接口需求規(guī)格說(shuō)明，以便驗(yàn)證需求的分布接口實(shí)現(xiàn)可能性與完備性。

  這些技術(shù)一般都需要比較深厚的數(shù)學(xué)理論知識(shí)和模型化技術(shù)。另一類就是采用冗余思想的容錯(cuò)技術(shù)。容錯(cuò)技術(shù)的基本思想是使軟件內(nèi)潛在的差錯(cuò)對(duì)可靠性的影響縮小控制到較低程度。軟件的容錯(cuò)從原理上可分為錯(cuò)誤分析、破壞程度斷定、錯(cuò)誤恢復(fù)、錯(cuò)誤處理四個(gè)階段。

  常用的軟件容錯(cuò)技術(shù)有N-版本技術(shù)、恢復(fù)塊技術(shù)、多備份技術(shù)等。

  N-版本程序設(shè)計(jì)是依據(jù)相同規(guī)范要求獨(dú)立設(shè)計(jì)N個(gè)功能相等的程序(即版本)。獨(dú)立是指使用不同的算法，不同的設(shè)計(jì)語(yǔ)言，不同的測(cè)試技術(shù)，甚至不同的指令系統(tǒng)等。

  恢復(fù)塊技術(shù)是使用自動(dòng)前向錯(cuò)誤恢復(fù)的故障處理技術(shù)。

  再次要說(shuō)的是防錯(cuò)性程序設(shè)計(jì)，在程序中進(jìn)行錯(cuò)誤檢查。被動(dòng)的防錯(cuò)性技術(shù)是當(dāng)?shù)竭_(dá)檢查點(diǎn)時(shí)，檢查一個(gè)計(jì)算機(jī)程序的適當(dāng)點(diǎn)的信息。主動(dòng)的防錯(cuò)性技術(shù)是周期性地搜查整個(gè)程序或數(shù)據(jù)，或在空閑時(shí)間尋找不尋常的條件。采用防錯(cuò)性程序設(shè)計(jì)，是建立在程序員相信自己設(shè)計(jì)的軟件中肯定有錯(cuò)誤的這一基礎(chǔ)上，有的程序員可能對(duì)此不大習(xí)慣，因?yàn)樗赡芴嘈抛约?，相信自己的程序只有很少錯(cuò)誤，甚至沒有錯(cuò)誤，作為一個(gè)項(xiàng)目管理人員需要說(shuō)服他或者強(qiáng)制他采用這種技術(shù)，雖然在設(shè)計(jì)時(shí)要額外花費(fèi)一定的時(shí)間，但這對(duì)提高可靠性很有用。

八、小結(jié)
以上就是通過從軟件設(shè)計(jì)、管理、評(píng)審、規(guī)范等多個(gè)方面來(lái)提高軟件可靠性的方法和技術(shù)，通過這些方法可以實(shí)現(xiàn)在軟件開發(fā)過程中對(duì)其質(zhì)量可靠性的控制和提高。