首页 >
软件验证及确认
✍ dations ◷ 2025-06-07 01:54:41 #软件验证及确认
在软件项目管理(英语:Software project management)、软件工程及软件测试中,验证及确认(verification and validation,简称V&V)是指检查软件是否符合规格及其预期目的的程序。验证及确认也被视为一种软件质量管理,是软件开发过程的一部分,一般归类在软件测试中。验证及确认有时会由公正的第三方单位进行,此情形下的验证及确认称为独立验证及确认,简称IV&V。确认(validation)的目的是检查产品设计是否符合其预期的目的,软件确认的目的是检查软件是否符合用户的需求而言,可以由动态检查(英语:dynamic testing)或是其他方式的审查来达成。依照能力成熟度模型(CMMI-SW v1.1)的定义:换句话说,验证程序确保产品符合客户需求,而确认程序确保产品符合要求及设计规格。验证程序确保“制造出正确的产品”(you built the right thing),而确认程序确保“以正确的方式制造产品”(you built it right)。在建模与模拟(英语:modeling and simulation)社群中,确认、验证及资格认可(英语:accreditation)的定义类似:验证及确认都是属于软件质量保证的一部分,但只靠验证及确认无法确保软件质量,需配合计划、需求可追溯性、配置管理及其他软件工程的概念才能确保软件质量。对于要求完美性能的任务关键系统,会使用形式方法确认系统的正确性,不过形式方法的成本相当的高,若是非任务关键系统,一般会使用其他的验证及确认方式,例如句法方法(英语:syntactic methods)等。测试用例是验证及确认过程中使用的工具,测试用例一组条件或变量,测试者根据它来确定应用软件或软件系统是否正确工作。测试用例是为了验证而准备,其目的是评估后续建构产品的程序是否正确。测试用例是为了确认而运行,是评估产品是否依照用户的需求而设计及制造的程序,若在软件开发生命周期的前面,会用其他方法(例如软件评审)进行确认。有一些产业的验证及确认需符合相关法令的兼容性要求,一般会由政府机构或是产业主管部分进行指导。例如美国食品药品监督管理局要求医疗设备的软件及补丁均需经过确认的程序。
相关
- 虚拟现实虚拟现实(英语:virtual reality,缩写VR),简称虚拟技术,也称虚拟环境,是利用电脑模拟产生一个三维空间的虚拟世界,提供用户关于视觉等感官的模拟,让用户感觉仿佛身历其境,可以即时、没
- 首席元老首席元老(princeps senatus)或元首,是罗马元老院的领导人。虽然正式来说该职务不属于晋升体系(cursus honorum)的范围内,而且未拥有统治大权,但是仍然给握有它的元老带来巨大的威望
- 颗粒颗粒可以指:
- 爱德华·泰勒爱德华·泰勒(英语:Edward Teller,原匈牙利名为Teller Ede,1908年1月15日-2003年9月9日),出生于匈牙利的犹太裔理论物理学家,被誉为“氢弹之父”(见泰勒-乌拉姆构型),但他本人并不喜欢
- 伊利诺伊大学厄巴纳-香槟分校伊利诺伊大学厄巴纳-尚佩恩分校(英语:University of Illinois at Urbana-Champaign,简称U of I,亦简称作UIUC)位于美国伊利诺伊州厄巴纳-尚佩恩市,是一所享有世界声望的一流公立研究
- 夜丘产区尼伊丘产区(法语:Côtes de Nuits),亦被广泛误译作夜丘产区,是位于法国东部勃艮第地区科多尔省中部至南部的葡萄酒产区。尼伊丘产区北起马尔萨奈拉科特,南至尼伊圣乔治,长度约20公
- 克鲁伊夫公元1974年时的克鲁伊夫亨德里克·约翰内斯·“约翰”·克鲁伊夫(荷兰语:Hendrik Johannes "Johan" Cruijff, (荷兰语发音:.mw-parser-output .IPA{font-family:"Charis SIL","D
- 京东商城京东商城(NASDAQ:JD)是中国大陆一家主要为B2C模式的购物网站,前称360buy,由刘强东创办。2014年,京东集团在美国纳斯达克证券交易所上市。京东商城在2004年由创始人、现任首席执行
- 后天后日又称为后天,泛指明日后之一整日,是未来的一部分。“后日的明日”常被称为“大后日”,而“大后日的明日”则称为“大大后日”,如此类推;不过,在书面语上,“大大后日”、“大大大
- 月球人造物体列表月球上现在正在使用的人造物体有用于月球激光测距实验的激光反射镜。几只被美国宇航员留下的高尔夫球也在月球上。下表列出了部分月球表面的人造物体:人类留在月球上的物体约