軟件需求的質(zhì)量保證課件

軟件需求的質(zhì)量保證2006.1Luo_yanjing@150軟件需求的質(zhì)量保證150軟件需求的質(zhì)量保證軟件的質(zhì)量屬性軟件需求質(zhì)量保證250軟件需求的質(zhì)量保證軟件的質(zhì)量屬性250軟件的質(zhì)量屬性350軟件的質(zhì)量屬性350軟件的質(zhì)量屬性質(zhì)量屬性是很難定義的真正的現(xiàn)實系統(tǒng)中,在決定系統(tǒng)的成功或失敗的因素中,滿足非功能需求往往比滿足功能需求更為重要。如果開發(fā)者知道哪些特性對項目的成功至關(guān)重要,那么他們就能選擇軟件工程方法來達(dá)到特定的質(zhì)量目標(biāo)450軟件的質(zhì)量屬性質(zhì)量屬性是很難定義的450質(zhì)量屬性分類根據(jù)不同的設(shè)計可以把質(zhì)量屬性分類一種屬性分類的方法是把在運(yùn)行時可識別的特性與那些不可識別的特性區(qū)分開另一種方法是把對用戶很重要的可見特性與對開發(fā)者和維護(hù)者很重要的不可見特性區(qū)分開550質(zhì)量屬性分類根據(jù)不同的設(shè)計可以把質(zhì)量屬性分類550每個項目都要考慮軟件質(zhì)量屬性對用戶最重要的屬性有效性(availability)

高效性(efficiency)

靈活性(flexibility)完整性(integrity)

