原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
检验和有效性验证
确保一个软件系统满足用户
的需求
目标
软件检验和软件有效性验证之间的区别
在程序中发现缺陷的程序检查过程及其在检验
和有效性验证中的作用
静态分析方法作为一种检验技术
净室软件开发方法
内容
检验和有效性验证规划
软件检查
自动静态分析
净室软件开发方法
检验与有效性验证
检验
我们是否在正确地建立一个产品
软件应该符合它的描述
有效性验证
我们是否在建立一个正确的产品
软件应该满足用户真正的需要
检验和有效性验证过程
是个全生命周期的过程一一检验和有效性验证
应该应用到软件过程的每个阶段
有两个主要目的
发现系统中的缺陷
评估系统在实际操作中是否可用
静态和动态检验
软件检查分析系统的静态表述以发现问题(
静态检验)
·可能增加基于工具的文档和代码分析
狁件测试实际运行和观察软件的行为(动态检
验)
系统实用测试数据执行,然后观察其运行的行为
静态和动态VV
verification
Requrements
High-level
Formal
illed
specification
design
[
Program
ign
validation
程序测试
可以发现错误的存在,不是错误的不存在
次成功的测试能够发现一个或更多的错误
对于非功能需求是唯一的验证手段
应该和静态检验联合使用以提供全面的检验和
有效性验证
测试的类型
缺陷测试
设计测试以发现系统缺陷
成功的测试是发现系统中缺陷的存在
第20章中详述
统计性测试
设计测试以用户输入的频度。用于可靠性估计
第21章中详述
VV目标
检验和有效性验证的目标是要确信软件符合使
用目的
这并不意味着程序完全没有缺陷
而是表明系统足以满足使用要求。使用类型决
定了所需的信任程度
文档评论（0）