软件验证及确认

✍ dations ◷ 2024-07-01 05:40:34 #软件验证及确认

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

相关

最高法院议长：南希·裴洛西（民主党）多数党领袖（英语：Party leaders of the United States House of Representatives）：斯坦利·霍耶（民主党）少数党领袖（英语：Party leaders of the United Sta
吸入吸入是指动物进行呼吸时，空气或其他物质经由气管进入肺泡的运动。主要是由横膈膜的收缩与舒张来控制。当吸入空气时，横隔膜会呈平形，肺里的空气体积会增加，气压则会减少。
莎草纸.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
棕榈油棕榈油又名棕油，是一种对棕榈科油棕属植物油泛称，来自油棕（Elaeis guineensis）的果实。5000年前人类就已经开始使用这种油了。现在马来西亚和印尼是世界上最主要的棕榈油生产国
UTC类群UTC类群（英语：UTC clade）是绿藻中的一个单系群。它包括石莼纲、共球藻纲和绿藻纲。
J·B·布森戈尚-巴蒂斯塔·约瑟夫·条冬内·布珊高（法语：Jean-Baptiste Joseph Dieudonné Boussingault，1801年2月1日－1887年5月11日），法国化学家，对农业科学、石油科学与冶金学都有贡献。曾提
菲利普·罗斯菲利普·米尔顿·罗斯（英语：Philip Milton Roth，1933年3月19日－2018年5月22日），美国小说家、作家，代表作包含描述美国犹太人生活的小说《再见，哥伦布》，并获得美国国家图书奖的肯定。
键结断裂键结断裂，或简称断裂，是指分子在解离过程中的化学键分裂。分子经过键结断裂后，产生两个或两个以上的产物。键结断裂有2种形式：均匀断裂（homolytic cleavage）和非均匀断裂（heterolyt
沙克尔顿坑沙克尔顿陨石坑（Shackleton）是位于月球南极的一座撞击坑，其地质龄大约有36亿年，在南极至少已存在了20亿年。其名称取自盎格鲁爱尔兰人南极探险家欧内斯特·亨利·沙克尔顿爵士(1
梅蒂人梅蒂人（法语：Métis）是加拿大的原住民的一个族群，是原住民与早期法裔加拿大人的混血儿。根据加拿大的《印第安法》，梅蒂人是三种受保护的原住民之一。m do e k j mo mi o