互操作性(interoperability)可靠性(reliability)健壯性(robustness)可用性(usability)對開發(fā)者最重要的屬性可維護(hù)性(maintainability)可移植性(portability)可重用性(reusability)可測試性(testability)650每個項目都要考慮軟件質(zhì)量屬性對用戶最重要的屬性對開發(fā)者最重定義質(zhì)量屬性必須根據(jù)用戶對系統(tǒng)的期望來確定質(zhì)量屬性。定量地確定重要屬性提供了對用戶期望的清晰理解,有助于設(shè)計者提出最合理的解決方案750定義質(zhì)量屬性必須根據(jù)用戶對系統(tǒng)的期望來確定質(zhì)量屬性。750定義質(zhì)量屬性的方法想出對于不同的用戶類可能很重要的屬性,并根據(jù)每一個屬性設(shè)計出許多問題。利用這些問題詢問每一個用戶類的代表,這些問題的回答有助于分析員決定哪些質(zhì)量特性用作設(shè)計標(biāo)準(zhǔn)是最重要的?？梢园衙總€屬性分成一級(不必多加考慮的屬性)到五級(極其重要的屬性)。850定義質(zhì)量屬性的方法想出對于不同的用戶類可能很重要的屬性,并定義質(zhì)量屬性的方法分析員與用戶一起為每一屬性確定特定的、可測量的和可驗證的需求。如果質(zhì)量目標(biāo)不可驗證,那么就說不清你是否達(dá)到這些目標(biāo)。在合適的地方為每一個屬性或目標(biāo)指定級別或測量單位,以及最大和最小值。如果不能定量地確定某些對你的項目很重要的屬性,那么至少應(yīng)該確定其優(yōu)先級。950定義質(zhì)量屬性的方法分析員與用戶一起為每一屬性確定特定的、可定義質(zhì)量屬性的方法另一個定義屬性的方法是確定任何與質(zhì)量期望相沖突的系統(tǒng)行為。通過定義一種反向需求,可以設(shè)計出強(qiáng)制系統(tǒng)表現(xiàn)出那些行為的測試用例。如果不能強(qiáng)制系統(tǒng),那么你可能達(dá)到了你的屬性目標(biāo)。這種方法最適用于要求安全性能很高的應(yīng)用程序,在這些應(yīng)用程序中,系統(tǒng)的差錯可能會導(dǎo)致致命危險。1050定義質(zhì)量屬性的方法另一個定義屬性的方法是確定任何與質(zhì)量期望相1.有效性有效性指的是在預(yù)定的啟動時間中,系統(tǒng)真正可用并且完全運(yùn)行時間所占的百分比。更正式地說,有效性等于系統(tǒng)的平均故障時間(MTTF)除以平均故障時間與故障修復(fù)時間之和。一個有效性需求可能這樣說明:"工作日期間,在當(dāng)?shù)貢r間早上6點到24點,系統(tǒng)的有效性至少達(dá)到99.5%,在14點到18點,系統(tǒng)的有效性至少可達(dá)到99.95%。11501.有效性有效性指的是在預(yù)定的啟動時間中,系統(tǒng)真正可用并且完2.效率效率是用來衡量系統(tǒng)如何優(yōu)化處理器、磁盤空間或通信帶寬的。如果系統(tǒng)用完了所有可用的資源,那么用戶遇到的將是性能的下降,這是效率降低的一個表現(xiàn),拙劣的系統(tǒng)性能可能激怒等待數(shù)據(jù)庫查詢結(jié)果的用戶,或者可能對系統(tǒng)安全性造成威脅。就像一個實時處理系統(tǒng)超負(fù)荷一樣。為了在不可預(yù)料的條件下允許安全緩沖,你可以這樣定義:"在預(yù)計的高峰負(fù)載條件下,10%處理器能力和15%系統(tǒng)可用內(nèi)存必須留出備用。"在定義性能、能力和效率目標(biāo)時,考慮硬件的最小配置是很重要的。12502.效率效率是用來衡量系統(tǒng)如何優(yōu)化處理器、磁盤空間或通信帶寬3.靈活性靈活性就像我們所知道的可擴(kuò)充性、增加性、可延伸性和可擴(kuò)展性一樣,靈活性表明了在產(chǎn)品中增加新功能時所需工作量的大小。靈活性對于通過一系列連續(xù)的發(fā)行版本,并采用漸增型和重復(fù)型方式開發(fā)的產(chǎn)品是很重要的。實例:“一個至少具有6個月產(chǎn)品支持經(jīng)驗的軟件維護(hù)程序員可以在4個小時之內(nèi)為系統(tǒng)添加一個新格式的打印報表。"13503.靈活性靈活性就像我們所知道的可擴(kuò)充性、增加性、可延伸性和4.完整性(或安全性)完整性(或安全性)主要涉及:防止非法訪問系統(tǒng)功能、防止數(shù)據(jù)丟失、防止病毒入侵并防止私人數(shù)據(jù)進(jìn)入系統(tǒng)。完整性的需求不能犯任何錯誤,即數(shù)據(jù)和訪問必須通過特定的方法完全保護(hù)起來。用明確的術(shù)語陳述完整性的需求,如身份驗證、用戶特權(quán)級別、訪問約束或者需要保護(hù)的精確數(shù)據(jù)。一個完整性的需求樣本可以這樣描述:"只有擁有查賬員訪問特權(quán)的用戶才可以查看客戶交易歷史。"14504.完整性(或安全性)完整性(或安全性)主要涉及:防止非法訪5.互操作性互操作性表明了產(chǎn)品與其它系統(tǒng)交換數(shù)據(jù)和服務(wù)的難易程度。為了評估互操作性是否達(dá)到要求的程度,必須知道用戶使用其它哪一種應(yīng)用程序與你的產(chǎn)品相連接,還要知道他們要交換什么數(shù)據(jù)。15505.互操作性互操作性表明了產(chǎn)品與其它系統(tǒng)交換數(shù)據(jù)和服務(wù)的難易6.可靠性可靠性是軟件無故障執(zhí)行一段時間的概率(健壯性和有效性有時可看成是可靠性的一部分)。衡量軟件可靠性的方法包括正確執(zhí)行操作所占的比例,在發(fā)現(xiàn)新缺陷之前系統(tǒng)運(yùn)行的時間長度和缺陷出現(xiàn)的密度。根據(jù)如果發(fā)生故障對系統(tǒng)有多大影響和對于最大的可靠性的費(fèi)用是否合理,來定量地確定可靠性需求。如果軟件滿足了它的可靠性需求,那么即使該軟件還存在缺陷,也可認(rèn)為達(dá)到其可靠性目標(biāo)。16506.可靠性可靠性是軟件無故障執(zhí)行一段時間的概率(健壯性和有效7.健壯性健壯性指的是當(dāng)系統(tǒng)或其組成部分遇到非法輸入數(shù)據(jù)、相關(guān)軟件或硬件組成部分的缺陷或異常的操作情況時,能繼續(xù)正確運(yùn)行功能的程度。健壯的軟件可以從發(fā)生問題的環(huán)境中完好地恢復(fù)并且可容忍用戶的錯誤。當(dāng)從用戶那里獲取健壯性的目標(biāo)時,詢問系統(tǒng)可能遇到的錯誤條件并且要了解用戶想讓系統(tǒng)如何響應(yīng)。定義實例：所有的輸入?yún)?shù)都要指定一個缺省值,當(dāng)輸入數(shù)據(jù)丟失或無效時,就使用缺省值數(shù)據(jù)。17507.健壯性健壯性指的是當(dāng)系統(tǒng)或其組成部分遇到非法輸入數(shù)據(jù)、相8.可用性(易用性)可用性也稱為易用性,它所描述的是許多組成用戶友好的因素?？捎眯院饬坑脩魷?zhǔn)備輸入、操作和理解產(chǎn)品輸出所花費(fèi)的努力?？捎眯缘挠懻摽梢缘贸隹蓽y量的目標(biāo),例如“一個培訓(xùn)過2小時的用戶應(yīng)該可以在平均3分鐘或最多5分鐘時間以內(nèi),完成從供應(yīng)商目錄中請求一種商品的操作。"18508.可用性(易用性)可用性也稱為易用性,它所描述的是許多組成9.可維護(hù)性可維護(hù)性表明了在軟件中糾正一個缺陷或做一次更改的簡易程度?？删S護(hù)性取決于理解軟件、更改軟件和測試軟件的簡易程度,可維護(hù)性與靈活性密切相關(guān)。高可維護(hù)性對于那些經(jīng)歷周期性更改的產(chǎn)品或快速開發(fā)的產(chǎn)品很重要。你可以根據(jù)修復(fù)一個問題所花費(fèi)的平均時間和修復(fù)正確的百分比來衡量可維護(hù)性。例：對于現(xiàn)有報表的更改操作必須在一周內(nèi)完成。19509.可維護(hù)性可維護(hù)性表明了在軟件中糾正一個缺陷或做一次更改的10.可移植性可移植性是度量把一個軟件從一種運(yùn)行環(huán)境轉(zhuǎn)移到另一種運(yùn)行環(huán)境中所花費(fèi)的工作量。軟件可移植的設(shè)計方法與軟件可重用的設(shè)計方法相似?？梢浦残詫τ诠こ痰某晒κ遣恢匾?對工程的結(jié)果也無關(guān)緊要。205010.可移植性可移植性是度量把一個軟件從一種運(yùn)行環(huán)境轉(zhuǎn)移到另11.可重用性從軟件開發(fā)的長遠(yuǎn)目標(biāo)上看,可重用性表明一個軟件組件除了在最初開發(fā)的系統(tǒng)中使用之外,還可以在其它應(yīng)用程序中使用的程度。比起創(chuàng)建一個你打算只在一個應(yīng)用程序中使用的組件,開發(fā)可重用軟件的費(fèi)用會更大些?？芍赜密浖仨殬?biāo)準(zhǔn)化、資料齊全、不依賴于特定的應(yīng)用程序和運(yùn)行環(huán)境,并具有一般性。215011.可重用性從軟件開發(fā)的長遠(yuǎn)目標(biāo)上看,可重用性表明一個軟件12.可測試性可測試性指的是測試軟件組件或集成產(chǎn)品時查找缺陷的簡易程度。如果產(chǎn)品中包含復(fù)雜的算法和邏輯,或如果具有復(fù)雜的功能性的相互關(guān)系,那么對于可測試性的設(shè)計就很重要。如果經(jīng)常更改產(chǎn)品,那么可測試性也是很重要的,因為將經(jīng)常對產(chǎn)品進(jìn)行回歸測試來判斷更改是否破壞了現(xiàn)有的功能性。225012.可測試性可測試性指的是測試軟件組件或集成產(chǎn)品時查找缺陷屬性的取舍有時,不可避免地要對一些特定的屬性對進(jìn)行取舍。用戶和開發(fā)者必須確定哪些屬性比其它屬性更為重要,并定出優(yōu)先級。質(zhì)量屬性之間一些典型的相互關(guān)系單元格中的加號表明單元格所在行的屬性增加了對其所在列的屬性的積極影響。單元格中的減號表明單元格所在行的屬性增加了對其所在列的屬性的不利影響。2350屬性的取舍有時,不可避免地要對一些特定的屬性對進(jìn)行取舍。用有效性高效性靈活性完整性互操作性可維護(hù)性可移植性可靠性可重用性健壯性可測試性可用性可用性可測試性健壯性可重用性可靠性可移植性可維護(hù)性互操作性完整性靈活性高效性有效性++++--------------------+++++++++++-------+++++++++--++++++++++++質(zhì)量屬性之間典型的相互關(guān)系

