湖北師范大學(xué)《軟件驗(yàn)證與確認(rèn)A》2025學(xué)年第一學(xué)期期末試卷含答案一、單項(xiàng)選擇題（每題2分，共20分）1.軟件驗(yàn)證（Verification）的核心目標(biāo)是：A.確認(rèn)軟件滿足用戶實(shí)際需求B.確保軟件符合指定的標(biāo)準(zhǔn)和規(guī)格C.發(fā)現(xiàn)并修復(fù)所有潛在缺陷D.評估軟件的可維護(hù)性答案：B2.以下屬于靜態(tài)測試技術(shù)的是：A.單元測試B.代碼走查C.壓力測試D.性能測試答案：B3.黑盒測試的主要依據(jù)是：A.程序內(nèi)部邏輯結(jié)構(gòu)B.軟件需求規(guī)格說明書C.代碼注釋D.開發(fā)人員的設(shè)計(jì)文檔答案：B4.等價(jià)類劃分法中，若輸入條件規(guī)定取值范圍為1100，則有效等價(jià)類是：A.0B.101C.50D.5答案：C5.以下關(guān)于缺陷（Defect）的描述，錯(cuò)誤的是：A.缺陷可能由需求誤解引起B(yǎng).所有缺陷都需要在發(fā)布前修復(fù)C.缺陷的嚴(yán)重程度與影響范圍相關(guān)D.缺陷跟蹤需記錄重現(xiàn)步驟答案：B6.形式化驗(yàn)證方法的主要特點(diǎn)是：A.依賴測試用例覆蓋B.基于數(shù)學(xué)模型推導(dǎo)C.適用于所有類型軟件D.無需考慮規(guī)格說明答案：B7.集成測試的主要目的是驗(yàn)證：A.單個(gè)模塊的功能B.模塊間接口與協(xié)作C.系統(tǒng)整體性能D.用戶界面友好性答案：B8.以下不屬于確認(rèn)活動(dòng)的是：A.用戶驗(yàn)收測試B.需求評審C.beta測試D.現(xiàn)場使用評估答案：B9.邊界值分析法中，若輸入變量x的取值為整數(shù)且2≤x≤8，則應(yīng)選取的測試點(diǎn)不包括：A.x=1B.x=2C.x=8D.x=9答案：A（注：邊界值應(yīng)包括上界、下界及緊鄰值，2和8是邊界，1和9是邊界外，但題目中x≥2，故1不在有效范圍內(nèi)，可能作為無效測試點(diǎn)，但本題問“不包括”，需根據(jù)具體場景判斷。嚴(yán)格來說，邊界值分析需覆蓋邊界內(nèi)外，因此正確選項(xiàng)應(yīng)為A，因x=1是無效輸入的邊界，可能不被選為主要測試點(diǎn)。）10.軟件質(zhì)量模型中，“可移植性”屬于：A.內(nèi)部質(zhì)量特性B.外部質(zhì)量特性C.使用質(zhì)量特性D.過程質(zhì)量特性答案：A二、填空題（每空2分，共20分）1.軟件驗(yàn)證與確認(rèn)（V&V）的本質(zhì)是通過______和______活動(dòng)確保軟件質(zhì)量。（評審；測試）2.測試用例的三要素是______、______和______。（輸入數(shù)據(jù)；執(zhí)行條件；預(yù)期輸出）3.靜態(tài)測試的典型方法包括______和______。（代碼審查；靜態(tài)分析工具掃描）4.動(dòng)態(tài)測試中，白盒測試關(guān)注______，黑盒測試關(guān)注______。（內(nèi)部邏輯；外部行為）5.缺陷生命周期的階段通常包括：發(fā)現(xiàn)→______→______→關(guān)閉。（記錄；修復(fù)；驗(yàn)證）（注：順序?yàn)榘l(fā)現(xiàn)→記錄→分配→修復(fù)→驗(yàn)證→關(guān)閉，此處填寫“記錄；修復(fù)”或“分配；驗(yàn)證”均可，需按教材定義調(diào)整，此處取常見階段）三、簡答題（每題8分，共32分）1.簡述軟件驗(yàn)證（Verification）與確認(rèn)（Validation）的區(qū)別與聯(lián)系。答案：區(qū)別：驗(yàn)證（Verification）是“是否正確地構(gòu)建了產(chǎn)品”，即檢查軟件是否符合指定的規(guī)格和標(biāo)準(zhǔn)（如需求文檔、設(shè)計(jì)文檔）；確認(rèn)（Validation）是“是否構(gòu)建了正確的產(chǎn)品”，即驗(yàn)證軟件是否滿足用戶的實(shí)際需求和預(yù)期。聯(lián)系：兩者共同構(gòu)成軟件質(zhì)量保證的核心，驗(yàn)證為確認(rèn)提供基礎(chǔ)（確保中間產(chǎn)物符合要求），確認(rèn)最終驗(yàn)證整體目標(biāo)的達(dá)成，貫穿軟件開發(fā)生命周期。2.說明靜態(tài)測試與動(dòng)態(tài)測試的主要差異，并各舉兩例。答案：差異：靜態(tài)測試不執(zhí)行程序，通過人工或工具分析文檔、代碼的結(jié)構(gòu)和邏輯；動(dòng)態(tài)測試需執(zhí)行程序，通過輸入測試用例觀察輸出結(jié)果。示例：靜態(tài)測試（代碼走查、需求評審）；動(dòng)態(tài)測試（單元測試、壓力測試）。3.邊界值分析法的基本原理是什么？在三角形分類問題（輸入三邊a,b,c，判斷是否為三角形及類型）中，應(yīng)重點(diǎn)關(guān)注哪些邊界值？答案：原理：邊界值分析法認(rèn)為程序在輸入/輸出的邊界附近更容易出錯(cuò)，因此選擇邊界及其緊鄰值作為測試點(diǎn)。三角形問題中，需關(guān)注：①邊長為0（無效輸入）；②兩邊之和等于第三邊（如a+b=c，此時(shí)不構(gòu)成三角形）；③三邊相等（等邊）；④兩邊相等（等腰）的邊界（如a=b≠c時(shí)，a與c的差值極?。?.簡述缺陷管理的關(guān)鍵步驟及其作用。答案：關(guān)鍵步驟：①缺陷發(fā)現(xiàn)與記錄（準(zhǔn)確記錄重現(xiàn)步驟、嚴(yán)重程度等，確?？勺粉櫍?；②缺陷分類與優(yōu)先級劃分（根據(jù)影響范圍和緊急程度分配資源）；③缺陷修復(fù)與驗(yàn)證（開發(fā)人員修復(fù)后，測試人員重新測試確認(rèn)）；④缺陷關(guān)閉與統(tǒng)計(jì)分析（總結(jié)缺陷模式，優(yōu)化開發(fā)過程）。作用：確保缺陷被及時(shí)處理，減少遺漏，提升軟件質(zhì)量。四、應(yīng)用題（18分）某銀行轉(zhuǎn)賬系統(tǒng)的需求規(guī)格說明如下：轉(zhuǎn)賬金額x需滿足100≤x≤50000元（含邊界）；若x<100或x>50000，提示“金額超出范圍”；若x為10050000之間的整數(shù)，且賬戶余額≥x+手續(xù)費(fèi)（手續(xù)費(fèi)=5元），則轉(zhuǎn)賬成功；否則提示“余額不足”。要求：使用等價(jià)類劃分法設(shè)計(jì)測試用例，覆蓋所有有效等價(jià)類和無效等價(jià)類，并給出預(yù)期結(jié)果。答案：有效等價(jià)類：E1：x為整數(shù)且100≤x≤50000；E2：賬戶余額≥x+5（手續(xù)費(fèi)）。無效等價(jià)類：I1：x<100（如x=99）；I2：x>50000（如x=50001）；I3：x非整數(shù)（如x=150.5）；I4：賬戶余額<x+5（如x=200，余額=204）。測試用例設(shè)計(jì)：|用例ID|輸入x（元）|賬戶余額（元）|預(yù)期結(jié)果|||||||TC1|100|105|轉(zhuǎn)賬成功||TC2|50000|50005|轉(zhuǎn)賬成功||TC3|25000|25005|轉(zhuǎn)賬成功||TC4|99||提示“金額超出范圍”||TC5|50001||提示“金額超出范圍”||TC6|150.5||提示“金額超出范圍”（因非整數(shù)）||TC7|200|204|提示“余額不足”（204<200+5=205）|五、綜合分析題（10分）某醫(yī)療信息管理系統(tǒng)開發(fā)接近尾聲，需開展系統(tǒng)測試。假設(shè)你是測試負(fù)責(zé)人，請?jiān)O(shè)計(jì)一份系統(tǒng)測試策略，包括測試目標(biāo)、測試類型（至少4種）、測試重點(diǎn)及關(guān)鍵輸出。答案：測試目標(biāo)：驗(yàn)證系統(tǒng)整體功能、性能、安全性等滿足需求，確保上線后穩(wěn)定運(yùn)行，符合醫(yī)療行業(yè)規(guī)范。測試類型及重點(diǎn)：1.功能測試：覆蓋所有業(yè)務(wù)流程（如患者掛號(hào)、病歷錄入、費(fèi)用結(jié)算），驗(yàn)證功能正確性、邏輯一致性，重點(diǎn)檢查邊界條件（如藥品數(shù)量為0）和異常輸入（如非數(shù)字的身份證號(hào)）。2.性能測試：模擬高并發(fā)場景（如高峰時(shí)段1000用戶同時(shí)登錄），評估響應(yīng)時(shí)間（≤3秒）、吞吐量（≥500次/分鐘），重點(diǎn)關(guān)注數(shù)據(jù)庫查詢效率和接口延遲。3.安全性測試：檢查用戶權(quán)限控制（如護(hù)士無法修改醫(yī)生醫(yī)囑）、數(shù)據(jù)加密（病歷傳輸使用TLS1.3）、漏洞掃描（SQL注入、XSS攻擊），重點(diǎn)驗(yàn)證患者隱私數(shù)據(jù)的保護(hù)措施。4.兼容性測試：驗(yàn)證系統(tǒng)在主流瀏覽器（Chrome120+