软件验证及确认

✍ dations ◷ 2025-08-10 16:00:29 #软件验证及确认

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

相关

脑膜脑膜（拉丁语：meninges /məˈnɪndʒiːz/，单数：meninx /ˈmɛnɪŋks/）是包裹大脑和脊髓的三层保护薄膜。在哺乳动物身上，脑膜指的是硬脑膜（英语：dura mater）、蛛网膜（英语：arachnoid
特殊摄影特摄（日语：特撮／とくさつ Tokusatsu ?）是日语“特撮（とくさつ）”的和制汉语的转变，是（日本）特殊摄影技术（（传统）特效）的简称。亦是指使用大量特技效果的真人电影、电视剧的日语术语。特
认知功能障碍发展障碍、发展迟缓（Developmental disorders），也称心理发展障碍，是一类儿童学习障碍和相关的发育障碍的总称。其包含特殊性发育障碍和广泛性发育障碍。该自闭症关联团体组织的
意大利国家电力意大利国家电力公司（意大利语：Enel S.p.A.，原称Ente nazionale per l'energia elettrica）是总部位于意大利罗马的一家能源公司，主营发电、送电及天然气配送，于财富世界500强排名第
微流控微流控是一种精确控制和操控微尺度流体的技术，尤其特指亚微米结构的技术。特别的，微意味着以下的特性：微流控利用对于微尺度下流体的控制，是一个包括了工程学，物理学，化学，微加工
雪莉酒雪利酒（西班牙语：Jerez .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentiu
碲醇碲醇（英语：tellurol）是指含有碲醇基（形如-TeH的官能团）的有机化合物。碲醇是醇和酚的类似物，其中醇的氧被替换成了碲。碲醇和硒醇、硫醇具有类似的性质，其中碲醇是最稳定的。碲醇与
忠犬小八《忠犬八公的故事》（英语：Hachi: A Dog's Tale）是一部2009年的美制电影，故事改编自日本1923－1935年间，以东京涩谷车站为主要发生地的真实事件忠犬八公。也是对1987年相同故事的日
一纲四目一纲四目，是1963年中华人民共和国国务院总理周恩来归纳的中国共产党对台政策。
N-甲基-D-天门冬胺酸受体N-甲基-D-天门冬胺酸受体（英语：N-methyl-D-aspartate receptor，简称NMDA受体或NMDAR）为麸胺酸盐受体，是一个主要的分子装置，控制突触的可塑性与记忆功能。NMDA受体是一种离子型麸