软件验证技术摘要.ppt

第五章 软件验证技术 软件验证 1.定义： 指通过检查和提供客观证据来表明软件已经满足规定的需求。 作用： 确保软件质量和降低软件成本的重要手段，关系到软件的整个生存周期 3.软件验证的方式： 测试 证明 进行软件测试的原因 任何工业产品在出厂前都要经过严格的质量检验，软件产品也不例外,在编码和调试完成之后，还需要进行严格的测试！ 软件开发的前面各阶段都已经采取了各种方法和技术进行质量保证，为什么还要进行软件测试？ 由于软件是一种高密集度的智力产品，比一般的硬件产品更复杂和难以控制。虽然在前阶段的开发过程中，采取了相应的措施，但仍然不可避免的会存在错误。 还得提醒一下同学们：软件测试是很困难的，必须要有一整套的方法和技术进行指导。 测 试 测试分为静态测试和动态测试。 测 试 测试是一项周期长、成本高的软件工程活动。 一般的软件开发组织要将30%-40%的项目精力投入到测试之中，一些人命关天的软件其测试费用往往更高。 测试无法保证测试后的软件不再有错误。 测试过程中将产生下述基本文档： （1）测试计划：确定测试范围、方法和需要的资源等。 （2）测试过程：详细描述与每个测试方案有关的测试步骤和数据，包括测试数据及预期的结果。 （3）测试结果：把每次测试运行的结果写入文档，如果运行出错，则应产生问题报告，并且通过调试解决所出现的问题。 证 明 通过形式化的数学方法来确保软件