软件验证及确认

✍ dations ◷ 2025-09-02 19:24:22 #软件验证及确认

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

相关

低血镁低血镁症（Hypomagnaesemia）是描述血液中的镁离子含量低于正常值的现象。正常人体内的血镁约介于 1.7–2.2 mg/dL 之间，如果血镁值低于 1.7 mg/dL（0.7 mmol/L）就是低血镁症。症
β-tgβ-血小板球蛋白（β-血小板球蛋白，也称为Pro-Platelet碱性蛋白）是存储在血小板的α-颗粒中并在血小板激活后大量释放的蛋白。它是一种趋化因子（C-X-C基序）配体7的蛋白异型体。他
锂离子聚合物电池锂聚合物电池（英语：lithium polymer，缩写：Li-Po），又称聚合物锂电池、聚锂电池，是一种锂离子电池。锂聚电池通常是由数个相同的平行子电池芯（secondary cells）来增加放电电流，或由数个
法兰克－史达林机制Frank–Starling机制（英语：Frank–Starling mechanisms），是心脏的一种代偿机制。指的是心脏的每搏输出量在所有其他因素保持不变的情况下，会随着心脏前负荷（心肌在收缩前所承受的
滑面内质网内质网（英语：Endoplasmic reticulum, ER）是在真核生物细胞中由膜围成的隧道系统，为细胞中的重要细胞器。实际上内质网是膜被折叠成一个扁囊或细管状构造，可分为粗面内质网（Rough E
五羰基铁五羰基铁，铁与羰基的化合物，化学式为Fe(CO)5。五羰基铁熔点在-20.3℃，沸点在103.6℃，临界温度286℃。完全溶解于苯、溴苯、二氯苯、汽油、四氯化萘、苯醛、丙酮等溶剂。化学性质
C值谜C值谜（C-value enigma）更常见且较早出现的名称是C值悖论（C-value paradox）。指一个关于真核生物各物种的基因组大小差异的难题，也就是生物的C值（或基因组大小）并不与生物复杂程度相
瑞夫·史坦曼拉尔夫·马文·斯坦曼（英语：Ralph Marvin Steinman，1943年1月14日－2011年9月30日），美国洛克菲勒大学的免疫学家和细胞生物学家。他在1973年提出了树突状细胞的概念与其在后天免疫
反馈π键反馈π键（英语：π-backbonding）是一个基于分子轨道理论的化学概念，指电子从一个原子的原子轨道移动到另外一个原子或配体的反键轨道（π*轨道），在金属有机化学领域很常见，因为在该领
莱斯大学莱斯大学（英语：Rice University；威廉·马歇尔·莱斯大学于1912年开办，开办之初名为威廉·马歇尔·莱斯文学、科学与艺术发展学院）是座落于美国德克萨斯州休斯顿市的一所私立的研