软件验证及确认

✍ dations ◷ 2025-11-30 21:35:18 #软件验证及确认

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

相关

球菌球菌（拉丁语：coccus，复数cocci）是一类外观呈球形或近似球形的细菌。根据排列方式的不同，球菌可分为单球菌、双球菌、链球菌、四联球菌、八叠球菌以及葡萄球菌等。细菌疾病 · 科
光害光害，或称光污染（light pollution），是人类过度使用照明系统而产生的问题。最显而易见的影响是城市夜空里的星体被众多大厦的灯光所覆盖而消失了。这使得观察宇宙的研究受到影响，
肛裂肛裂又称裂痔，钩肠痔是一种发病率极高的肛肠疾病。肛裂是指肛管皮肤全层裂开，并形成慢性溃疡的一种疾病。好发于肛门前后正中，多见于后正中。临床以周期性肛门疼痛、大便带血、
人口学实证主义 · 反实证主义（英语：Antipositivism）结构主义 · 冲突理论中层理论 · 形式理论批判理论人口 · 团体 · 组织（英语：Organizational theory） · 社会化社会性
模拟仿真或译作模拟（英语：Simulation），泛指基于实验或训练为目的，将原本的真实或抽象的系统、事务或流程，建立一个模型以表征其关键特性（key characteristics）或者行为、功能，予以系统化
马恩省马恩省（法语：Marne）是法国阿尔萨斯-香槟-阿登-洛林大区所辖的省份，位于法国东北部，以流经省内的马恩河（罗马时代称马罗那）命名。该省编号为51。马恩省省会是香槟沙隆（以前称为马恩
解析几何解析几何（英语：Analytic geometry），又称为坐标几何（英语：Coordinate geometry）或卡氏几何（英语：Cartesian geometry），早先被叫作笛卡尔几何，是一种借助于解析式进行图形研究的几何学分支
祖冲之祖冲之（429年－500年），字文远，范阳郡逎县（今河北省保定市涞水县）人，刘宋时代数学家、天文学家。祖冲之的主要成就在数学、天文历法和机械制造三个领域。祖冲之的儿子祖暅之也是数学家
李亚栋李亚栋（1964年11月－），安徽宿松人，中国无机化学家，中国科学院院士。1986年7月，毕业于安徽师范大学化学系。1991年7月，获中国科学技术大学硕士学位。1998年6月，获中国科学技术大学博士
上颌动脉上颌动脉（maxillary artery）是供养颜面深层结构的血管，为外颈动脉的一条分支。上颌动脉源自于外颈动脉的两条分支中，较粗的那一个分支。分支的起点位于下颌骨颈部，嵌于腮腺当中，穿