软件验证及确认

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

相关

  • 人体寄生虫学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学医学寄生虫学(Medical Parasitology),又
  • 多萝西·克劳福特·霍奇金多萝西·玛丽·霍奇金,OM,FRS(英语:Dorothy Mary Hodgkin,1910年5月12日-1994年7月29日)本姓克劳福特(Crowfoot),英国女性生物化学家,促进了蛋白质晶体学的发展。她生于开罗,1964年获诺
  • 人类生殖系统的同系物列表人类两性的生殖系统有相同的胚胎起源,经过分化而演变为不同的器官。以下列出了男性与女性的同源器官。生殖器于胚胎的发育的过程示意图,左侧为男性,右侧为女性。
  • 雨br /海br /代在月球地质时代里,雨海代发生于38亿5千万年前至38亿年前之间,接续于酒海纪之后,内太阳系后期重轰击期的结束即在此一时期。早雨海世是形成雨海的撞击发生在此一时期刚开始的时
  • 索恩-卢瓦尔省索恩-卢瓦尔省(法文:Saône-et-Loire,发音:)是法国勃艮第-弗朗什-孔泰大区所辖的省份。该省编号为71。藏传佛教寺院达香噶举林之千佛殿坐落于该省奥顿区的拉布莱镇。5个海外省及
  • 一次性密码本一次性密码本(one-time pad,缩写为OTP)是古典密码学中的一种加密算法。是以随机的密钥(key)组成明文,且只使用一次。在理论上,此种密码具有完善保密性,是牢不可破的。它的安全性已由
  • 比耶高原比耶高原(Bié Plateau),又称安哥拉中部高原(葡萄牙语:Planalto Central de Angola), 是基本上全部位于安哥拉中部的一个高原,高度在1,520米至1,830米之间。许多河流从比耶高原为源
  • 磁性底座磁性底座,一般用于量测仪器的固定,一般性量测仪器如千分表、角度规、震动计等,多半使用磁性座固定量具。磁性底座外壳是两块铁,中间圆形永久磁铁,可方便地旋转的磁铁。可吸附在导
  • 总线总线(Bus)是指计算机组件间规范化的交换数据(data)的方式,即以一种通用的方式为各组件提供数据传送和控制逻辑。从另一个角度来看,如果说主板(Mother Board)是一座城市,那么总线就像
  • 左营区坐标:22°41′13.54″N 120°17′30.67″E / 22.6870944°N 120.2918528°E / 22.6870944; 120.2918528左营区(台湾话:.mw-parser-output .sans-serif{font-family:-apple-syst