軟件質(zhì)量工程

　　本書(shū)從軟件工程的實(shí)際出發(fā)，詳細(xì)介紹了有關(guān)軟件質(zhì)量管理、控制、保障及度量的程序、方法和技術(shù)。考慮到軟件可靠性是軟件質(zhì)量中最重要的因素，本書(shū)對(duì)軟件可靠性模型及其應(yīng)用、軟件可靠性測(cè)試、軟件可靠性數(shù)據(jù)收集和處理進(jìn)行了深入的論述。本書(shū)是在廣泛參考了國(guó)內(nèi)外有關(guān)資料的基礎(chǔ)上，結(jié)合作者多年來(lái)在軟件工程、軟件質(zhì)量和軟件可靠性方面的研究成果，特別是近年來(lái)作者在軟件公司任職期間的體驗(yàn)，精心寫(xiě)成的。全書(shū)內(nèi)容具有理論聯(lián)系實(shí)際、系統(tǒng)及簡(jiǎn)潔等特點(diǎn)，在軟件開(kāi)發(fā)、使用和維護(hù)方面具有較強(qiáng)的工程應(yīng)用價(jià)值。本書(shū)可作為軟件項(xiàng)目管理人員、開(kāi)發(fā)人員、系統(tǒng)分？鋈嗽奔叭砑房突У牟慰際?，也可作为紦溷机或软件工程专覚n母吣曇堆⒀芯可慕灘幕蠆慰際欏？隨著計(jì)算機(jī)與因特網(wǎng)的普及和社會(huì)信息化進(jìn)程的加快，計(jì)算機(jī)軟件的地位已發(fā)生了巨大的變化，它已成為支撐社會(huì)正常運(yùn)行和發(fā)展的重要基礎(chǔ)設(shè)施。軟件變得越來(lái)越復(fù)雜，人們對(duì)軟件的要求也越來(lái)越高，特別是對(duì)軟件的可靠性、易用性、應(yīng)變性和兼容性等各方面都提出了很高的要求。軟件的生產(chǎn)方式也發(fā)生了巨大的變化。開(kāi)始時(shí)是手工業(yè)生產(chǎn)方式，軟件的質(zhì)量依賴(lài)于軟件編制者個(gè)人的技藝和才智。后來(lái)，演變?yōu)楣I(yè)化的規(guī)模生產(chǎn)，軟件成為軟件公司一批開(kāi)發(fā)人員共同協(xié)作的產(chǎn)品。這時(shí)，軟件產(chǎn)品的質(zhì)量在很大程度上取決于軟件公司實(shí)施的開(kāi)發(fā)過(guò)程的優(yōu)化程度和具體的管理水平?，F(xiàn)在，又進(jìn)一步擴(kuò)展為軟件生產(chǎn)的社會(huì)化。一個(gè)軟件系統(tǒng)常常要由不同軟件專(zhuān)業(yè)公司生產(chǎn)的軟件構(gòu)件產(chǎn)品集成而成。于是為保證軟件的質(zhì)量，又要求有相關(guān)的統(tǒng)一標(biāo)準(zhǔn)和協(xié)議，以及按照標(biāo)準(zhǔn)進(jìn)行的測(cè)試和認(rèn)證。軟件質(zhì)量的控制和管理技術(shù)是一門(mén)實(shí)踐的技術(shù)，它是根據(jù)軟件開(kāi)發(fā)的大量實(shí)踐經(jīng)驗(yàn)積累而來(lái)的。這其中有很多成功的經(jīng)驗(yàn)，也不乏慘痛的失敗教訓(xùn)。坦誠(chéng)地講，我們國(guó)家軟件產(chǎn)業(yè)發(fā)展較晚，目前真正能稱(chēng)得上是有一定規(guī)模的，具有大型自主軟件開(kāi)發(fā)能力的軟件公司還不多，還缺乏這種規(guī)模化開(kāi)發(fā)軟件的實(shí)踐經(jīng)驗(yàn)。因而，人們往往對(duì)軟件質(zhì)量管理的重要性和必要性認(rèn)識(shí)不足，理解不深，同時(shí)也缺乏相應(yīng)的量化的實(shí)際數(shù)據(jù)。大家知道，只有在大量數(shù)據(jù)的基礎(chǔ)上才能做到軟件開(kāi)發(fā)過(guò)程的真正的優(yōu)化，而數(shù)據(jù)要靠長(zhǎng)期實(shí)踐的積累。洪倫耀教授和董云衛(wèi)高級(jí)工程師聯(lián)合編寫(xiě)的這本《軟件質(zhì)量工程》一書(shū)，全面、系統(tǒng)地介紹了國(guó)內(nèi)外流行的軟件開(kāi)發(fā)過(guò)程中實(shí)施的質(zhì)量管理、控制、度量和保障技術(shù)。其內(nèi)容大都是根據(jù)他們多年來(lái)的實(shí)踐經(jīng)驗(yàn)，從國(guó)？諭飩閑?、姐妷勳而且比锦r滌玫募際踔芯《吹摹１臼櫚某靄娑雜謚傅嘉夜砑檔穆蚣?，讣{迫砑返鬧柿浚俳夜砑檔姆⒄箍隙ɑ崞鸕椒淺Ｖ匾淖饔謾Ｍ蔽乙財(cái)諭?，伴随着我国软件产覚n男緯珊頭⒄梗夜萍既嗽蹦茉諼鍘⑾獾娜砑⒓際醯幕∩?，通过纂E澩罅咳砑⒌氖導(dǎo)歡系刈芙?、提高和词[攏徊轎夜砑⒓際醯姆⒄棺齔鲇τ械墓畢住？自從第一臺(tái)計(jì)算機(jī)誕生以來(lái)，信息技術(shù)革命無(wú)疑成為當(dāng)今世界最快的技術(shù)變革。今天，計(jì)算機(jī)的應(yīng)用已滲透到了人類(lèi)現(xiàn)代生活的各個(gè)方面，人們對(duì)它的依賴(lài)程度與日俱增，因計(jì)算機(jī)系統(tǒng)故障而引起危機(jī)的可能性也逐漸增大。同時(shí)，在計(jì)算機(jī)的發(fā)展與應(yīng)用中，存在著嚴(yán)重的軟／硬件不均衡發(fā)展的現(xiàn)象，軟件的質(zhì)量、性能、生產(chǎn)率及耗費(fèi)等，都無(wú)法與硬件同步。隨著人們對(duì)軟件需求的日益增大，軟件產(chǎn)品的功能復(fù)雜性和結(jié)構(gòu)復(fù)雜性越來(lái)越高，因軟件系統(tǒng)失效造成計(jì)算機(jī)系統(tǒng)失敗和癱瘓的重大事故屢見(jiàn)不鮮。例如：（1）在美國(guó)宇航局的''''旅行者''''計(jì)劃中，天王星探測(cè)器就是因?yàn)樯疃忍站W(wǎng)絡(luò)軟件發(fā)送信息遲緩和能力衰竭而處于危險(xiǎn)之中。（2）軟／硬件干擾問(wèn)題是使一些航天飛機(jī)經(jīng)常推遲發(fā)射時(shí)間的主要原因。（3）在美國(guó)國(guó)防部某項(xiàng)工程中，事先設(shè)計(jì)好的先進(jìn)程序無(wú)一可用，從而導(dǎo)致AFTI／F-16的首航時(shí)間耽擱了一年。關(guān)鍵軟件系統(tǒng)的失敗也影響了大量民用項(xiàng)目和科學(xué)工作。例如：如果不是數(shù)據(jù)分析程序由于''''越界溢出''''而隱藏了異常數(shù)據(jù)，南極上空的臭氧空洞本來(lái)可以更早引起科學(xué)界的注意。軟件失效也可導(dǎo)致巨大的經(jīng)濟(jì)損失。例如：1990年1月15日，美國(guó)一通信中轉(zhuǎn)系統(tǒng)新投入使用的軟件發(fā)生了錯(cuò)誤，導(dǎo)致主干線遠(yuǎn)程網(wǎng)大規(guī)模崩潰；1991年夏季，美國(guó)一系列局域電話網(wǎng)由于軟件問(wèn)題而中斷。這些嚴(yán)重事故使？鄖Ъ埔攬康繆豆駒擻滴竦墓舅鶚Я司薅鈄式??？出錯(cuò)的軟件還會(huì)危及人們的生命安全。例如：（1）美國(guó)的Therac-25放射性治療儀曾以其安全性著稱(chēng)于世，但有一次由于其軟件出錯(cuò)而使其控制系統(tǒng)失靈，導(dǎo)致多名病人失去生命。（2）據(jù)專(zhuān)家們統(tǒng)計(jì)后指出，軟件控制系統(tǒng)對(duì)飛行員在異常飛行期間發(fā)出的緊急查詢(xún)反應(yīng)不當(dāng)，是發(fā)生飛行事故以致造成機(jī)毀人亡的主要原因。這一切表明：軟件中哪怕是很微小的差錯(cuò)，都可能導(dǎo)致生產(chǎn)、生活和其他各項(xiàng)活動(dòng)中的質(zhì)量事故，如產(chǎn)品報(bào)廢，商業(yè)停頓，甚至是人員傷亡。面對(duì)這樣一些問(wèn)題，在要求軟件質(zhì)量越來(lái)越高的情況下，應(yīng)該怎么辦呢？答案只有一個(gè)：因?yàn)檐浖a(chǎn)品是人類(lèi)智力活動(dòng)的產(chǎn)物，所以軟件的質(zhì)量問(wèn)題，也只有用人類(lèi)的智力活動(dòng)來(lái)解決！本書(shū)就是考慮到目前人們對(duì)高質(zhì)量軟件的迫切需要而撰寫(xiě)的，它集中討論了與軟件產(chǎn)品質(zhì)量密切相關(guān)的質(zhì)量管理、質(zhì)量控制、質(zhì)量度量和質(zhì)量保障等問(wèn)題。本書(shū)的內(nèi)容實(shí)際上就是人們?yōu)榱私鉀Q軟件的質(zhì)量問(wèn)題，在總結(jié)長(zhǎng)期的開(kāi)發(fā)實(shí)踐經(jīng)驗(yàn)的基礎(chǔ)上逐漸形成的智力成果。另外，從軟件產(chǎn)品在質(zhì)量范疇內(nèi)區(qū)別于硬件產(chǎn)品的特殊性來(lái)說(shuō)，撰寫(xiě)本書(shū)還有如下的理由：（1）軟件質(zhì)量是在開(kāi)發(fā)過(guò)程中構(gòu)建（需求分析、設(shè)計(jì)、編碼和集成等）人軟件產(chǎn)品之中的，開(kāi)發(fā)過(guò)程完成之后是加不進(jìn)去的。（2）軟件產(chǎn)品是由許多人通過(guò)集約式作業(yè)方式，在絞盡腦汁的智力活動(dòng)中開(kāi)發(fā)出來(lái)的，而人的思維活動(dòng)是非常易變的，集約在一起的眾多人的思維更難保持協(xié)調(diào)一致。（3）導(dǎo)致軟件產(chǎn)品質(zhì)量低下的差錯(cuò)和缺陷，是隨著軟件開(kāi)發(fā)的進(jìn)展而向后面階段傳播的。值得注意的是，這些差錯(cuò)和缺陷的危害程度，隨著從它發(fā)生到被糾正的時(shí)間間隔的增加而成倍地增長(zhǎng)。（4）通過(guò)智力活動(dòng)開(kāi)發(fā)出來(lái)的產(chǎn)品，它的質(zhì)量也只有通過(guò)智力活動(dòng)來(lái)確認(rèn)和檢驗(yàn)，而不能像硬件產(chǎn)品那樣，可以用有關(guān)的測(cè)量?jī)x器來(lái)檢驗(yàn)。相應(yīng)地，針對(duì)質(zhì)量方面的上述特殊性，軟件的質(zhì)量管理、質(zhì)量控制、質(zhì)量度量和質(zhì)量保障要解決的主要問(wèn)題有：（1）如何建立必要的標(biāo)準(zhǔn)、規(guī)范、條例及程序，使開(kāi)發(fā)人員和開(kāi)發(fā)過(guò)程保持以下三個(gè)方面的一致性：橫向的，人與人之間的一致性；縱向的，一個(gè)開(kāi)發(fā)階段與另一個(gè)開(kāi)發(fā)階段的一致性；產(chǎn)品（含階段性產(chǎn)品）的輸入與輸出的一致性。（2）如何將一個(gè)軟件產(chǎn)品的整個(gè)開(kāi)發(fā)過(guò)程分解為若干個(gè)可實(shí)現(xiàn)并可管理的部分；對(duì)每個(gè)部分，應(yīng)用相應(yīng)的、有效的技術(shù)和方法，展開(kāi)軟件的開(kāi)發(fā)活動(dòng)并對(duì)其階段性產(chǎn)品的質(zhì)量進(jìn)行驗(yàn)證和確認(rèn)，保證其高質(zhì)量；最終組合成整個(gè)軟件產(chǎn)品，并驗(yàn)證和確認(rèn)其質(zhì)量是否達(dá)到要求。（3）如何盡可能地避免在開(kāi)發(fā)中產(chǎn)生差錯(cuò)；如何盡可能多地檢測(cè)出并糾正已經(jīng)產(chǎn)生的差錯(cuò)；當(dāng)差錯(cuò)不可避免地殘留在軟件中時(shí)，如何容差。（4）當(dāng)差錯(cuò)不可避免地引入到軟件中時(shí)，如何保證自它們引入時(shí)起，盡可能早地發(fā)現(xiàn)并糾正它們。（5）軟件這個(gè)無(wú)形的智力產(chǎn)品，它的質(zhì)量究竟如何定義，又如何度量。（6）如何控制軟件的開(kāi)發(fā)過(guò)程、開(kāi)發(fā)資源和產(chǎn)品，使得產(chǎn)品質(zhì)量、工期和費(fèi)用實(shí)現(xiàn)最佳的折中。進(jìn)行質(zhì)量管理、質(zhì)量控制、質(zhì)量度量和質(zhì)量保障的目的就在于：在開(kāi)發(fā)過(guò)程中，在有限的資源限制下和規(guī)定的時(shí)間內(nèi)，把軟件產(chǎn)品的質(zhì)量構(gòu)建人軟件產(chǎn)品之中。當(dāng)讀者在閱讀這本書(shū)的時(shí)候，抓住上述問(wèn)題，就可以更好地理解書(shū)中各章節(jié)的內(nèi)容。同時(shí)，在讀完了書(shū)中各章節(jié)之后，對(duì)上述問(wèn)題也就會(huì)有更實(shí)質(zhì)性的把握。本書(shū)作者洪倫耀教授，在軟件可靠性和軟件質(zhì)量方面，有著近二十年的研究和教學(xué)經(jīng)驗(yàn)；作者董云衛(wèi)高級(jí)工程師，曾就職于西安協(xié)同軟件股份有限公司、西安軟件工程技術(shù)研究中心等單位，一直從事軟件項(xiàng)目的組織、管理和軟件的實(shí)際開(kāi)發(fā)工作以及軟件工程理論與應(yīng)用的研究。2003年，本書(shū)的兩位作者先后就職于國(guó)家863軟件專(zhuān)業(yè)孵化器西安基地（西安軟件工程技術(shù)研究中心），參加863計(jì)劃相關(guān)課題的研究工作。西安軟件工程技術(shù)研究中心是西安市科學(xué)技術(shù)局批準(zhǔn)設(shè)立的獨(dú)立的科學(xué)研究與技術(shù)開(kāi)發(fā)機(jī)構(gòu)。它圍繞西安軟件產(chǎn)業(yè)的發(fā)展和國(guó)家863軟件專(zhuān)業(yè)孵化器的建設(shè)，專(zhuān)門(mén)從事技術(shù)開(kāi)發(fā)及測(cè)試評(píng)估、質(zhì)量咨詢(xún)等軟件工程技術(shù)服務(wù)。在此期間，課題組對(duì)軟件質(zhì)量管理、控制、度量以及軟件質(zhì)量保障的各種技術(shù)和方法的深入探討，使作者長(zhǎng)期積累的有關(guān)軟件質(zhì)量管理的研究與教學(xué)經(jīng)驗(yàn)以及軟件開(kāi)發(fā)經(jīng)驗(yàn)得到了系統(tǒng)升華，拓展了作者的視野，并使作者堅(jiān)信：科學(xué)的軟件質(zhì)量管理、控制、度量和保障的方法和手段是可以形成一種面向軟件產(chǎn)業(yè)發(fā)展的服務(wù)能力的，一旦這種能力與軟件產(chǎn)業(yè)結(jié)合并廣為產(chǎn)業(yè)界所接受，它將對(duì)軟件產(chǎn)業(yè)的發(fā)展起到巨大的推動(dòng)作用。這也就是作者寫(xiě)作本書(shū)的用意所在。本書(shū)是面向軟件項(xiàng)目開(kāi)發(fā)領(lǐng)導(dǎo)部門(mén)、管理機(jī)構(gòu)、質(zhì)量組織、開(kāi)發(fā)人員和軟件項(xiàng)目的購(gòu)置者、使用者和維護(hù)者的工程實(shí)用性讀物。同時(shí)，本書(shū)也面向培養(yǎng)上述人才的大專(zhuān)院校教師、高年級(jí)學(xué)生、研究生。因此，本書(shū)不追求冗長(zhǎng)、復(fù)雜的理論敘述，而著重于''''做什么''''、''''為什么做''''、''''怎樣做''''、''''結(jié)果是什么''''等這樣一些實(shí)用性軟件工程的內(nèi)容。本書(shū)共分7章。第1章作為基礎(chǔ)，敘述了軟件與硬件之間的區(qū)別及質(zhì)量、軟件質(zhì)量等一般性的概念，并敘述了造成軟件質(zhì)量低下的根源：軟件中的差錯(cuò)。第2章、第3章和第4章分別介紹了軟件質(zhì)量管理、質(zhì)量控制和質(zhì)量度量。由于軟件可靠性是軟件質(zhì)量中最重要的質(zhì)量因素，因此第5章專(zhuān)門(mén)對(duì)軟件可靠性、軟件可靠性模型及其應(yīng)用進(jìn)行了專(zhuān)門(mén)的論述。由于上述各質(zhì)量活動(dòng)不能無(wú)序、無(wú)計(jì)劃自動(dòng)進(jìn)行，而是要在強(qiáng)有力的監(jiān)督和保障之下，落實(shí)到開(kāi)發(fā)過(guò)程的每一個(gè)階段和每一個(gè)環(huán)節(jié)，因此，第6章安排了這樣的內(nèi)容：軟件質(zhì)量保障。第7章對(duì)近期軟件工程和軟件可靠性研究的某些問(wèn)題做了簡(jiǎn)單的提示。作者特別要感謝863計(jì)劃計(jì)算機(jī)軟硬件技術(shù)主題專(zhuān)家組和西安市科學(xué)技術(shù)局領(lǐng)導(dǎo)富有遠(yuǎn)見(jiàn)的支持；還要感謝西安軟件工程技術(shù)研究中心樓文曉主任和西安協(xié)同軟件股份有限公司前任總經(jīng)理蘇新雷先生，正是有了他們對(duì)軟件質(zhì)量在軟件產(chǎn)品開(kāi)發(fā)過(guò)程中及軟件產(chǎn)業(yè)發(fā)展中重要地位的深層次理解，才使我們有機(jī)會(huì)嘗試、應(yīng)用和實(shí)踐軟件質(zhì)量管理、控制、度量和保障的理論和方法；更要感謝郝克剛教授在寫(xiě)作過(guò)程中給予作者的指導(dǎo)，他還在百忙之中給本書(shū)撰寫(xiě)了序言。武漢大學(xué)軟件工程研究所的徐仁佐教授，中國(guó)航天總公司204研，究所的宋曉秋（博士）研究員，空軍工程大學(xué)的王興亮教授以及西安軟件工程技術(shù)研究中心、西安協(xié)同數(shù)碼軟件股份有限公司的同仁對(duì)本書(shū)的編寫(xiě)和出版給予了熱情的關(guān)心、幫助和支持，在此一并表示感謝。參加本書(shū)編寫(xiě)、審校、資料收集和其他輔助工作的還有：凌惠娟、孫訓(xùn)峰、姬偉鋒、王海濱、杜宏、安宣、李水清等。由于作者知識(shí)水平和工作經(jīng)驗(yàn)有限，書(shū)中難免有錯(cuò)誤和不當(dāng)之處，敬請(qǐng)讀者指正。

　　董云衛(wèi)，男，1968年7月出生，博士，工程師，西北工業(yè)大學(xué)計(jì)算機(jī)學(xué)院教授，西安協(xié)同軟件股份有限公司總工程師。董云衛(wèi)1987年考入哈爾濱工業(yè)大學(xué)數(shù)學(xué)系計(jì)算數(shù)學(xué)及應(yīng)用軟件專(zhuān)業(yè)學(xué)習(xí)。1988年是校“三好學(xué)生”。1991年本科畢業(yè)后就讀于哈爾濱工業(yè)大學(xué)仿真中心攻讀碩士學(xué)位，從事計(jì)算機(jī)真實(shí)感圖形生成算法的研究。在我國(guó)第一臺(tái)圖形生成陣列機(jī)研制開(kāi)發(fā)項(xiàng)目中從事關(guān)于操作系統(tǒng)shell圖形紋理應(yīng)用環(huán)境研究和開(kāi)發(fā)，該項(xiàng)目于1993年12月通過(guò)航天總公司驗(yàn)收。