軟件質(zhì)量與質(zhì)量保證

軟件質(zhì)量與質(zhì)量保證一、軟件質(zhì)量的定義軟件質(zhì)量反映了以下三方面的問題。軟件需求是度量軟件質(zhì)量的基礎(chǔ)，不符合需求的軟件就不具備質(zhì)量。在各種標(biāo)準(zhǔn)中定義了一些開發(fā)準(zhǔn)則，用來指導(dǎo)軟件人員用工程化的方法來開發(fā)軟件。如果不遵守這些開發(fā)準(zhǔn)則，軟件質(zhì)量就得不到保證。往往會有一些隱含的需求沒有明確地提出來。如果軟件只滿足那些精確定義了的需求而沒有滿足這些隱含的需求，軟件質(zhì)量也不能保證。二影響軟件質(zhì)■的因素影響軟件質(zhì)量的主要因素軟件質(zhì)量討論評價應(yīng)遵守的原則三軟件質(zhì)量保證策略為了在軟件開發(fā)過程中保證軟件的質(zhì)量，主要采取下述措施：審查復(fù)查和管理復(fù)審測試四、軟件質(zhì)量保證活動驗證與確認開發(fā)時期的配置管理五、軟件評審?fù)ǔ?，把質(zhì)量定義為用戶的滿意程度。為使得用戶滿意，有兩個必要條件：（1） 設(shè)計的規(guī)格說明要符合用戶的要求；（2） 程序要按照設(shè)計規(guī)格說明所規(guī)定的情況正確執(zhí)行。設(shè)計質(zhì)量的評審內(nèi)容程序質(zhì)量的評審內(nèi)容軟件的結(jié)構(gòu)與運行環(huán)境的接口六、 軟件質(zhì)量保證的標(biāo)準(zhǔn).ISO質(zhì)量保證模型.ISO9001標(biāo)準(zhǔn)七、 結(jié)構(gòu)化的軟件測試軟件測試在程序員對每一個模塊的編碼之后先做程序測試，再做單元測試，然后再進行集成（綜合或組裝）測試，系統(tǒng)測試，驗收（確認）測試，平行測試，人工測試，其中單元測試的一部分己在編碼階段就開始了，測試橫跨開發(fā)與測試兩個階段，又有不同的人員參加，測試工作本身是復(fù)雜的。據(jù)統(tǒng)計測試工作量要占軟件開發(fā)總成本的40%到50%以上。測試的目的是確保軟件的質(zhì)量，盡量找出軟件錯誤并加以糾正，而不是證明軟件沒有錯。測試的范圍是整個軟件的生存周期，而不限于程序編碼階段。軟件測試的概念和原則1、測試的概念（1）軟件測試軟件測試是對軟件計劃、軟件設(shè)計、軟件編碼進行查錯和糾錯的活動（包括代碼執(zhí)行活動與人工活動）。（2） 程序測試程序測試是早已流行的概念。它是對編碼階段的語法錯、語義錯、運行錯進行查找的編碼執(zhí)行活動。找出編碼中錯誤的代碼執(zhí)行活動稱程序測試。糾正編碼中的錯誤的執(zhí)行活動稱程序調(diào)試。通過查找編碼錯與糾正編碼錯來保證算法的正確實現(xiàn)。（3） 軟件確認與程序確認軟件確認是廣義上的軟件測試，它是企圖證明程序軟件在給定的外部環(huán)境中的邏輯正確性的一系列活動和過程，指需求說明書的確認，程序的確認。程序確認又分成靜態(tài)確認與動態(tài)確認。靜態(tài)確認包括，正確性證明，人工分析，靜態(tài)分析。動態(tài)分析包括動態(tài)確認與動態(tài)測試。靜態(tài)分析是不執(zhí)行程序本身，分析程序正文可能導(dǎo)致錯誤的異常情況?？梢匀斯さ倪M行分析，也可以用測試工具靜態(tài)分析程序來進行，被測試程序的正文做為輸入，經(jīng)靜態(tài)分析程序分析得出分析結(jié)果。靜態(tài)分析包括結(jié)構(gòu)檢查，流圖分析，符號執(zhí)行。動態(tài)分析是執(zhí)行被測程序，從執(zhí)行結(jié)果分析程序可能出現(xiàn)的錯誤。可以人工設(shè)計程序測試用例，也可以由測試工具動態(tài)分析程序來做檢測與分析。動態(tài)測試包括功能測試和結(jié)構(gòu)測試。動態(tài)測試的內(nèi)容包括：單元測試，也稱邏輯測試，模塊測試，功能測試。組裝測試也稱集成測試，綜合測試，或結(jié)構(gòu)測試，子系統(tǒng)測試。系統(tǒng)測試是軟硬件或子系統(tǒng)的組裝測試。（4） 各種軟件錯誤的出現(xiàn)比例功能錯，占整個軟件錯誤27%,是需求分析設(shè)計不完整而引起的。系統(tǒng)錯，占整個軟件錯誤16%,是總體設(shè)計錯誤而引起的。數(shù)據(jù)錯，占整個軟件錯誤10%，由編碼錯誤引起的。編碼錯，占整個軟件錯誤4%,程序員編碼錯誤引起的。其它錯，占整個軟件錯誤16%，由文檔錯和硬件錯所引起的。2、 測試過程3、 測試的原則測試的原則如下：(1)測試前要認定被測試軟件有錯，不要認為軟件設(shè)有錯。要預(yù)先確定被測試軟件的測試結(jié)果。要盡量避免測試自己編寫的程序。測試要兼顧合理輸入與不合理輸入數(shù)據(jù)。測試要以軟件需求規(guī)格說明書為標(biāo)準(zhǔn)。要明確找到的新錯與已找到的舊錯成正比。測試是相對的，不能窮盡所有的測試，要據(jù)人力物力安排測試，并選擇好測試用例與測試方法。測試用例留作測試報告與以后的反復(fù)測試用，重新驗證糾錯的程序是否有錯。軟件測試技術(shù)軟件測試的目標(biāo)測試的目標(biāo)：測試是為了發(fā)現(xiàn)程序中的錯誤而執(zhí)行程序的過程；好的測試方案是極可能發(fā)現(xiàn)迄今為止尚未發(fā)現(xiàn)的錯誤的測試方案；(3)成功的測試是發(fā)現(xiàn)了至今為止尚未發(fā)現(xiàn)的錯誤的測試。測試方法按照測試過程是否在實際應(yīng)用環(huán)境中來分，有靜態(tài)分析與動態(tài)測試。測試方法有分析方法（包括靜態(tài)分析法與白盒法）與非分析方法（稱黑盒法）。白盒法是通過分析程序內(nèi)部的邏輯與執(zhí)行路線來設(shè)計測試用例，進行測試的方法，白盒法也稱邏輯驅(qū)動方法。黑盒法是功能驅(qū)動方法，僅根據(jù)I/O數(shù)據(jù)條件來設(shè)計測試用例，而不管程序的內(nèi)部結(jié)構(gòu)與路徑如何。白盒法的具體設(shè)計程序測試用例的方法有：語句覆蓋、分支（判定）覆蓋、條件覆蓋、路徑覆蓋（或條件組合覆蓋），主要目的是提高測試的覆蓋率。黑盒法的具體設(shè)計程序測試用例的方法有：等價類劃分法，邊界值分析法，錯誤推測法，主要目的是設(shè)法以最少測試數(shù)據(jù)子集來盡可能多的測試軟件程序的錯誤。（1） 靜態(tài)分析技術(shù)不執(zhí)行被測軟件，可對需求分析說明書、軟件設(shè)計說明書、源程序做結(jié)構(gòu)檢查、流程分析、符號執(zhí)行來找出軟件錯誤。（2） 動態(tài)測試技術(shù)當(dāng)把程序作為一個函數(shù)，輸入的全體稱為函數(shù)的定義域，輸出的全體稱為函數(shù)的值域，函數(shù)則描述了輸入的定義域與輸出值域的關(guān)系。這樣動態(tài)測試的算法有：選取定義域中的有效值，或定義域外無效值。對已選取值決定預(yù)期的結(jié)果。用選取值執(zhí)行程序。觀察程序行為，記錄執(zhí)行結(jié)果。將④的結(jié)果與②的結(jié)果相比較，不吻合則程序有錯。動態(tài)測試既可以采用白盒法對模塊進行邏輯結(jié)構(gòu)的測試，又可以用黑盒法做功能結(jié)枸的測試，接口的測試，都是以執(zhí)行程序并分析執(zhí)行結(jié)果來查錯的。（3）黑盒測試和白盒測試①黑盒測試法黑盒測試法把程序看成一個黑盒子，完全不考慮程序的內(nèi)部結(jié)構(gòu)和處理過程。黑盒測試是在程序接口進行的測試，它只檢查程序功能是否能按照規(guī)格說明書的規(guī)定正常使用，程序是否能適當(dāng)?shù)亟邮蛰斎霐?shù)據(jù)產(chǎn)生正確的輸出信息，并且保持外部信息的完整性。黑盒測試又稱為功能測試。②白盒測試法白盒測試法的前提是可以把程序看成裝在一個透明的白盒子里，也就是完全了解程序的結(jié)構(gòu)和處理過程。這種方法按照程序內(nèi)部的邏輯測試程序，檢驗程序中的每條通路是否都能按預(yù)定要求正確工作，白盒測試又稱為結(jié)構(gòu)測試。設(shè)計測試方案(1)白盒法句覆蓋判定覆蓋條件覆蓋判定/條件覆蓋條件組合覆蓋點覆蓋邊覆蓋路徑覆蓋這部分是本章的重點，要求掌握句覆蓋、判定覆蓋和條件覆蓋，會做題。(2)黑盒法測試的步驟軟件糾錯技術(shù)幾面向?qū)ο蟮能浖y試九、軟件測試計劃與測試分析報告十、軟件維護軟件維護的定義、分類、特點人們稱在軟件運行/維護階段對軟件產(chǎn)品所進行的修改就是維護。結(jié)構(gòu)化維護與非結(jié)構(gòu)化維護的對比維護的代價維護的問題軟件維護步驟及組織維護步驟需要經(jīng)歷以下四個步驟。分析和理解程序修改程序重新驗證程序(4)維護組織軟件的可維護性軟件維護的副作用逆向工程和再生工程逆向工程與再生工程是目前預(yù)防性維護采用的主要技術(shù)，逆向工程術(shù)語源于硬件制造業(yè)，相互競爭的公司為了了解對方設(shè)計和制造工藝的機密，在得不到設(shè)計和制造說明書的情況下，通過拆卸實物獲取信息，軟件的逆項