河北工业大学软件工程教师课件第五节软件实现与验证方案.ppt

第五讲 软件实现与验证（Software Implementation and Validation） 目标 了解编程和调试的基本工作内容； 掌握软件验证和有效性确认的基本知识和程序检查过程及方法； 熟悉软件测试的基本方法； 了解有效性测试和缺陷测试的区别； 掌握系统及组件测试的原则和常用的测试用例设计方法； 了解支持测试的CASE工具的工作原理。 内容 程序设计与调试； 验证与有效性确认； 软件测试 1 程序设计与调试 程序设计的任务是把设计转换成程序以及在程序中去除错误，包括编程与调试两个过程。 编程是一种个人行为—通常没有统一的模式。 通常，程序员要对自己开发的程序进行测试，这时程序中的一些明显的错误会暴露出来并被根除，这个过程叫调试。 调试过程 2 验证和有效性确认（ Verification Validation） 验证:  “Are we building the product right？”. 检查软件是否符合它的规格描述。 有效性确认: “Are we building the right product？”. 检查软件是否满足客户的期待。 V V 过程 在软件整个生命周期中 V V 必须在软件过程的每一个阶段得以执行。 V V过程有两个基本目标： 发现系统的缺陷； 从操作的角度评价系统的有用性和可用性。 V V 目标 验证和有效性确认的最终目标是要建立“软件达到了设计目标”的信心。 注意：我们并不要求软件系统完全无缺陷。而是足以完成用户所要求的任务。 V V 信心 对V V所要求的信心程度取决于系统的设计目标、用户的期望和目前的市场环境： 软件功能 The level of confidence depends on how critical the software is to an organisation. 用户期望 Users may have low expectations of certain kinds of software. 市场环境 Getting a product to market early may be more important than finding defects in the program. 静态与动态验证 软件审查 通过对系统的各种静态成果，如需求文档、设计文档、源代码，进行检查和分析发现问题。 May be supplement by tool-based document and code analysis 软件测试 通过使用测试数据执行系统，检查运行结果来发现问题。 The system is executed with test data and its operational behaviour is observed 静态与动态验证 程序测试 测试的目的是为了揭示程序中存在错误，而不是没有错误。 静态检查无法检验软件是否可用，也不能检验非功能需求，因此程序测试是必不可少的，是起决定性作用的V V技术。 在V V过程中，程序测试和静态检查通常是结合在一起使用的。 测试类型 缺陷测试 Tests designed to discover system defects. A successful defect test is one which reveals the presence of defects in a system. 有效性测试 Intended to show that the software meets its requirements. A successful test is one that shows that a requirements has been properly implemented. 测试和调试 缺陷测试和调试是不同的过程，通常交叉进行。 检验和有效性验证的目的是确定系统中存在缺陷； 调试考虑的是定位和修改缺陷。 调试过程 2.1 V V 规划 仔细的规划能够使程序检查和测试的工作得到更多的回报。 V V过程的规划应该从开发过程的早期就开始。 V V规划应该明确的说明静态检查与测试任务与分工。 测试规划主要是制定测试过程标准，而不是描述测试本身。 系统开发的 V 模型 软件测试计划的结构 测试过程 需求跟踪 测试项目 测试进度 测试记录程序 硬软件需求 约束 2.2 软件审查 软件审查是一个静态的VV过程，这个过程中通过对软件系统复查来发现错误、遗漏和异常。 通常，审查的对象是源代码，但也可以是任何可读文档。 软件审查是一种比程序测试更有效的缺陷发现技术。 审查的好处 单一的审查工作就可以发现系统很多错误； 无需额外的成本就