3T/XXXXXXX—XXXX信息技術(shù)應(yīng)用軟件科技項(xiàng)目驗(yàn)收測(cè)試要求本文件規(guī)定了軟件科技項(xiàng)目驗(yàn)收測(cè)試的基本要求、測(cè)試內(nèi)容、測(cè)試流程、測(cè)試方法和測(cè)試結(jié)果。本文件適用于企事業(yè)對(duì)軟件科研項(xiàng)目檢測(cè)、評(píng)估和改進(jìn)；也適用于軟件測(cè)試第三方機(jī)構(gòu)開(kāi)展軟件科研項(xiàng)目的驗(yàn)收測(cè)試。2規(guī)范性引用文件下列文件中的內(nèi)容通過(guò)文中的規(guī)范性引用而構(gòu)成本文件必不可少的條款。其中，注日期的引用文件，僅該日期對(duì)應(yīng)的版本適用于本文件；不注日期的引用文件，其最新版本（包括所有的修改單）適用于本文件。GB/T9386-2008計(jì)算機(jī)軟件測(cè)試文檔編制規(guī)范GB/T15532-2008計(jì)算機(jī)軟件測(cè)試規(guī)范GB/T25000.10-2016系統(tǒng)與軟件工程系統(tǒng)與軟件質(zhì)量要求和評(píng)價(jià)（SQuaRE）第10部分：系統(tǒng)與軟件質(zhì)量模型GB/T25000.51-2016系統(tǒng)與軟件工程系統(tǒng)與軟件質(zhì)要求和評(píng)價(jià)（SQuaRE）第51部分：就緒可用軟件產(chǎn)品（RUSP）的質(zhì)量要求和測(cè)試細(xì)則GB/T28035-2011軟件系統(tǒng)驗(yàn)收規(guī)范GB/T38634.1-2020系統(tǒng)與軟件工程軟件測(cè)試第1部分：概念和定義3術(shù)語(yǔ)、定義GB/T28035-2011和GB/T38634.1-2020界定的以及下列術(shù)語(yǔ)和定義適用于本文件。3.1安全性security指系統(tǒng)或軟件保護(hù)信息和數(shù)據(jù)以及正常執(zhí)行功能的能力，涵蓋信息安全的機(jī)密性、完整性、可用性和不可抵賴性等四項(xiàng)要素。[來(lái)源：GB/T38634.1-2020,3.21有修改]3.2科研項(xiàng)目驗(yàn)收acceptanceofscientificresearchprojects是評(píng)估科研項(xiàng)目和研究成果的關(guān)鍵步驟，通過(guò)系統(tǒng)的質(zhì)量審查，確保項(xiàng)目達(dá)到預(yù)期目標(biāo),并符合相關(guān)法規(guī)和標(biāo)準(zhǔn)。3.3驗(yàn)收測(cè)試acceptancetesting是確定一軟件系統(tǒng)是否符合其驗(yàn)收準(zhǔn)則,使需方能確定是否接收此系統(tǒng)的正式測(cè)試。[來(lái)源：GB/T28035-2011,3.3有修改]3.4檢驗(yàn)檢測(cè)機(jī)構(gòu)inspectionagency指依法成立，依據(jù)相關(guān)標(biāo)準(zhǔn)或者技術(shù)規(guī)范，利用工具設(shè)備、環(huán)境設(shè)施等技術(shù)條件和專業(yè)技能，對(duì)產(chǎn)品或者法律法規(guī)規(guī)定的特定對(duì)象進(jìn)行檢驗(yàn)檢測(cè)的專業(yè)技術(shù)組織。T/XXXXXXX—XXXX44縮略語(yǔ)PMD：JAVA代碼靜態(tài)分析工具（ProgrammingMistakeDetector）5測(cè)試基本要求5.1概述測(cè)試基本要求主要包括資質(zhì)要求、文檔管理要求、組織管理要求、工具管理要求、環(huán)境設(shè)施管理要求和質(zhì)量管理要求。5.2資質(zhì)要求開(kāi)展驗(yàn)收測(cè)試工作，出具測(cè)試報(bào)告應(yīng)具有以下資質(zhì)要求：a)檢驗(yàn)檢測(cè)機(jī)構(gòu)資質(zhì)認(rèn)定(CMA):人員素質(zhì)、設(shè)備設(shè)施、測(cè)試流程和質(zhì)量管理符合認(rèn)定要求。b)國(guó)家實(shí)驗(yàn)室認(rèn)可(CNAS):組織結(jié)構(gòu)、人員素質(zhì)、設(shè)備設(shè)施和技術(shù)標(biāo)準(zhǔn)符合認(rèn)證認(rèn)可要求。5.3文檔管理要求文檔編制格式應(yīng)符合GB/T9386-2008計(jì)算機(jī)軟件測(cè)試文檔編制規(guī)范的規(guī)定或滿足雙方約定的要求。測(cè)試文檔應(yīng)建立以下要求：a)建立登記制度：記錄軟件名稱、版本、來(lái)源、功能模塊等信息。b)建立更新迭代制度：測(cè)試文檔發(fā)生版本更新、代碼修改等變更時(shí)，需重新進(jìn)行影響評(píng)估。5.4組織管理要求驗(yàn)收測(cè)試應(yīng)由軟件項(xiàng)目的需方組織,由獨(dú)立于軟件開(kāi)發(fā)的人員執(zhí)行。一般應(yīng)委托國(guó)家認(rèn)可的第三方測(cè)試機(jī)構(gòu)實(shí)施。驗(yàn)收測(cè)試組織設(shè)立決策層、管理層和執(zhí)行層，測(cè)試組織人員應(yīng)有以下管理要求：a)決策層（最高領(lǐng)導(dǎo)）：負(fù)責(zé)測(cè)試戰(zhàn)略規(guī)劃與資源調(diào)配；b)管理層（技術(shù)負(fù)責(zé)人和質(zhì)量負(fù)責(zé)人）：負(fù)責(zé)統(tǒng)籌測(cè)試計(jì)劃、協(xié)調(diào)部門(mén)協(xié)作和協(xié)助解決復(fù)雜技術(shù)c）執(zhí)行層（測(cè)試人員）：負(fù)責(zé)實(shí)施具體測(cè)試工作。從事測(cè)試的人員應(yīng)具有計(jì)算機(jī)及相關(guān)專業(yè)的大專（含）以上學(xué)歷、并獲得國(guó)家或行業(yè)承認(rèn)的軟件測(cè)試技術(shù)專業(yè)培訓(xùn)合格資質(zhì)。5.5工具管理要求驗(yàn)收測(cè)試工具必須是國(guó)家規(guī)定的有效版本，測(cè)試工具的選擇符合以下要求：a)測(cè)試工具應(yīng)為國(guó)家標(biāo)準(zhǔn)規(guī)定的正式軟件；b)測(cè)試工具也可以為與委托方約定的其他軟件（注明來(lái)源和驗(yàn)證批準(zhǔn)的依據(jù)）；c)測(cè)試工具也可為新型智能化軟件（注明來(lái)源和驗(yàn)證批準(zhǔn)的依據(jù)）。5.6環(huán)境設(shè)施管理要求驗(yàn)收測(cè)試環(huán)境應(yīng)確保測(cè)試數(shù)據(jù)和測(cè)試設(shè)備的完好、安全、穩(wěn)定；應(yīng)符合以下要求：a)應(yīng)具備防靜電、電源故障保護(hù)措施；b)應(yīng)配置控制測(cè)試設(shè)施和環(huán)境條件滿足測(cè)試任務(wù)要求；c)確保其測(cè)試記錄及數(shù)據(jù)的完整和安全；d)防止與測(cè)試項(xiàng)目無(wú)關(guān)者進(jìn)入。5.7質(zhì)量管理要求驗(yàn)收測(cè)試質(zhì)量管理應(yīng)具以下要求：a)制定質(zhì)量管理計(jì)劃，對(duì)質(zhì)量管理計(jì)劃進(jìn)行驗(yàn)證審核；T/XXXXXXX—XXXX5b)制定質(zhì)量管理計(jì)劃應(yīng)符合相關(guān)標(biāo)準(zhǔn)和客戶需求；c)定期實(shí)施內(nèi)部審查，對(duì)測(cè)試工程和結(jié)果進(jìn)行質(zhì)量控制；d)決策層和管理層積極參與質(zhì)量管理工作，加強(qiáng)測(cè)試過(guò)程的監(jiān)督。6測(cè)試內(nèi)容要求6.1概述測(cè)試內(nèi)容包括軟件科技項(xiàng)目的產(chǎn)品說(shuō)明、用戶文檔集、功能性、性能效率、兼容性、易用性、可靠性、信息安全性、維護(hù)性、可移植性。按照GB/T25000.51-2016系統(tǒng)與軟件工程系統(tǒng)與軟件質(zhì)量要求和評(píng)價(jià)（SQuaRE）第51部分：就緒可用軟件產(chǎn)品（RUSP）的質(zhì)量要求和測(cè)試細(xì)則。6.2產(chǎn)品說(shuō)明產(chǎn)品說(shuō)明要求主要包括以下內(nèi)容：a)可用性；c)標(biāo)識(shí)和標(biāo)示明確；e)產(chǎn)品質(zhì)量：功能性、性能效率、兼容性、易用性、可靠性、信息安全性、維護(hù)性和可移植性；f)使用質(zhì)量：有效性、效率、滿意度、抗風(fēng)險(xiǎn)、周境覆蓋。6.3用戶文檔集用戶文檔集要求主要包括以下內(nèi)容：a)可用性;c)標(biāo)識(shí)和標(biāo)示明確；d)完備性；e)正確性；f)一致性；g)易理解性；h)產(chǎn)品質(zhì)量：功能性、性能效率、兼容性、易用性、可靠性、信息安全性、維護(hù)性和可移植性；i)使用質(zhì)量：有效性、效率、滿意度、抗風(fēng)險(xiǎn)、周境覆蓋。6.4功能性要求功能性要求主要包括以下測(cè)試內(nèi)容：a)用戶界面；b)中文要求；c)開(kāi)發(fā)語(yǔ)言要求；T/XXXXXXX—XXXXd)功能要求：適合性、準(zhǔn)確性、互操作性和安全保密性；e)業(yè)務(wù)流程；f)程序與數(shù)據(jù)要求。6.5性能效率要求性能效率要求主要包括以下測(cè)試內(nèi)容：a)最大虛擬用戶數(shù)；b)響應(yīng)時(shí)間；c)資源利用率；d)事務(wù)通過(guò)率。6.6兼容性要求兼容性要求主要包括以下測(cè)試內(nèi)容：a)安裝組件；b)接口；c)配置環(huán)境和參數(shù)；d)產(chǎn)品說(shuō)明和用戶文檔定義的兼容性特征。6.7易用性要求易用性要求主要包括以下測(cè)試內(nèi)容：a)易理解性；b)易操作性；c)易學(xué)習(xí)性；d)易吸引性；e)差錯(cuò)防御性。6.8可靠性要求可靠性要求主要包括以下測(cè)試內(nèi)容：a)成熟性；b)容錯(cuò)性；c)宕機(jī)恢復(fù)性；d)易用性：易理解性、易學(xué)性、易操作性和吸引性。6.9信息安全性要求信息安全性要求主要包括以下測(cè)試內(nèi)容：a)安全功能性；b)漏洞掃描；c)代碼審查。6.10維護(hù)性要求維護(hù)性要求主要包括以下測(cè)試內(nèi)容：a)穩(wěn)定性；b)易分析性；c)易改變性；d)易測(cè)試性。6.11可移植性要求可移植性要求主要包括以下測(cè)試內(nèi)容：a)易安裝性；b)易替換性；c)適應(yīng)性；d)共存性。7測(cè)試過(guò)程要求7.1概述軟件科技項(xiàng)目驗(yàn)收測(cè)試一般包括測(cè)試策劃、測(cè)試設(shè)計(jì)、測(cè)試執(zhí)行和測(cè)試總結(jié)四個(gè)階段。具體要求應(yīng)按照GB/T15532-2008計(jì)算機(jī)軟件測(cè)試規(guī)范。7.2測(cè)試策劃測(cè)試人員應(yīng)根據(jù)需方的軟件要求和供方提供的軟件文檔分析被測(cè)軟件項(xiàng)目。開(kāi)展測(cè)試需求分析，確定測(cè)試的內(nèi)容、質(zhì)量特性和充分性要求;提出測(cè)試的基本方法，確定測(cè)試的資源和技術(shù)需求;進(jìn)行風(fēng)險(xiǎn)分析與評(píng)估;制定測(cè)試計(jì)劃(含資源計(jì)劃和進(jìn)度計(jì)劃)。主要內(nèi)容如下：a)收集文檔信息；b)開(kāi)展需求分析；c)制定測(cè)試計(jì)劃；d)明確測(cè)試進(jìn)度；e)風(fēng)險(xiǎn)評(píng)估與應(yīng)對(duì)措施。7.3測(cè)試設(shè)計(jì)測(cè)試設(shè)計(jì)工作由測(cè)試設(shè)計(jì)人員和測(cè)試程序員完成。依據(jù)測(cè)試需求,分析并選用已有的測(cè)試用例或設(shè)計(jì)新的測(cè)試用例;獲取并驗(yàn)證測(cè)試數(shù)據(jù);根據(jù)測(cè)試資源、風(fēng)險(xiǎn)等約束條件，確定測(cè)試用例執(zhí)行順序;獲取測(cè)試資源,開(kāi)發(fā)測(cè)試軟件;搭建測(cè)試環(huán)境;進(jìn)行測(cè)試就緒評(píng)審,主要評(píng)審測(cè)試計(jì)劃的合理性和測(cè)試用例的正確性、有效性和覆蓋充分性,評(píng)審測(cè)試組織、環(huán)境和設(shè)備工具是否齊備并符合要求。在進(jìn)入下一階段T/XXXXXXX—XXXX8工作之前,應(yīng)通過(guò)測(cè)試就緒評(píng)審。主要內(nèi)容如下：a)設(shè)計(jì)測(cè)試方案；b)編寫(xiě)測(cè)試用例；c)確定測(cè)試順序；d)搭建測(cè)試環(huán)境；e)配置測(cè)試工具；f)編寫(xiě)驗(yàn)收測(cè)試說(shuō)明。注：應(yīng)對(duì)驗(yàn)收測(cè)試說(shuō)明進(jìn)行評(píng)審。評(píng)審測(cè)試用例是否正確、可行和充分,測(cè)試環(huán)境是否正確、合理,測(cè)試文檔是否符合規(guī)范。評(píng)審應(yīng)由軟件的需方、供方和有關(guān)專家參加。在驗(yàn)收測(cè)試說(shuō)明通過(guò)評(píng)審后，進(jìn)入下一步工作;否則,需要重新進(jìn)行驗(yàn)收測(cè)試的設(shè)計(jì)和實(shí)現(xiàn)。7.4測(cè)試執(zhí)行執(zhí)行測(cè)試的工作由測(cè)試員和測(cè)試分析員完成。驗(yàn)證測(cè)試用例,獲取測(cè)試結(jié)果;分析并判定測(cè)試結(jié)果。同時(shí),根據(jù)不同的判定結(jié)果采取相應(yīng)的措施;對(duì)測(cè)試過(guò)程的正?；虍惓＝K止情況進(jìn)行核對(duì),并根據(jù)核對(duì)結(jié)果,對(duì)未達(dá)到測(cè)試終止條件的測(cè)試用例,決定是停止測(cè)試,還是需要修改或補(bǔ)充測(cè)試用例集,并進(jìn)一步測(cè)試。主要內(nèi)容如下：a)分析測(cè)試用例；b)按測(cè)試計(jì)劃執(zhí)行；c)記錄、反饋和處理測(cè)試問(wèn)題。7.5測(cè)試總結(jié)測(cè)試人員應(yīng)根據(jù)需方的軟件項(xiàng)目要求、驗(yàn)收測(cè)試計(jì)劃、驗(yàn)收測(cè)試說(shuō)明、測(cè)試記錄和軟件問(wèn)題報(bào)告單等，分析和評(píng)價(jià)測(cè)試工作;完成軟件項(xiàng)目測(cè)試報(bào)告,并通過(guò)測(cè)試評(píng)審。主要內(nèi)容如下：a)測(cè)試數(shù)據(jù)的處理與分析；b)數(shù)據(jù)存儲(chǔ)與隱私保護(hù)；c)編制測(cè)試報(bào)告；d)測(cè)試經(jīng)驗(yàn)總結(jié)。注：應(yīng)對(duì)驗(yàn)收測(cè)試的執(zhí)行活動(dòng)、驗(yàn)收測(cè)試報(bào)告、測(cè)試記錄和測(cè)試問(wèn)題報(bào)告進(jìn)行評(píng)審。評(píng)審測(cè)試執(zhí)行活動(dòng)的有效性、測(cè)試結(jié)果的正確性和合理性。評(píng)審是否達(dá)到了測(cè)試目的、測(cè)試文檔是否符合要求。評(píng)審應(yīng)由軟件的需方、供方和有關(guān)專家參加。8測(cè)試方法8.1概述測(cè)試方法要求按照GB/T25000.51-2016系統(tǒng)與軟件工程系統(tǒng)與軟件質(zhì)要求和評(píng)價(jià)（SQuaRE）第51部分：就緒可用軟件產(chǎn)品（RUSP）的質(zhì)量要求和測(cè)試細(xì)則和GB/T15532-2008計(jì)算機(jī)軟件測(cè)試規(guī)范。T/XXXXXXX—XXXX9常用方法主要包括靜態(tài)測(cè)試方法和動(dòng)態(tài)測(cè)試方法，詳見(jiàn)附錄A。8.2靜態(tài)測(cè)試方法靜態(tài)測(cè)試方法包括檢查單和靜態(tài)分析方法,對(duì)文檔的靜態(tài)測(cè)試方法主要以檢查單的形式進(jìn)行,而對(duì)代碼的靜態(tài)測(cè)試方法一般采用代碼審查、代碼走查和靜態(tài)分析,靜態(tài)分析一般包括控制流分析、數(shù)據(jù)流分析、接口分析和表達(dá)式分析。主要包括以下方式：a)設(shè)計(jì)審查；b)需求審查；c)代碼審查；d)數(shù)據(jù)流分析；e)控制流分析；f)靜態(tài)分析工具:常用的靜態(tài)分析工具包括SonarQube、FindBugs、PMD等。8.3動(dòng)態(tài)測(cè)試方法動(dòng)態(tài)測(cè)試方法一般采用白盒測(cè)試方法和黑盒測(cè)試方法。主要包括以下方法：a)黑盒測(cè)試方法：功能分解、邊界值分析、判定表、因果圖、狀態(tài)圖、隨機(jī)測(cè)試、猜錯(cuò)法和正交試驗(yàn)法等；b)白盒測(cè)試方法：控制流測(cè)試(語(yǔ)句覆蓋測(cè)試、分支覆蓋測(cè)試、條件覆蓋測(cè)試、條件組合覆蓋測(cè)試、路徑覆蓋測(cè)試)、數(shù)據(jù)流測(cè)試、程序變異、程序插樁、域測(cè)試和符號(hào)求值等;c)配置項(xiàng)測(cè)試和系統(tǒng)測(cè)試用黑盒測(cè)試方法；d)驗(yàn)收測(cè)試常用黑盒測(cè)試方法；e)集成測(cè)試一般主要采用黑盒測(cè)試方法,輔助以白盒測(cè)試方法；f)單元測(cè)試一般采用白盒測(cè)試方法,輔助以黑盒測(cè)試方法。9測(cè)試結(jié)果要求9.1概述測(cè)試結(jié)果的處理和表述要求按照GB/T25000.51-2016軟件工程軟件產(chǎn)品質(zhì)量要求和評(píng)價(jià)第51部分：就緒可用軟件產(chǎn)品測(cè)試報(bào)告規(guī)范。主要有測(cè)試執(zhí)行、結(jié)果評(píng)價(jià)和測(cè)試報(bào)告。測(cè)試模版詳見(jiàn)附錄B。9.2測(cè)試執(zhí)行測(cè)試執(zhí)行主要包括以下內(nèi)容：a)測(cè)試過(guò)程：時(shí)間進(jìn)度、人員分工、執(zhí)行記錄、問(wèn)題反饋和解決情況；b)測(cè)試數(shù)據(jù)：記錄測(cè)試用例執(zhí)行情況，詳細(xì)描述通過(guò)、失敗、阻塞或跳過(guò)；c)報(bào)告缺陷：整理軟件缺陷，標(biāo)準(zhǔn)嚴(yán)重程度和修復(fù)處理情況。9.3測(cè)試結(jié)果評(píng)價(jià)T/XXXXXXX—XXXX測(cè)試結(jié)果評(píng)價(jià)主要包括以下內(nèi)容：a)測(cè)試結(jié)論：明確測(cè)試結(jié)論。滿足預(yù)期要求，給予通過(guò)；不滿足預(yù)期要求，不予通過(guò)；b)驗(yàn)收建議：根據(jù)測(cè)試數(shù)據(jù)，發(fā)現(xiàn)的問(wèn)題，給出改進(jìn)建議；c)質(zhì)量評(píng)估：對(duì)軟件科研項(xiàng)目說(shuō)明、用戶文檔集、功能性、性能效率、兼容性、易用性、可靠性、信息安全性、維護(hù)性、可移植性和用戶體驗(yàn)等全面測(cè)試進(jìn)行綜合性質(zhì)量評(píng)估。9.4測(cè)試報(bào)告測(cè)試報(bào)告應(yīng)具有以下內(nèi)容：a)樣式符合國(guó)家標(biāo)準(zhǔn)要求；b)封面與標(biāo)識(shí)；d)范圍與依據(jù)；e)環(huán)境與設(shè)施；f)方法與流程；g)測(cè)試結(jié)果描述。T/XXXXXXX—XXXX（資料性附錄）軟件測(cè)試方法A.1靜態(tài)測(cè)試方法A.1.1代碼審查代碼審查的測(cè)試內(nèi)容：檢查代碼和設(shè)計(jì)的一致性；檢查代碼執(zhí)行標(biāo)準(zhǔn)的情況；檢查代碼邏輯表達(dá)的正確性；檢查代碼結(jié)構(gòu)的合理性；檢查代碼的可讀性。代碼審查的組織：由四人以上組成，分別為組長(zhǎng)、資深程序員、程序編寫(xiě)者與專職測(cè)試人員。組長(zhǎng)不能是被測(cè)試程序的編寫(xiě)者，組長(zhǎng)負(fù)責(zé)分配資料、安排計(jì)劃、主持開(kāi)會(huì)、記錄并保存被發(fā)現(xiàn)的差錯(cuò)。代碼審查的過(guò)程：a)準(zhǔn)備階段：組長(zhǎng)分發(fā)有關(guān)材料，被測(cè)程序的設(shè)計(jì)和編碼人員向?qū)彶榻M詳細(xì)說(shuō)明有關(guān)材料，并回答審查組成員所提出的有關(guān)問(wèn)題；b)程序閱讀：審查組人員仔細(xì)閱讀代碼和相關(guān)材料，對(duì)照代碼審查單,記錄問(wèn)題及明顯缺陷；c)會(huì)議審查：組長(zhǎng)主持會(huì)議，程序員逐句闡明程序的邏輯，其他人員提出問(wèn)題，利用代碼審查單進(jìn)行分析討論，對(duì)討論的各個(gè)問(wèn)題形成結(jié)論性意見(jiàn)；d)形成報(bào)告：會(huì)后將發(fā)現(xiàn)的差錯(cuò)形成代碼審查問(wèn)題表，并交給程序開(kāi)發(fā)人員。對(duì)發(fā)現(xiàn)差錯(cuò)較多或發(fā)現(xiàn)重大差錯(cuò)的，在改正差錯(cuò)之后再次進(jìn)行會(huì)議審查。以下是一個(gè)推薦的代碼審查單，可以根據(jù)實(shí)際工作經(jīng)驗(yàn)和具體被測(cè)程序?qū)σ韵聝?nèi)容進(jìn)行增刪：a)寄存器使用（僅限定在機(jī)器指令和匯編語(yǔ)言時(shí)考慮）：1)如果需要一個(gè)專用寄存器，指定了嗎?2)宏擴(kuò)展或子程序調(diào)用使用了已使用著的寄存器而未保存數(shù)據(jù)嗎?3)默認(rèn)使用的寄存器的值正確嗎?b)格式：1)嵌套的IF是否已正確地縮進(jìn)?2)注釋準(zhǔn)確并有意義嗎?3)是否使用了有意義的標(biāo)號(hào)?4)代碼是否基本上與開(kāi)始時(shí)的模塊模式一致?5)是否遵循全套的編程標(biāo)準(zhǔn)?c)入口和出口連接：1)初始入口的最終出口正確嗎?2)對(duì)另一模塊的每一次調(diào)用:全部所需的參數(shù)是否已傳送給每一個(gè)被調(diào)用的模塊?T/XXXXXXX—XXXX被傳送的參數(shù)值的設(shè)置是否正確?棧狀態(tài)和指針狀態(tài)是否正確?d)程序語(yǔ)言的使用:l)模塊中是否使用語(yǔ)言完整定義的有限子集?2)未使用內(nèi)存的內(nèi)容是否影響系統(tǒng)安全?處理是否得當(dāng)?e)存儲(chǔ)器使用:1)每一個(gè)域在第一次使用前正確地初始化了嗎?2)規(guī)定的域正確嗎?3)每個(gè)域是否由正確的變量類型聲明?4)存儲(chǔ)器重復(fù)使用嗎?可能產(chǎn)生沖突嗎?f)測(cè)試和轉(zhuǎn)移:l)是否進(jìn)行了浮點(diǎn)相等比較?2)測(cè)試條件正確嗎?3)用于測(cè)試的變量正確嗎?4)每個(gè)轉(zhuǎn)換目標(biāo)正確并至少執(zhí)行一次?5)三種情況(大于0,小于0,等于0)是否已全部測(cè)試?g)性能:l)邏輯是否被最佳地編碼?2)提供的是一般的出錯(cuò)處理還是異常的例程?h)可維護(hù)性:1)所提供的列表控制是否有利于提高可讀性?2)標(biāo)號(hào)和子程序名符合代碼的意義嗎?1)全部設(shè)計(jì)是否均已實(shí)現(xiàn)?2)編碼是否做了設(shè)計(jì)所規(guī)定的內(nèi)容?3)每個(gè)循環(huán)是否執(zhí)行了正確的次數(shù)?4)是否已直接測(cè)試了輸入?yún)?shù)的所有異常值?j)軟件多余物:1)是否有不可能執(zhí)行到的代碼?2)是否有即使不執(zhí)行也不影響程序功能的指令?3)是否有未引用的變量、標(biāo)號(hào)和常量?4)是否有多余的程序單元?代碼審查問(wèn)題表應(yīng)寫(xiě)明所查出的差錯(cuò)類型、差錯(cuò)類別、差錯(cuò)嚴(yán)重程度、差錯(cuò)位置、差錯(cuò)原因。差錯(cuò)T/XXXXXXX—XXXX類型有文檔差錯(cuò)、編程語(yǔ)言差錯(cuò)、邏輯差錯(cuò)、接口差錯(cuò)、數(shù)據(jù)使用差錯(cuò)、編程風(fēng)格不當(dāng)、軟件多余物。差錯(cuò)類別有遺漏、錯(cuò)誤、多余。靜態(tài)測(cè)試方法是一種多人一起進(jìn)行的測(cè)試活動(dòng),要求每個(gè)人盡量多提出問(wèn)題,同時(shí)講述程序者也會(huì)突然發(fā)現(xiàn)一些問(wèn)題,這時(shí)要放慢進(jìn)度,把問(wèn)題分析出來(lái)。A.1.2代碼走查代碼走查的測(cè)試內(nèi)容與代碼審查的基本一樣。代碼走查的組織：一般由四人以上組成，分別為組長(zhǎng)、秘書(shū)、資深程序員與專職測(cè)試人員。被測(cè)試程序的編寫(xiě)者可以作為走查組成員。組長(zhǎng)負(fù)責(zé)分配資料、安排計(jì)劃、主持開(kāi)會(huì)，秘書(shū)記錄被發(fā)現(xiàn)的差錯(cuò)。代碼走查的過(guò)程：a)準(zhǔn)備階段：組長(zhǎng)分發(fā)有關(guān)材料,走查組詳細(xì)閱讀材料和認(rèn)真研究程序;b)生成實(shí)例：走查小組人員提出一些有代表性的測(cè)試實(shí)例;c)會(huì)議走查：組長(zhǎng)主持會(huì)議,其他人員對(duì)測(cè)試實(shí)例用頭腦來(lái)執(zhí)行程序，也就是測(cè)試實(shí)例沿程序邏輯走一遍，并由測(cè)試人員講述程序執(zhí)行過(guò)程，在紙上或黑板上監(jiān)視程序狀態(tài)，秘書(shū)記錄下發(fā)現(xiàn)的問(wèn)題;d)形成報(bào)告：會(huì)后將發(fā)現(xiàn)的差錯(cuò)形成報(bào)告，并交給程序開(kāi)發(fā)人員。對(duì)發(fā)現(xiàn)差錯(cuò)較多或發(fā)現(xiàn)重大差錯(cuò)的，在改正差錯(cuò)之后再次進(jìn)行會(huì)議走查。這種靜態(tài)測(cè)試方法是一種多人一起進(jìn)行的測(cè)試活動(dòng)，要求每個(gè)人盡量多提供測(cè)試實(shí)例，這些測(cè)試實(shí)例是作為懷疑程序邏輯與計(jì)算差錯(cuò)的啟發(fā)點(diǎn)，在隨測(cè)試實(shí)例游歷程序邏輯時(shí)，在懷疑程序的過(guò)程中發(fā)現(xiàn)差錯(cuò)。這種方法不如代碼審查檢查的范圍廣，差錯(cuò)覆蓋全。A.1.3靜態(tài)分析靜態(tài)分析一般包括控制流分析、數(shù)據(jù)流分析、接口分析、表達(dá)式分析。此外，靜態(tài)分析還可以完成下述工作：a)提供間接涉及程序缺陷的信息:1)每一類型語(yǔ)句出現(xiàn)的次數(shù);2)所有變量和常量的交叉引用表;3)標(biāo)識(shí)符的使用方式;4)過(guò)程的調(diào)用層次;5)違背編碼規(guī)則;6)程序結(jié)構(gòu)圖和程序流程圖;7)子程序規(guī)模、調(diào)用/被調(diào)用關(guān)系、扇入/扇出數(shù)。b)進(jìn)行語(yǔ)法/語(yǔ)義分析,提出語(yǔ)義或結(jié)構(gòu)要點(diǎn),供進(jìn)一步分析。c)進(jìn)行符號(hào)求值。d)為動(dòng)態(tài)測(cè)試選擇測(cè)試用例進(jìn)行預(yù)處理。T/XXXXXXX—XXXX靜態(tài)分析常需要使用軟件工具進(jìn)行。靜態(tài)分析是在程序編譯通過(guò)之后,其他靜態(tài)測(cè)試之前進(jìn)行的。A.1.3.1控制流分析控制流分析是使用控制流程圖系統(tǒng)地檢查被測(cè)程序的控制結(jié)構(gòu)的工作?？刂屏靼凑战Y(jié)構(gòu)化程序規(guī)則和程序結(jié)構(gòu)的基本要求進(jìn)行程序結(jié)構(gòu)檢查。這些要求是被測(cè)程序不應(yīng)包含:a)轉(zhuǎn)向并不存在的語(yǔ)句標(biāo)號(hào);b)沒(méi)有使用的語(yǔ)句標(biāo)號(hào);c)沒(méi)有使用的子程序定義;d)調(diào)用并不存在的子程序;e)從程序入口進(jìn)入后無(wú)法達(dá)到的語(yǔ)句;f)不能達(dá)到停止語(yǔ)句的語(yǔ)句?？刂屏鞒虉D是一種簡(jiǎn)化的程序流程圖,控制流程圖由“節(jié)點(diǎn)”和“弧”兩種圖形符號(hào)構(gòu)成。A.1.3.2數(shù)據(jù)流分析數(shù)據(jù)流分析是用控制流程圖來(lái)分析數(shù)據(jù)發(fā)生的異常情況，這些異常包括被初始化、被賦值或被引用過(guò)程中行為序列的異常。數(shù)據(jù)流分析也作為數(shù)據(jù)流測(cè)試的預(yù)處理過(guò)程。數(shù)據(jù)流分析首先建立控制流程圖，然后在控制流程圖中標(biāo)注某個(gè)數(shù)據(jù)對(duì)象的操作序列，遍歷控制流程圖，形成這個(gè)數(shù)據(jù)對(duì)象的數(shù)據(jù)流模型，并給出這個(gè)數(shù)據(jù)對(duì)象的初始狀態(tài)，利用數(shù)據(jù)流異常狀態(tài)圖分析數(shù)據(jù)對(duì)象可能的異常。數(shù)據(jù)流分析可以查出引用未定義變量、對(duì)以前未使用的變量再次賦值等程序差錯(cuò)或異常情況。A.1.3.3接口分析接口分析主要用在程序靜態(tài)分析和設(shè)計(jì)分析。接口一致性的設(shè)計(jì)分析涉及模塊之間接口的一致性以及模塊與外部數(shù)據(jù)庫(kù)之間的一致性。程序的接口分析涉及子程序以及函數(shù)之間的接口一致性，包括檢查形參與實(shí)參的類型、數(shù)量、維數(shù)、順序以及使用的一致性。A.1.3.4表達(dá)式分析表達(dá)式錯(cuò)誤主要有以下幾種(但不限于)：括號(hào)使用不正確，數(shù)組引用錯(cuò)誤,作為除數(shù)的變量可能為零，作為開(kāi)平方的變量可能為負(fù)，作為正切值的變量可能為π/2，浮點(diǎn)數(shù)變量比較時(shí)產(chǎn)生的錯(cuò)誤。A.2動(dòng)態(tài)測(cè)試方法A.2.1概述動(dòng)態(tài)測(cè)試是建立在程序的執(zhí)行過(guò)程中。根據(jù)對(duì)被測(cè)對(duì)象內(nèi)部情況的了解與否，分為黑盒測(cè)試和白盒測(cè)試。黑盒測(cè)試又稱功能測(cè)試、數(shù)據(jù)驅(qū)動(dòng)測(cè)試或基于規(guī)格說(shuō)明的測(cè)試，這種測(cè)試不必了解被測(cè)對(duì)象的內(nèi)部情況，而依靠需求規(guī)格說(shuō)明中的功能來(lái)設(shè)計(jì)測(cè)試用例。白盒測(cè)試又稱結(jié)構(gòu)測(cè)試、邏輯測(cè)試或基于程序的測(cè)試,這種測(cè)試應(yīng)了解程序的內(nèi)部構(gòu)造,并且根據(jù)內(nèi)部構(gòu)造設(shè)計(jì)測(cè)試用例。在單元測(cè)試時(shí)一般采用白盒測(cè)試,在配置項(xiàng)測(cè)試或系統(tǒng)測(cè)試時(shí)一般采用黑盒測(cè)試。A.2.2黑盒測(cè)試方法A.2.2.1功能分解功能分解是將需求規(guī)格說(shuō)明中每一個(gè)功能加以分解，確保各個(gè)功能被全面地測(cè)試。功能分解是一種較常用的方法。步驟如下：a)使用程序設(shè)計(jì)中的功能抽象方法把程序分解為功能單元；b)使用數(shù)據(jù)抽象方法產(chǎn)生測(cè)試每個(gè)功能單元的數(shù)據(jù)。功能抽象中程序被看成一種抽象的功能層次，每個(gè)層次可標(biāo)識(shí)被測(cè)試的功能，層次結(jié)構(gòu)中的某一功能由其下一層功能定義。按照功能層次進(jìn)行分解，可以得到眾多的最低層次的子功能，以這些子功能為對(duì)象，進(jìn)行測(cè)試用例設(shè)計(jì)。數(shù)據(jù)抽象中，數(shù)據(jù)結(jié)構(gòu)可以由抽象數(shù)據(jù)類型的層次圖來(lái)描述，每個(gè)抽象數(shù)據(jù)類型有其取值集合。程序的每一個(gè)輸入和輸出量的取值集合用數(shù)據(jù)抽象來(lái)描述。A.2.2.2等價(jià)類劃分等價(jià)類劃分是在分析需求規(guī)格說(shuō)明的基礎(chǔ)上，把程序的輸入域劃分成若干部分，然后在每部分中選取代表性數(shù)據(jù)形成測(cè)試用例。步驟如下：a)劃分有效等價(jià)類:對(duì)規(guī)格說(shuō)明是有意義、合理的輸入數(shù)據(jù)所構(gòu)成的集合；b)劃分無(wú)效等價(jià)類:對(duì)規(guī)格說(shuō)明是無(wú)意義、不合理的輸入數(shù)據(jù)所構(gòu)成的集合；c)為每一個(gè)等價(jià)類定義一個(gè)唯一的編號(hào)；d)為每一個(gè)等價(jià)類設(shè)計(jì)一組測(cè)試用例,確保覆蓋相應(yīng)的等價(jià)類。A.2.2.3邊界值分析邊界值分析是針對(duì)邊界值進(jìn)行測(cè)試的。使用等于、小于或大于邊界值的數(shù)據(jù)對(duì)程序進(jìn)行測(cè)試的方法就是邊界值分析方法。步驟如下：a)通過(guò)分析規(guī)格說(shuō)明，找出所有可能的邊界條件；b)對(duì)每一個(gè)邊界條件，給出滿足和不滿足邊界值的輸入數(shù)據(jù)；c)設(shè)計(jì)相應(yīng)的測(cè)試用例。對(duì)滿足邊界值的輸入可以發(fā)現(xiàn)計(jì)算差錯(cuò)，對(duì)不滿足的輸人可以發(fā)現(xiàn)域差錯(cuò)。該方法會(huì)為其他測(cè)試方法補(bǔ)充一些測(cè)試用例，絕大多數(shù)測(cè)試都會(huì)用到本方法。A.2.2.4判定表判定表由四部分組成：條件樁、條件條目、動(dòng)作樁、動(dòng)作條目。任何一個(gè)條件組合的取值及其相應(yīng)要執(zhí)行的操作構(gòu)成規(guī)則，條目中的每一列是一條規(guī)則。條件引用輸入的等價(jià)類，動(dòng)作引用被測(cè)軟件的主要功能處理部分，規(guī)則就是測(cè)試用例。建立并優(yōu)化判定表，把判定表中每一列表示的情況寫(xiě)成測(cè)試用例。該方法的使用有以下要求：a)規(guī)格說(shuō)明以判定表形式給出,或是很容易轉(zhuǎn)換成判定表；b)條件的排列順序不會(huì)影響執(zhí)行哪些操作；c)規(guī)則的排列順序不會(huì)影響執(zhí)行哪些操作；d)每當(dāng)某一規(guī)則的條件已經(jīng)滿足，并確定要執(zhí)行的操作后,不必檢驗(yàn)別的規(guī)則；e)如果某一規(guī)則的條件得到滿足，將執(zhí)行多個(gè)操作,這些操作的執(zhí)行與順序無(wú)關(guān)。A.2.2.5因果圖因果圖方法是通過(guò)畫(huà)因果圖,把用自然語(yǔ)言描述的功能說(shuō)明轉(zhuǎn)換為判定表，然后為判定表的每一列設(shè)計(jì)一個(gè)測(cè)試用例。步驟如下：A)分析程序規(guī)格說(shuō)明，引出原因(輸入條件)和結(jié)果(輸出結(jié)果)，并給每個(gè)原因和結(jié)果賦予一個(gè)標(biāo)識(shí)符；b)分析程序規(guī)格說(shuō)明中語(yǔ)義的內(nèi)容，并將其表示成連接各個(gè)原因和各個(gè)結(jié)果的“因果圖”；c)在因果圖上標(biāo)明約束條件；d)通過(guò)跟蹤因果圖中的狀態(tài)條件，把因果圖轉(zhuǎn)換成有限項(xiàng)的判定表；e)把判定表中每一列表示的情況生成測(cè)試用例。如果需求規(guī)格說(shuō)明中含有輸入條件的組合，宜采用本方法。有些軟件的因果圖可能非常龐大，以至于根據(jù)因果圖得到的測(cè)試用例數(shù)目非常大，此時(shí)不宜使用本方法。A.2.2.6隨機(jī)測(cè)試隨機(jī)測(cè)試指測(cè)試輸入數(shù)據(jù)是在所有可能輸入值中隨機(jī)選取的。測(cè)試人員只需規(guī)定輸入變量的取值區(qū)間，在需要時(shí)提供必要的變換機(jī)制，使產(chǎn)生的隨機(jī)數(shù)服從預(yù)期的概率分布。該方法獲得預(yù)期輸出比較困難，多用于可靠性測(cè)試和系統(tǒng)強(qiáng)度測(cè)試。A.2.2.7猜錯(cuò)法猜錯(cuò)法是有經(jīng)驗(yàn)的測(cè)試人員，通過(guò)列出可能有的差錯(cuò)和易錯(cuò)情況表，寫(xiě)出測(cè)試用例的方法。A.2.2.8正交實(shí)驗(yàn)法正交實(shí)驗(yàn)法是從大量的實(shí)驗(yàn)點(diǎn)中挑出適量的、有代表性的點(diǎn),應(yīng)用正交表，合理地安排實(shí)驗(yàn)的一種科學(xué)的實(shí)驗(yàn)設(shè)計(jì)方法。T/XXXXXXX—XXXX利用正交實(shí)驗(yàn)法來(lái)設(shè)計(jì)測(cè)試用例時(shí)，首先要根據(jù)被測(cè)軟件的規(guī)格說(shuō)明書(shū)找出影響功能實(shí)現(xiàn)的操作對(duì)象和外部因素，把它們當(dāng)作因子，而把各個(gè)因子的取值當(dāng)作狀態(tài)，生成二元的因素分析表。然后，利用正交表進(jìn)行各因子的狀態(tài)的組合，構(gòu)造有效的測(cè)試輸入數(shù)據(jù)集，并由此建立因果圖。這樣得出的測(cè)試用例的數(shù)目將大大減少。A.2.3白盒測(cè)試方法A.2.3.1控制流測(cè)試控制流測(cè)試依據(jù)控制流程圖產(chǎn)生測(cè)試用例，通過(guò)對(duì)不同控制結(jié)構(gòu)成分的測(cè)試驗(yàn)證程序的控制結(jié)構(gòu)。所謂驗(yàn)證某種控制結(jié)構(gòu)即指使這種控制結(jié)構(gòu)在程序運(yùn)行中得到執(zhí)行，也稱這一過(guò)程為覆蓋。以下介紹幾種覆蓋:a)語(yǔ)句覆蓋：要求設(shè)計(jì)適當(dāng)數(shù)量的測(cè)試用例，運(yùn)行被測(cè)程序，使得程序中每一條語(yǔ)句至少被執(zhí)行一次，語(yǔ)句覆蓋在測(cè)試中主要發(fā)現(xiàn)出錯(cuò)語(yǔ)句。b)分支覆蓋：要求設(shè)計(jì)適當(dāng)數(shù)量的測(cè)試用例，運(yùn)行被測(cè)程序,使得程序中每個(gè)真值分支和假值分支至少執(zhí)行一次，分支覆蓋也稱判定覆蓋。c)條件覆蓋：要求設(shè)計(jì)適當(dāng)數(shù)量的測(cè)試用例，運(yùn)行被測(cè)程序，使得每個(gè)判斷中的每個(gè)條件的可能取值至少滿足一次。d)條件組合覆蓋：要求設(shè)計(jì)適當(dāng)數(shù)量的測(cè)試用例，運(yùn)行被測(cè)程序，使得每個(gè)判斷中條件的各種組合至少出現(xiàn)一次,這種方法包含了“分支覆蓋”和“條件覆蓋”的各種要求。e)路徑覆蓋:要求設(shè)計(jì)適當(dāng)數(shù)量的測(cè)試用例，運(yùn)行被測(cè)程序,使得程序沿所有可能的路徑執(zhí)行，較大程序的路徑可能很多，所以在設(shè)計(jì)測(cè)試用例時(shí)，要簡(jiǎn)化循環(huán)次數(shù)。以上各種覆蓋的控制流測(cè)試步驟如下：a)將程序流程圖轉(zhuǎn)換成控制流圖；b)經(jīng)過(guò)語(yǔ)法分析求得路徑表達(dá)式；c)生成路徑樹(shù)；d)進(jìn)行路徑編碼；e)經(jīng)過(guò)譯碼得到執(zhí)行的路徑；f)通過(guò)