湖北师范大学《软件验证与确认A》2025学年第一学期期末试卷含答案

湖北师范大学《软件验证与确认A》2025学年第一学期期末试卷含答案一、单项选择题（每题2分，共20分）1.软件验证（Verification）的核心目标是：A.确认软件满足用户实际需求B.确保软件符合指定的标准和规格C.发现并修复所有潜在缺陷D.评估软件的可维护性答案：B2.以下属于静态测试技术的是：A.单元测试B.代码走查C.压力测试D.性能测试答案：B3.黑盒测试的主要依据是：A.程序内部逻辑结构B.软件需求规格说明书C.代码注释D.开发人员的设计文档答案：B4.等价类划分法中，若输入条件规定取值范围为1100，则有效等价类是：A.0B.101C.50D.5答案：C5.以下关于缺陷（Defect）的描述，错误的是：A.缺陷可能由需求误解引起B.所有缺陷都需要在发布前修复C.缺陷的严重程度与影响范围相关D.缺陷跟踪需记录重现步骤答案：B6.形式化验证方法的主要特点是：A.依赖测试用例覆盖B.基于数学模型推导C.适用于所有类型软件D.无需考虑规格说明答案：B7.集成测试的主要目的是验证：A.单个模块的功能B.模块间接口与协作C.系统整体性能D.用户界面友好性答案：B8.以下不属于确认活动的是：A.用户验收测试B.需求评审C.beta测试D.现场使用评估答案：B9.边界值分析法中，若输入变量x的取值为整数且2≤x≤8，则应选取的测试点不包括：A.x=1B.x=2C.x=8D.x=9答案：A（注：边界值应包括上界、下界及紧邻值，2和8是边界，1和9是边界外，但题目中x≥2，故1不在有效范围内，可能作为无效测试点，但本题问“不包括”，需根据具体场景判断。严格来说，边界值分析需覆盖边界内外，因此正确选项应为A，因x=1是无效输入的边界，可能不被选为主要测试点。）10.软件质量模型中，“可移植性”属于：A.内部质量特性B.外部质量特性C.使用质量特性D.过程质量特性答案：A二、填空题（每空2分，共20分）1.软件验证与确认（V&V）的本质是通过______和______活动确保软件质量。（评审；测试）2.测试用例的三要素是______、______和______。（输入数据；执行条件；预期输出）3.静态测试的典型方法包括______和______。（代码审查；静态分析工具扫描）4.动态测试中，白盒测试关注______，黑盒测试关注______。（内部逻辑；外部行为）5.缺陷生命周期的阶段通常包括：发现→______→______→关闭。（记录；修复；验证）（注：顺序为发现→记录→分配→修复→验证→关闭，此处填写“记录；修复”或“分配；验证”均可，需按教材定义调整，此处取常见阶段）三、简答题（每题8分，共32分）1.简述软件验证（Verification）与确认（Validation）的区别与联系。答案：区别：验证（Verification）是“是否正确地构建了产品”，即检查软件是否符合指定的规格和标准（如需求文档、设计文档）；确认（Validation）是“是否构建了正确的产品”，即验证软件是否满足用户的实际需求和预期。联系：两者共同构成软件质量保证的核心，验证为确认提供基础（确保中间产物符合要求），确认最终验证整体目标的达成，贯穿软件开发生命周期。2.说明静态测试与动态测试的主要差异，并各举两例。答案：差异：静态测试不执行程序，通过人工或工具分析文档、代码的结构和逻辑；动态测试需执行程序，通过输入测试用例观察输出结果。示例：静态测试（代码走查、需求评审）；动态测试（单元测试、压力测试）。3.边界值分析法的基本原理是什么？在三角形分类问题（输入三边a,b,c，判断是否为三角形及类型）中，应重点关注哪些边界值？答案：原理：边界值分析法认为程序在输入/输出的边界附近更容易出错，因此选择边界及其紧邻值作为测试点。三角形问题中，需关注：①边长为0（无效输入）；②两边之和等于第三边（如a+b=c，此时不构成三角形）；③三边相等（等边）；④两边相等（等腰）的边界（如a=b≠c时，a与c的差值极小）。4.简述缺陷管理的关键步骤及其作用。答案：关键步骤：①缺陷发现与记录（准确记录重现步骤、严重程度等，确保可追踪）；②缺陷分类与优先级划分（根据影响范围和紧急程度分配资源）；③缺陷修复与验证（开发人员修复后，测试人员重新测试确认）；④缺陷关闭与统计分析（总结缺陷模式，优化开发过程）。作用：确保缺陷被及时处理，减少遗漏，提升软件质量。四、应用题（18分）某银行转账系统的需求规格说明如下：转账金额x需满足100≤x≤50000元（含边界）；若x<100或x>50000，提示“金额超出范围”；若x为10050000之间的整数，且账户余额≥x+手续费（手续费=5元），则转账成功；否则提示“余额不足”。要求：使用等价类划分法设计测试用例，覆盖所有有效等价类和无效等价类，并给出预期结果。答案：有效等价类：E1：x为整数且100≤x≤50000；E2：账户余额≥x+5（手续费）。无效等价类：I1：x<100（如x=99）；I2：x>50000（如x=50001）；I3：x非整数（如x=150.5）；I4：账户余额<x+5（如x=200，余额=204）。测试用例设计：|用例ID|输入x（元）|账户余额（元）|预期结果|||||||TC1|100|105|转账成功||TC2|50000|50005|转账成功||TC3|25000|25005|转账成功||TC4|99||提示“金额超出范围”||TC5|50001||提示“金额超出范围”||TC6|150.5||提示“金额超出范围”（因非整数）||TC7|200|204|提示“余额不足”（204<200+5=205）|五、综合分析题（10分）某医疗信息管理系统开发接近尾声，需开展系统测试。假设你是测试负责人，请设计一份系统测试策略，包括测试目标、测试类型（至少4种）、测试重点及关键输出。答案：测试目标：验证系统整体功能、性能、安全性等满足需求，确保上线后稳定运行，符合医疗行业规范。测试类型及重点：1.功能测试：覆盖所有业务流程（如患者挂号、病历录入、费用结算），验证功能正确性、逻辑一致性，重点检查边界条件（如药品数量为0）和异常输入（如非数字的身份证号）。2.性能测试：模拟高并发场景（如高峰时段1000用户同时登录），评估响应时间（≤3秒）、吞吐量（≥500次/分钟），重点关注数据库查询效率和接口延迟。3.安全性测试：检查用户权限控制（如护士无法修改医生医嘱）、数据加密（病历传输使用TLS1.3）、漏洞扫描（SQL注入、XSS攻击），重点验证患者隐私数据的保护措施。4.兼容性测试：验证系统在主流浏览器（Chrome120+