软件验证及确认

✍ dations ◷ 2025-04-25 04:24:38 #软件验证及确认

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

相关

疾病管制署卫生福利部疾病管制署（简称疾管署），是中华民国卫生福利部辖下的一个所属机关，负责建立现代化防疫体系。
鳃鳃是一种器官，很多水生动物依靠它将溶解在水中的氧气吸收到血液中。这种呼吸方式被称为鳃呼吸。最近的研究表明，鳃的进化起初并非为了呼吸，而是用来调节体液平衡，避免脱水。鳃被
羊角号羊角号（挪威语：Bukkehorn）或羊号角，是挪威民俗乐器。具指孔可吹出旋律不同一般公羊号角（Billy Goat Horn），因此又称羊角喇叭。制造材质通常取自五至七岁公羊羊角，原是高山夏季牧场的
康托尔格奥尔格·费迪南德·路德维希·菲利普·康托尔（德语：Georg Ferdinand Ludwig Philipp Cantor，1845年3月3日－1918年1月6日），出生于俄国的德国数学家（波罗的海德国人）。他创立了现代
胶原质胶原蛋白（collagen）占哺乳类动物总蛋白质约20% ，也是人体的一种非常重要的蛋白质，主要存在于结缔组织中。它有很强的伸张能力，是韧带的主要成分，胶原蛋白也是细胞外基质的主要组
埃文斯县埃文斯县（Evans County, Georgia）是美国乔治亚州东部的一个县。面积484平方公里。根据美国2000年人口普查，共有人口10,495人。县治克拉克斯顿 (Claxton)。成立于1914年8月11日
谢赫特曼丹·谢赫特曼（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Ta
环戊醇环戊醇，一种有机化合物。无色澄清粘稠液体，有令人愉快的芳香气味。微溶于水，溶于乙醇，与醚、酮混溶。可由环戊酮与氢化铝锂在乙醚中室温加氢而得。也可由环戊酮在铬铜催化剂、加
微分几何微分几何研究微分流形的几何性质，是现代数学中一主流；是广义相对论的基础，与拓扑学、代数几何及理论物理关系密切。古典微分几何起源于微积分，主要内容为曲线论和曲面论。欧拉、
补斯可胖丁基东莨菪碱（Hyoscine butylbromide），商品名补斯可胖（Buscopan），是一种用于治疗腹部绞痛、食道痉挛（英语：esophageal spasm）、肾绞痛，以及膀胱过动症的药物。本品也可用于临终（英语：End