第六章軟件需求驗(yàn)證課程提綱軟件需求基本理論和概念

軟件需求工程過(guò)程

軟件需求獲取

軟件需求分析

軟件需求規(guī)格說(shuō)明

軟件需求驗(yàn)證

軟件需求管理

軟件需求實(shí)現(xiàn)

軟件需求工程新進(jìn)展

軟件需求開(kāi)發(fā)與需求管理工具內(nèi)容提要軟件的質(zhì)量屬性分析需求質(zhì)量驗(yàn)證需求評(píng)審需求測(cè)試軟件質(zhì)量屬性列表對(duì)用戶(hù)最重要的屬性：對(duì)開(kāi)發(fā)者最重要的屬性：可用性（availability）可維護(hù)性(maintainability）高效性(efficiency)可移植性(portability)靈活性(flexibility)可重用性(reusability)完整性(integrity)可測(cè)試性(testability)互操作性(interoperability)可靠性(reliability)健壯性(robustness)Relationshipsamongselectedqualityattributes2.需求質(zhì)量驗(yàn)證需求驗(yàn)證是需求開(kāi)發(fā)的第四部分（其余三個(gè)為獲取、分析和編寫(xiě)規(guī)格說(shuō)明），所包括的活動(dòng)是為了確定以下幾方面的內(nèi)容：軟件需求規(guī)格說(shuō)明正確描述了預(yù)期的系統(tǒng)行為和特征。從系統(tǒng)需求或其它來(lái)源中得到軟件需求。需求是完整的和高質(zhì)量的。所有對(duì)需求的看法是一致的。需求為繼續(xù)進(jìn)行產(chǎn)品設(shè)計(jì)、構(gòu)造和測(cè)試提供了足夠的基礎(chǔ)。在收集需求并編寫(xiě)成需求文檔后，你所進(jìn)行的需求驗(yàn)證并不僅僅是一個(gè)獨(dú)立的階段。一些驗(yàn)證活動(dòng)，例如對(duì)漸增型軟件需求規(guī)格說(shuō)明的反復(fù)評(píng)審，將貫穿著反復(fù)獲取需求、分析和編寫(xiě)規(guī)格說(shuō)明的整個(gè)過(guò)程。其它的驗(yàn)證步驟，例如軟件需求規(guī)格說(shuō)明的正式審查，是在正式確定軟件需求規(guī)格說(shuō)明基線(xiàn)之前對(duì)需求分析質(zhì)量進(jìn)行的最后一次有用的質(zhì)量過(guò)濾。當(dāng)你的項(xiàng)目計(jì)劃或?qū)嶋H工作中的獨(dú)立任務(wù)破壞了結(jié)構(gòu)性時(shí)，就要結(jié)合進(jìn)行需求驗(yàn)證活動(dòng)，并且為隨后出現(xiàn)的返工預(yù)先安排一段時(shí)間，這通常會(huì)在質(zhì)量控制活動(dòng)之后進(jìn)行。需求質(zhì)量驗(yàn)證有時(shí)，項(xiàng)目的參與者不愿意在評(píng)審和測(cè)試軟件需求規(guī)格說(shuō)明上花費(fèi)時(shí)間。雖然在計(jì)劃安排中插入一段時(shí)間來(lái)提高需求質(zhì)量似乎相應(yīng)地把交付日期延遲了一段時(shí)間，但是這種想法是建立在假設(shè)驗(yàn)證需求上的投資將不產(chǎn)生效果的基礎(chǔ)上的。實(shí)際上，這種投資可以減少返工并加快系統(tǒng)測(cè)試，從而真正縮短了開(kāi)發(fā)時(shí)間。需求質(zhì)量驗(yàn)證ValidationAnswerthequestion“DoIbuildtherightthing?”Requirementsvalidationisdoneeitheragainstreal-worlduserneedsorhighlevelrequirementsspecifications需求評(píng)審由一些非軟件開(kāi)發(fā)人員進(jìn)行產(chǎn)品檢查以發(fā)現(xiàn)產(chǎn)品所存在的問(wèn)題，這就是技術(shù)評(píng)審。需求文檔的評(píng)審是一項(xiàng)精益求精的技術(shù)，它可以發(fā)現(xiàn)那些二義性的或不確定的需求，那些由于定義不清而不能作為設(shè)計(jì)基礎(chǔ)的需求，還有那些實(shí)際上是設(shè)計(jì)規(guī)格說(shuō)明的所謂的“需求”。需求評(píng)審也為風(fēng)險(xiǎn)承擔(dān)者們提供了在特定問(wèn)題上達(dá)成共識(shí)的方法。需求評(píng)審方法非正式評(píng)審的方法包括把工作產(chǎn)品分發(fā)給許多其它的開(kāi)發(fā)人員粗略看一看和走過(guò)場(chǎng)似地檢查一遍（walkthrough）。正式技術(shù)評(píng)審的最好類(lèi)型叫作審查（Inspection）。正式評(píng)審內(nèi)容需要記錄在案，它包括確定材料、評(píng)審員、評(píng)審小組對(duì)產(chǎn)品是否完整或是否需要進(jìn)一步工作的判定，以及對(duì)所發(fā)現(xiàn)的錯(cuò)誤和所提出的問(wèn)題的總結(jié)。正式評(píng)審小組的成員對(duì)評(píng)審的質(zhì)量負(fù)責(zé)，而開(kāi)發(fā)者則最終對(duì)他們所開(kāi)發(fā)的產(chǎn)品的質(zhì)量負(fù)責(zé)。如果你對(duì)提高軟件的質(zhì)量持有認(rèn)真的態(tài)度，那么就審查所編寫(xiě)需求文檔的每一行。SoftwareRequirementReviewInformalreviewPeerdeskcheckPassaround,suchasthroughemailWalkthroughFormalreviewsFaganinspection-usedbymanyorganizationasaneffectivewaytoimprovesoftwarequalityPeerReview需求審查過(guò)程審查中每個(gè)成員扮演的角色作者。作者創(chuàng)建或維護(hù)正在被審查的產(chǎn)品。調(diào)解者。調(diào)解者（moderator）或者審查主持者所做的是：與作者一起為審查制訂計(jì)劃，協(xié)調(diào)各種活動(dòng)，并且推進(jìn)審查會(huì)的進(jìn)行。讀者。讀者的角色由審查員扮演。記錄員。記錄員，或書(shū)記員，用標(biāo)準(zhǔn)化的形式記錄在審查會(huì)中提出的問(wèn)題和缺陷。記錄員必須仔細(xì)審查所寫(xiě)的材料以確保記錄的正確性。需求審查過(guò)程審查階段規(guī)劃（Planning）。作者和調(diào)解者協(xié)同對(duì)審查進(jìn)行規(guī)劃，以決定誰(shuí)該參加審查，審查員在召開(kāi)審查會(huì)之前應(yīng)收到什么材料并且需要召開(kāi)幾次審查會(huì)?？傮w會(huì)議（overviewmeeting）?？傮w會(huì)議可以為審查員提供了解會(huì)議的信息，包括他們要審查的材料的背景，作者所作的假設(shè)和作者的特定審查目標(biāo)。準(zhǔn)備（Preparation）。在正式審查的準(zhǔn)備階段，每個(gè)審查員以典型缺陷（defect）清單（在本章的后面部分介紹）為指導(dǎo)，檢查產(chǎn)品可能出現(xiàn)的錯(cuò)誤，并提出問(wèn)題。需求審查過(guò)程審查階段審查會(huì)議（Inspectionmeeting）。在審查會(huì)進(jìn)行過(guò)程中，讀者通過(guò)軟件需求規(guī)格說(shuō)明指導(dǎo)審查小組，一次解釋一個(gè)需求。當(dāng)審查員提出可能的錯(cuò)誤或其它問(wèn)題時(shí)，記錄員就記錄這些內(nèi)容，其形式可以成為需求作者的工作項(xiàng)列表。會(huì)議的目的是盡可能多地發(fā)現(xiàn)需求規(guī)格說(shuō)明中的重大缺陷。重寫(xiě)（rework）。我所觀(guān)察到的幾乎每一個(gè)質(zhì)量控制活動(dòng)都可能發(fā)現(xiàn)一些需求缺陷。因此，作者必須在審查會(huì)之后，安排一段時(shí)間用于重寫(xiě)文檔。重審（follow-up）。這是審查工作的最后一步，調(diào)解者或指派人單獨(dú)重審由作者重寫(xiě)的需求規(guī)格說(shuō)明。重審確保了所有提出的問(wèn)題都能得到解決，并且正確修改了需求的錯(cuò)誤。重審結(jié)束了審查的全過(guò)程并且可以使調(diào)解者做出判斷：是否已滿(mǎn)足審查的退出標(biāo)準(zhǔn)。需求審查過(guò)程進(jìn)入和退出審查的標(biāo)準(zhǔn)一些關(guān)于需求文檔的退出標(biāo)準(zhǔn)：已經(jīng)明確闡述了審查員提出的所有問(wèn)題。已經(jīng)正確修改了文檔。修訂過(guò)的文檔已經(jīng)進(jìn)行了拼寫(xiě)檢查和語(yǔ)法檢查。所有TBD的問(wèn)題已經(jīng)全部解決，或者已經(jīng)記錄下每個(gè)待確定問(wèn)題的解決過(guò)程，目標(biāo)日期和提出問(wèn)題的人。文檔已經(jīng)登記入項(xiàng)目的配置管理系統(tǒng)。檢查是否已將審查過(guò)的資料送到有關(guān)收集處。需求審查過(guò)程需求審查清單為了使審查員警惕他們所審查的產(chǎn)品中的習(xí)慣性錯(cuò)誤，對(duì)你的公司所創(chuàng)建的每一類(lèi)型的需求文檔建立一份清單。這些清單可以提醒審查員以前經(jīng)常發(fā)生的需求問(wèn)題。需求評(píng)審的困難大型的需求文檔龐大的審查小組確保每個(gè)參與者都是為了尋找錯(cuò)誤，而不是為了解軟件需求規(guī)格說(shuō)明中的內(nèi)容或者為了維護(hù)行政上的位置。理解審查員所代表的觀(guān)點(diǎn)（例如客戶(hù)、開(kāi)發(fā)者或測(cè)試者），并且委婉地拒絕以相同的觀(guān)點(diǎn)看待問(wèn)題的參與者。把審查組分成若干小組并行地審查軟件需求規(guī)格說(shuō)明，并把他們發(fā)現(xiàn)的錯(cuò)誤集中起來(lái)，剔除重復(fù)的部分。審查員在地域上的分散需求測(cè)試在開(kāi)發(fā)過(guò)程的早期階段，可以從使用實(shí)例中獲得概念上的功能測(cè)試用例。然后，你就可以利用測(cè)試用例來(lái)驗(yàn)證文本需求規(guī)格說(shuō)明和分析模型（例如對(duì)話(huà)圖）并評(píng)價(jià)原型。這些基于模仿使用的測(cè)試用例可以作為客戶(hù)驗(yàn)收測(cè)試的基礎(chǔ)。在正式的系統(tǒng)測(cè)試中，可以把它們?cè)斒龀蓽y(cè)試用例和過(guò)程。在客戶(hù)定義他們驗(yàn)收的標(biāo)準(zhǔn)時(shí)，你詢(xún)問(wèn)客戶(hù)的基本問(wèn)題是：“如果開(kāi)發(fā)出你們所期望的軟件，你是怎么來(lái)判斷開(kāi)發(fā)出的軟件是你真正所需要的？”如果他們不能回答關(guān)于每個(gè)特性或使用實(shí)例的這種問(wèn)題，他們就必須澄清需求。需求測(cè)試的含義最初對(duì)你來(lái)說(shuō)可能看起來(lái)比較抽象?？梢杂靡粋€(gè)例子把這個(gè)概念描述得更清楚，所以讓我們看一下“化學(xué)制品跟蹤系統(tǒng)”的開(kāi)發(fā)組是如何把需求規(guī)格說(shuō)明、分析模型和早期創(chuàng)建的測(cè)試用例結(jié)合在一起。下面列出了與請(qǐng)求化學(xué)制品這一任務(wù)相關(guān)的一個(gè)業(yè)務(wù)需求、使用實(shí)例、功能需求、部分對(duì)話(huà)圖和一個(gè)測(cè)試用例。業(yè)務(wù)需求，該系統(tǒng)的一個(gè)主要業(yè)務(wù)動(dòng)機(jī)可以用如下的需求來(lái)描述：“化學(xué)制品跟蹤系統(tǒng)”通過(guò)鼓勵(lì)重復(fù)使用公司中可用的那些化學(xué)制品容器以降低購(gòu)買(mǎi)費(fèi)用。使用實(shí)例，與這個(gè)業(yè)務(wù)需求相一致的一個(gè)使用實(shí)例是“請(qǐng)求一種化學(xué)制品”，它包括允許用戶(hù)請(qǐng)求化學(xué)制品倉(cāng)庫(kù)中已有的化學(xué)制品的路徑。功能需求，以下是關(guān)于讓用戶(hù)選擇可用的化學(xué)制品的一些功能，而不是向外部供應(yīng)商發(fā)送訂單：如果請(qǐng)求化學(xué)制品倉(cāng)庫(kù)中的容器，系統(tǒng)將顯示可用容器的列表，用戶(hù)就可以選擇一個(gè)容器或要求向外部供應(yīng)商訂購(gòu)一個(gè)新容器。對(duì)話(huà)圖（dialogmap），圖14-6描述了“請(qǐng)求一種化學(xué)制品”使用實(shí)例中關(guān)于這一功能的部分對(duì)話(huà)圖。測(cè)試用例（testcase），由于這個(gè)使用實(shí)例有許多可能的執(zhí)行路徑，所以你可以想出許多測(cè)試用例來(lái)闡明普通過(guò)程、可選過(guò)程和例外。需求測(cè)試RfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)#oXlUiQfNbK8H5D2A+x*u$qZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A+x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E3B+y(u%r#kShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYngOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G5D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThQeMbJ7G0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4y)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oWlTiQeNb