软件验证及确认

✍ dations ◷ 2025-10-19 17:43:12 #软件验证及确认

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

相关

骨折骨折（英语：Bone fracture）是指骨骼的连续性有部分或全部断裂的医学状况。情况严重时，骨骼可能碎成数块。骨折可以是强力的撞击或压力导致；在某些骨骼弱化的医学状况下（如骨质疏松
IL-81ICW, 1IKL, 1IKM, 1IL8, 1ILP, 1ILQ, 1QE6, 1ROD, 2IL8, 3IL8· protein binding· response to molecule of bacterial origin · cellular component movement · infl
尼罗-撒哈拉语系尼罗-撒哈拉语系分布于非洲的尼罗河沿岸，尼日尔河沿岸以及非洲中部的撒哈拉地区，包括了中苏丹语族、东苏丹语族、撒哈拉语族、桑海语族、马巴语族等语族。多为声调语言，名词有
联会联会是指在生物细胞进行减数分裂时，为了让子代基因多样性，两条同源染色体侧向连接并排配对的过程。配对时会发生染色体互换并造成同源重组。在联会过程中，同源染色体会形成一
首席部长 (印度)首席部长是印度共和国29个邦和2个联邦属地（德里与本地治里）由选举产生的政府首脑的官衔。根据《印度宪法》，印度各地方总督（英语：Governors of states of India）在名义上为其元首，
遗传因子基因（英语：gene）在生物学中指DNA或RNA内编码基因产物（RNA或蛋白质）的合成的核苷酸序列。基因也可视作基本遗传单位，亦即一段具有功能性的DNA或RNA序列。弄清其序列本身的过程叫基
埃米尔埃米尔又译艾米尔或阿米尔（阿拉伯语：أمير‎，拉丁化：Amīr）是阿拉伯国家的贵族头衔，此封号用于中东地区和北非的阿拉伯国家，突厥在历史上亦曾使用过这个封号。一般从音译为埃米
甲状腺过氧化物酶甲状腺过氧化物酶（Thyroid peroxidase或thyroperoxidase，简称TPO）是一种主要在甲状腺中表达的酶。它可以催化碘离子与甲状腺球蛋白酪氨酸残基的加成反应，以此合成甲状腺素（thyrox
驯养业驯化（英语：Domestication）是指一种生物的成长与生殖逐渐受另一种生物利用与掌控的过程，例如人类栽培各种农作物、畜牧，以及切叶蚁驯养真菌。人类驯化动植物的目的主要包括作为食
乌兰乌德乌兰乌德（俄语：Улан-Удэ：布里亚特语：Улаан-Үдэ），俄罗斯布里亚特共和国首府（经纬座标：51°50′N 107°36′E），2010年人口404,357。是东西伯利亚第三大城市。盛唐时属燕