软件验证及确认

✍ dations ◷ 2025-02-23 20:02:09 #软件验证及确认

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

相关

鸟鸟是鸟纲（学名：Aves）动物的通称，是唯一存活至今的恐龙，现代所有鸟类在生物学上也被分类为鸟形恐龙（即鸟翼类）的一部分；鸟纲的全体成员均为两足、恒温、卵生、身披羽毛且色彩鲜艳各异
科穆宁王朝拜占庭帝国是历史学家用于描述中世纪时期主体民族为希腊人、主要语言为希腊语、定都于君士坦丁堡的东部罗马帝国，在古典时代晚期西罗马帝国灭亡之后，帝国的东部一直存在直到14
玉米胚芽油粟米油，又称玉米胚芽油（简称玉米油），是从玉米的胚芽中提炼的植物油，含有丰富的不饱和脂肪酸（以油酸和亚油酸为主）、维生素E及多酚类物质；不含胆固醇。冒烟点比较其他的食油低，不适合
法拉语法拉语（Fala）是罗曼语族的一门语言，通常被认为是葡萄牙-加利西亚语的下属语言之一。法拉语在西班牙埃斯特雷马杜拉靠近葡萄牙国界的部分地区使用，使用人口约有10,500人。2015年，
生态系统的物质循环生物地质化学循环（英语：Biogeochemical Cycle，又称作生态系统的物质循环）在生态学上指的是化学元素或分子在生态系统中划分的生物群落和无机环境之间相互循环的过程。这使得相关
贯叶连翘贯叶连翘（学名：Hypericum perforatum），又名贯叶金丝桃、圣约翰草（St John's wort），金丝桃科金丝桃属植物，是欧美的常用草药，主要用于妇女调经，亦有宁神、平衡情绪的作用，临床上发现对
动物学哲学《动物哲学》（全称：Philosophie zoologique ou exposition des considérations relatives à l'histoire naturelle des animaux，意为：动物哲学：有关动物博物学思考的阐述），或译《
云贵高原云贵高原位于中国西南部，云南省哀牢山以东和中国东南丘陵以西，包括云南省东部、贵州省全境，广西西北部和渝、川、湘、鄂边境，其相关延伸部分更包括老挝北部（例：丰沙里省）、缅甸东北
英国音乐BPI • OCC排行榜单曲排行榜（#1s；专辑）专辑排行榜（#1s）下载排行榜（#1s）奖项全英音乐奖 • 水星音乐奖新音乐快递音乐奖年代 1950年以前 • 1950与1960年代 1970年代 • 1980
一级行政区德国行政区（德语：Regierungsbezirk）是德国行政区划中的1.5级行政区，位于联邦州之下，县和无属县城市之上。人口和面积相当于中华人民共和国的地级，也相当于清代的府。注意并不是所