河北工业大学软件工程_要点串讲.pptVIP

第五讲 软件实现与验证 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 验证和有效性确认过程的两种基本方法： 测试的目的是为了揭示程序中存在错误，而不是没有错误。 按照测试的不同目标可以把测试分成有效性测试与缺陷测试。 静态审查无法检