软件验证及确认

✍ dations ◷ 2025-05-15 10:20:06 #软件验证及确认

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

相关

外毒素A外毒素A（英语：exotoxin A）也称绿脓杆菌外毒素、假单胞菌外毒素（Pseudomonas exotoxin），是由绿脓杆菌（学名：铜绿假单胞菌，Pseudomonas aeruginosa)产生的外毒素。它的功能是将NAD+上的
鹊鸲鹊鸲（学名：Copsychus saularis），又名猪屎渣、吱渣、信鸟或四喜，属鹟科鹊鸲属。分布于中国南部及南亚、东南亚国家。在印度它是一种观赏鸟，更是孟加拉国的国鸟。鹊鸲雄鸟体长19厘米
规范语素规范语素（英语：Bound morpheme）又称不自由语素、黏着语素，在语言学中，指不能独立存在，必须附属于其他语素或词根的语素。与此相对的是自由语素。以英语为例，大多数词缀都是规范语
淋巴管炎淋巴管发炎（英语：lymphangitis）指的是病灶处到远端的淋巴系统之间，淋巴管的发炎或感染。最常见的病因是化脓链球菌（英语：Streptococcus pyogenes）（A组链球菌），其次为申克氏孢子丝菌
RNA干涉RNA干扰（RNA interference，缩写为RNAi）是指一种分子生物学上由双链RNA诱发的基因沉默现象，其机制是通过阻碍特定基因的转录或翻译来抑制基因表达。当细胞中导入与内源性mRNA编码
抗原原罪抗原原罪(英文：original antigenic sin)，又称霍斯金现象(Hoskins effect)，是指身体免疫系统在遭遇到与初次感染有些微不同的外来物(如：病毒或细菌)时，倾向利用初次产生的免疫记
地层下陷地面沉降（英语：land subsidence），泛指地面向下沉陷的垂直地表变形，基准面一般以平均海水面为基准。变形方向与地壳抬升运动相反。地面沉降发生的时间尺度分布极广，从几日到几千年
爱人爱人，在中国大陆通常用来作为夫妻之间的称呼，在台湾泛指第三者不伦恋人意味，爱人则常用称呼交往中情侣。爱人在中国大陆曾是专用于对婚姻配偶的称呼，对人的爱情亲密对像，为未婚恋
中王国时期第八第十中王国时期是古埃及历史上的一个时期，包括第十一、第十二、第十三与第十四王朝，通常划定在前2133－1786年，但严格地说，应该从第十一王朝的孟图霍特普二世时代（约前2060－2010
乌坵海战中华民国中华人民共和国国军方面记录：临淮舰中雷沉没。解放军方面记录：击沉、击伤敌舰各1艘，毙敌82名、俘敌9名。解放军方面记录：护卫艇、鱼雷艇各轻伤2艘，亡2人，重伤4人，轻伤12