《软件工程概论》第六章核心内容

软件测试是在软件投入生产性运行之前，对软件需求分析、设计规格说明和编码的最终复审，是软件质量控制的关键步骤。  软件测试的对象：需求分析、概要设计、详细设计及程序编码等阶段所得的文档资料，包括需求规格说明、概要设计规格说明、详细设计规格说明以及源程序。  确认是一系列的活动和过程，目的在于证实在一个恰当的外部环境中软件的逻辑正确性，分为静态确认和动态确认。  验证是试图证明在软件生存期各个阶段以及阶段间的逻辑协调性、完备性和正确性。确认与测试都属于软件测试。  黑盒测试：已知产品的功能设计规格，可以通过测试证明每个实现了的功能是否满足要求（根据软件的外部特性）用列设计：a.等价类划分；b.边界值分析。  白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否已经过检查（对软件的过程性细节作细致的检查）。用例设计：a.逻辑覆盖；b.语句覆盖；c.判定覆盖；d.条件覆盖；e.判定—条件覆盖；f.条件组合覆盖；g.路径覆盖。  软件测试：步骤：单元测试、组装测试、确认测试和系统测试。单元测试的内容：模块接口测试、局部数据结构测试、路径测试、错误处理测试、边界测试。