软件验证及确认

✍ dations ◷ 2025-06-28 05:08:38 #软件验证及确认
在软件项目管理(英语: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)等。测试用例是验证及确认过程中使用的工具,测试用例一组条件或变量,测试者根据它来确定应用软件或软件系统是否正确工作。测试用例是为了验证而准备,其目的是评估后续建构产品的程序是否正确。测试用例是为了确认而运行,是评估产品是否依照用户的需求而设计及制造的程序,若在软件开发生命周期的前面,会用其他方法(例如软件评审)进行确认。有一些产业的验证及确认需符合相关法令的兼容性要求,一般会由政府机构或是产业主管部分进行指导。例如美国食品药品监督管理局要求医疗设备的软件及补丁均需经过确认的程序。

相关

  • 近距离放射治疗近距离治疗(取自希腊语“brachys”一词,意思是“短距离”),也称作内照射放疗、密封源式放射治疗、镭疗法或内部镭疗法,是放射治疗的一种形式,即将放射源放置于需要治疗的部位内部
  • 麦角新碱麦角新碱,英文名为Ergometrine ,或者 ergonovine 又或者称为D-麦角酸β-氨基丙醇, 是一类用于引起子宫收缩来治疗阴道产后出血的药物。 它可用于口服,肌肉注射或静脉注射。
  • 器官衰竭多重器官衰竭(英语:Multiple organ failure)或称多器官功能障碍综合征(英语:Multiple organ dysfunction syndrome、MODS)、多系统器官衰竭(英语:Multiple-system organ failure)、多
  • 子集子集,为某个集合中一部分的集合,故亦称部分集合。若 A {\displaystyle A} 和 B {\displ
  • 矢部,为汉字索引中的部首之一,康熙字典214个部首中的第一百一十一个(五划的则为第十七个)。就繁体和简体中文中,矢部归于五划部首。矢部通常从上、左、右方为部字。且无其他部首
  • 卡拉恰伊-切尔克斯共和国卡拉恰伊-切尔克斯共和国(俄语:Карача́ево-Черке́сская Респу́блика, Karachayevo-Cherkesskaya Respublika; 卡拉恰伊-巴尔卡尔语: Къа
  • 世界公民世界公民一词有多重涵义,通常是指一个人不赞同源于国籍的传统地理划分。
  • 图图戴斯蒙·图图(英语:Desmond Mpilo Tutu,又译涂德民,1931年10月7日-),南非开普敦的圣公会前任大主教,也是南非圣公会首位非裔大主教,被称为人权运动者的神学家。他亦是1984年诺贝尔和
  • 智乐堂智乐堂网络股份有限公司(英语:Zealot Digital International Corp),简称智乐堂,是台湾的电脑游戏研制、发行公司,旧名为汉堂国际资讯股份有限公司(英语:Dyansty International Infor
  • 伯努利丹尼尔·伯努利(Daniel Bernoulli,1700年2月8日-1782年3月17日),生于荷兰格罗宁根,著名数学家,约翰·伯努利之子,为伯努利家族代表人物之一。其伯努利定律适用于沿着一条流线的稳定