软件测试简介【荐】.pdfVIP

软件测试简介 2011年11月 内容  软件验证  软件测试  Web测试 2 软件验证 概念、全景 软件的Verification与Validation  Verification  软件产品与输入文档一致  Validation  软件产品与用户需求一致  软件产品  需求规格说明、设计报告、源代码、目标码…  一致？  是否能够实现一致呢？  操作剖面 测试剖面 4 验证的手段  测试、仿真测试、定理证明、模型验证、静态分析、代 码审查……  分类方式1：静态、动态  分类方式2 ：形式化的、基于经验的  分类方式3 ：建模、分析、证明、测试  分类方式4 ：基于模型、基于代码、基于目标码  常说的软件测试：  动态、基于经验、基于代码和基于目标码、测试