+積極影響-不利影響2450有效性++++--------------------+++屬性的取舍為了達(dá)到產(chǎn)品特性的最佳平衡,必須在需求獲取階段識別、確定相關(guān)的質(zhì)量屬性,并且為之確定優(yōu)先級。當(dāng)為項目定義重要的質(zhì)量屬性時,利用質(zhì)量屬性之間一些典型的相互關(guān)系圖可以防止發(fā)生與目標(biāo)沖突的行為。2550屬性的取舍為了達(dá)到產(chǎn)品特性的最佳平衡,必須在需求獲取階段識別軟件需求質(zhì)量保證2650軟件需求質(zhì)量保證2650八個需求質(zhì)量屬性正確的需求無歧義完整性一致性可驗證可修改可跟蹤可理解性2750八個需求質(zhì)量屬性正確的需求27501.正確的需求一個SRS(需求集)是正確的,當(dāng)且僅當(dāng)其中每條需求都代表了要構(gòu)造系統(tǒng)所要完成的事物。只是簡單地在文檔中寫一些信息是不能保證正確的,任何自動設(shè)計工具也不能保證正確。28501.正確的需求一個SRS(需求集)是正確的,當(dāng)且僅當(dāng)其中每需要和需求的全域在一個軟件項目中經(jīng)常發(fā)生的是遺漏區(qū)域A表示的信息,意外地把C區(qū)域表示的信息包括進(jìn)來。區(qū)域C中所代表的信息可能是設(shè)計和實現(xiàn)細(xì)節(jié),但也可能包含用戶沒有要求的需求。用戶需要的全域A正確的需求B需求C2950需要和需求的全域在一個軟件項目中經(jīng)常發(fā)生的是遺漏區(qū)域A表示的正確需求的保證學(xué)習(xí)軟件項目的領(lǐng)域知識由領(lǐng)域?qū)＜液陀脩魠⒓有枨蠊ぷ鹘?jīng)常與用戶進(jìn)行溝通掌握一定的需求獲取和分析的方法和技術(shù)具備經(jīng)驗證的需求結(jié)構(gòu)框架執(zhí)行基本的需求過程3050正確需求的保證學(xué)習(xí)軟件項目的領(lǐng)域知識30502.無歧義的需求如果項目開發(fā)人員、用戶以及其他風(fēng)險承擔(dān)人對一條需求有不同的解釋,那么需求可能是有二義性的。只要需求是用自然語言書寫的,二義性就會存在。31502.無歧義的需求如果項目開發(fā)人員、用戶以及其他風(fēng)險承擔(dān)人對無歧義需求的保證無歧義需求保證的唯一方法是對每項需求編寫驗收標(biāo)準(zhǔn)。驗收標(biāo)準(zhǔn)是對需求的量化，是需求的度量方式。只要有可能驗收標(biāo)準(zhǔn)就使用數(shù)字而不是單詞來表達(dá)需求。驗收標(biāo)準(zhǔn)是需求的度量方式，它使測試者能夠確定提交的產(chǎn)品是否滿足需求，不會引起任何主觀的判斷。不同類型的驗收標(biāo)準(zhǔn)使用不同的度量尺度和度量方法并且包括業(yè)務(wù)允許的誤差范圍。3250無歧義需求的保證無歧義需求保證的唯一方法是對每項需求編寫驗收3.需求集的完整性需求集完整的描述了用戶關(guān)心的所有有意義的需求,包括與功能、性能、設(shè)計約束、屬性或外部接口有關(guān)的需求,還必須為需求集中所有的插圖、表和圖以及所有名詞和度量單元的定義提供完整的引用和標(biāo)記。33503.需求集的完整性需求集完整的描述了用戶關(guān)心的所有有意義的完整性的保證完整性的保證需要有一個需求集框架(模板)，它使得收集所有的需求組成部分以得到完整的需求集變的比較容易。需求集框架是需求項集合的一個容器，框架確定了需求集和需求項的組成部分，可以使用該框架來幫助檢查需求集和需求項是否完整。3450完整性的保證完整性的保證需要有一個需求集框架(模板)，它使得基于用例的需求集完整性框架

