河北工业大学软件工程_串讲.ppt

第五讲 软件实现与验证 5.1 程序设计与调试 程序设计的任务是把设计转换成程序以及在程序中去除错误，包括编程与调试两个过程。 通常，程序员要对自己开发的程序进行测试，这时程序中的一些明显的错误会暴露出来并被根除，这个过程叫调试。 验证:  “Are we building the product right？”. 检查软件是否符合它的规格描述。 有效性确认: “Are we building the right product？”. 检查软件是否满足客户的期待。 5.2 验证和有效性确认（ Verification Validation） 软件审查 通过对系统的各种静态成果，如需求文档、设计文档、源代码，进行检查和分析发现问题。 May be supplement by tool-based document and code analysis 软件测试 通过使用测试数据执行系统，检查运行结果来发现问题。 The system is executed with test data and its operational behaviour is observed 5.3 验证和有效性确认过程的两种基本方法： 测试的目的是为了揭示程序中存在错误，而不是没有错误。 按照测试的不同目标可以把测试分成有效性测试与缺陷测试。 静态审查无法检验软件是否可用，也不能检验非功能需求，因此程序测试是必不可少的，是起决定性作用的V V技术。 在V V过程中，程序测试和静态审查通常是结合在一起使用的。 5.4 程序测试与静态审查 测试和调试是不同的过程，通常交叉进行。 检验和有效性验证的目的是确定系统中存在缺陷； 调试考虑的是定位和修改缺陷。 测试和调试 仔细的规划能够使程序检查和测试的工作得到更多的回报。 V V过程的规划应该从开发过程的早期就开始。 V V规划应该明确的说明静态检查与测试任务与分工。 测试规划主要是制定测试过程标准，而不是描述测试本身。 5.5 V V 规划 系统开发的 V 模型 5.7 软件测试阶段活动 测试阶段 组件测试 测试单个的程序组件； 通常由程序开发者完成（除了要求特别高的系统）； 这个阶段的测试大多依靠测试者的经验。 系统测试 测试由组件整合成的子系统和系统； 有专门的测试团队进行测试； 测试要依据需求规格说明进行。 5.8 集成测试 自顶向下集成 从主控模块开始，沿着控制层次结构逐步向下，利用深度优先或广度优先的方式将从属于主控模块的其他模块集成到系统结构中。 自底向上集成 从原子模块开始，从底层把模块逐步向上集成为更大规模的子系统和系统。 集成测试包括把组件集成为系统和对合成的系统进行 测试，以发现组件集成过程带来的问题，集成方式可以分 为： M1 M2 M3 M4 M5 M6 M8 M7 M9 增量集成测试 为了简化测试中错误定位的问题，可以采用增量集成的方法。 5.9 测试用例设计 测试用例的基本构成可以包括：设计的输入、期望的输出、测试环境和测试对象的描述。 设计测试用例是系统测试与组件测试的关键工作，主要是通过设计输入数据与预计的输出来测试系统。 测试用例设计的目的是建立一组测试用例集合，用尽可能少的测试代价有效的发现系统缺陷并证明系统能够满足需求。 设计测试用例的常用方法： 划分测试与边界值分析； 结构化测试（白盒测试）。 5.10 等价划分测试 等价划分测试是测试用例设计的一种方法。设计测试用例时，可以按特征把数据输入域划分成若干等价类，等价类中的每个数据应该以同样的方式得到处理，因此对于揭露程序中的错误是等效的。这样，就可以选取少量有代表性的输入数据作为测试数据，以期用较小的代价暴露较多的程序错误。 结构化测试是根据软件的结构知识导出测试用例的测试方法。 又叫做“白盒测试法”。 对组件中所用的算法结构的理解可以帮助我们找出更多的测试用例。 5.11 结构化测试 黑盒测试与白盒测试 黑盒测试又叫做功能测试，测试者只关心系统的功能而不关心软件的实现。也就是说测试者不必了解有关系统的任何细节，只把系统看成是一个能够处理输入，产生输出的“黑盒子”，仅从功能的角度设计测试用例。 白盒测试又叫做结构测试，是一种根据软件的结构知识导出测试用例的设计方法。测试者把被测试组件看成是一个打开的“白盒子”，组件的内部结构对测试者是透明的，通过对所用算法结构的分析设计测试用例。 结构化测试的目标 目标： （1）保证一个模块中的所有 独立路径至少被执行一次； （2）对所有的逻辑值均需测 试真和假； （3）在上下边界以及可操作 的范围内执行所有循环； （4）检验内部结构以确保其 有效性。 白盒测试能够比黑盒测试发现 更细小的缺陷。