测试文档关于p4能力的相关文档

软件测试主要工作内容是验证（verification）和确认（validation），下面分别给出其概念：验证(verification)是保证软件正确地实现了一些特定功能的一系列活动，即保证软件以正确的方式来做了这个事件(Doitright)1.确定软件生存周期中的一个给定阶段的产品是否达到前阶段确立的需求的过程。2.程序正确性的形式证明，即采用形式理论证明程序符合设计规约规定的过程。3.评审、审查、测试、检查、审计等各类活动，或对某些项处理、服务或文件等是否和规定的需求相一致进行判断和提出报告。确认（validation）是一系列的活动和过程，目的是想证实在一个给定的外部环境中软件的逻辑正确性。即保证软件做了你所期望的事情。（Dothe