3550基于用例的需求集完整性框架35504.需求集的一致性需求集是內(nèi)在一致的當(dāng)且僅當(dāng)其中沒有單個需求的子集與另一個子集沖突(IEEE830·1993)。沖突可以有多種形式而且在多種細(xì)節(jié)程度上可見。開發(fā)人員和非開發(fā)人員的手工評審是必要的,能夠找到潛在的沖突。36504.需求集的一致性需求集是內(nèi)在一致的當(dāng)且僅當(dāng)其中沒有單個需需求集非一致性的例子例如"當(dāng)X發(fā)生時,執(zhí)行動作P",但需求的另一部分可能說"當(dāng)X發(fā)生時,執(zhí)行動作Q"。有時,一個問題是沖突還是歧義性很難區(qū)分開。例如,在工資系統(tǒng)的需求的一部分可能會說“所有65歲以上的員工在年末應(yīng)該得到1000元的獎勵”,需求的另一部分可能會說“所有有10年以上工作經(jīng)歷的人在年未應(yīng)得到500元的獎勵"。那么對同時滿足這兩個條件的員工應(yīng)該怎么辦?3750需求集非一致性的例子例如"當(dāng)X發(fā)生時,執(zhí)行動作P",但需求的保證一致性的方法為了指定只能以一種方式理解需求需要做兩件事：在規(guī)格說明書中對使用的術(shù)語進(jìn)行定義，對它們的含義進(jìn)行說明(詞匯術(shù)語表)。檢查每項需求使用術(shù)語的方式都與它們的定義相符。3850保證一致性的方法為了指定只能以一種方式理解需求需要做兩件事：5.可驗證的需求需求必須是可驗證的或“可測試的”。“可驗證的或可測試的”需要合理的定義良好的無歧義的需求。如果需求是不可驗證的,則說明需求尚不明確，同時意味著缺乏開發(fā)依據(jù),確認(rèn)缺乏標(biāo)準(zhǔn)。驗收標(biāo)準(zhǔn)和驗證項有一定的區(qū)別,驗收標(biāo)準(zhǔn)用于確認(rèn)提交的軟件最終產(chǎn)品,驗證項用于確認(rèn)需求。39505.可驗證的需求需求必須是可驗證的或“可測試的”。3950可驗證需求的保證可驗證需求保證的唯一方法是對每項需求編寫足夠的驗證項并由用戶參加對驗證進(jìn)行評審。4050可驗證需求的保證可驗證需求保證的唯一方法是對每項需求編寫足夠?qū)嵗到y(tǒng)響應(yīng)任意查詢的時間應(yīng)該小于500毫秒要根據(jù)‘任意’一詞的具體含義來定。如果可能查詢的范圍是有限的,并且如果能確定最復(fù)雜的查詢,就能驗證系統(tǒng)的行為。4150實例系統(tǒng)響應(yīng)任意查詢的時間應(yīng)該小于500毫秒4150無法驗證和測試的需求時間的顯示應(yīng)該把數(shù)字顯示得漂亮一些。系統(tǒng)應(yīng)該是用戶友好的。如何對上述兩條需求進(jìn)行驗證?4250無法驗證和測試的需求時間的顯示應(yīng)該把數(shù)字顯示得漂亮一些。426.可修改的需求集需求集的結(jié)構(gòu)和風(fēng)格可以對其中任一需求的變更很容易地、完整地、一致地進(jìn)行,同時保持己存在的需求集的結(jié)構(gòu)和風(fēng)格。43506.可修改的需求集需求集的結(jié)構(gòu)和風(fēng)格可以對其中任一需求的變可修改需求集的保證開發(fā)團(tuán)隊統(tǒng)一的需求開發(fā)框架、標(biāo)準(zhǔn)、規(guī)范和模板。要求包含需求的包具有最小的冗余并且以恰當(dāng)?shù)哪夸?、索引以及交叉引用的能力。開發(fā)團(tuán)隊統(tǒng)一的需求開發(fā)平臺和集成工具。4450可修改需求集的保證開發(fā)團(tuán)隊統(tǒng)一的需求開發(fā)框架、標(biāo)準(zhǔn)、規(guī)范和模7.可跟蹤的需求從最初提出需求到最后需求的實現(xiàn)成為提交的工作產(chǎn)品,要經(jīng)歷許多階段，每個階段都是一種轉(zhuǎn)換。在轉(zhuǎn)換過程中需求做為一種知識和信息,有可能因為開發(fā)人員的誤解造成知識和信息的失真和衰減。能夠把最初的需求與最后提交的產(chǎn)品中實現(xiàn)該需求的部分聯(lián)系起來是很重要的。45507.可跟蹤的需求從最初提出需求到最后需求的實現(xiàn)成為提交的工作可跟蹤的需求如果需求是可跟蹤的，那么當(dāng)更改發(fā)生時，找出產(chǎn)品的哪些部分將受到更改的影響就更容易。確保需求可跟蹤性意味著可以設(shè)計出最有效的方式來進(jìn)行更改。4650可跟蹤的需求如果需求是可跟蹤的，那么當(dāng)更改發(fā)生時，找出產(chǎn)品跟蹤性的保證為了確認(rèn)每項需求是可追蹤的，必須具備：唯一的需求標(biāo)識需求或限制類型的說明該需求所屬的所有業(yè)務(wù)事件和用例的引用對其它有沖突需求的引用對該需求有某種更改影響的相關(guān)需求的引用一致的使用術(shù)語(用引用的方法使用術(shù)語)4750跟蹤性的保證為了確認(rèn)每項需求是可追蹤的，必須具備：47508.可理解的需求用戶和開發(fā)人員都能完全理解單個需求和需求集包含的全部功能。當(dāng)我們細(xì)化系統(tǒng)定義即產(chǎn)生詳細(xì)需求時,各種描述更加明確和詳細(xì)寫需求的人必須理解所有讀者的專業(yè)詞匯、術(shù)語和文化。需求集的用戶是否能從整體上理解系統(tǒng)的行為也非常重要?？梢酝ㄟ^提供場景或說明性用例展示系統(tǒng)在運(yùn)行環(huán)境的使用來實現(xiàn)。48508.可理解的需求用戶和開發(fā)人員都能完全理解單個需求和需求集可理解性的保證構(gòu)造對于不同涉眾理解的四種模型：業(yè)務(wù)模型面向客戶和用戶的模型(企事業(yè)過程模型EPMS)需求模型面向客戶和分析人員的模型(用例模型+驗證模型)分析模型面向設(shè)計人員的模型(靜態(tài)和動態(tài)模型)設(shè)計模型面向?qū)崿F(xiàn)人員的模型(詳細(xì)設(shè)計模型)4950可理解性的保證構(gòu)造對于不同涉眾理解的四種模型：4950END北京航空航天大學(xué)軟件工程研究所羅燕京Luo_yanjing@5050END北京航空航天大學(xué)軟件工程研究所50501、有時候讀書是一種巧妙地避開思考的方法。9月-239月-23Monday,September4,20232、閱讀一切好書如同和過去最杰出的人談話。12:2