软件验证及确认

✍ dations ◷ 2024-11-05 22:34:22 #软件验证及确认

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

相关

遗传性代谢缺陷遗传性代谢缺陷（英语：Inborn error of metabolism）在新陈代谢过程中，除了制造出营养外，如果身体未能将食物其他部分成功代谢成为可以从排泄器官（如消化系统，泌尿系统及排汗系统、呼
伏打电堆伏打电堆（Voltaic pile），又名伏打堆，是最早出现的化学电池，是在1800年由意大利物理学家亚历山大·伏打伯爵发明。伏打电堆由很多个单元堆积而成，每一单元有锌板与铜板各一，其中夹着
艾伦·纽厄尔艾伦·纽厄尔（Allen Newell，1927年3月19日－1992年7月19日）是计算机科学和认知信息学领域的科学家，曾在兰德公司，卡内基梅隆大学的计算机学院、泰珀商学院和心理学系任职和教研。他
莫里斯·希勒曼莫里斯·希勒曼（英语：Maurice Hilleman，1919年8月30日－2005年4月11日），美国微生物学家。莫里斯·希勒曼曾发明了超过40种疫苗，分别针对麻疹、流行性腮腺炎、甲型肝炎、乙型肝炎、水
瓦莲京娜·马特维延科国外勋章奖励：瓦莲京娜·伊万诺芙娜·马特维延科（俄语：Валенти́на Ива́новна Матвие́нко，原姓Тю́тина，1949年4月7日－），生于乌克兰西部赫梅利尼
王世均王世均（1970年9月9日－），原名：王亲雄，出生于高雄县凤山市（今高雄市凤山区）中华民国海军眷村海光新村，前东森电视业务行销总部副总、前《民众日报》董事长，曾担任立委蔡豪的机要秘书。王
周孝信周孝信（1940年4月7日－），中国电力系统专家。生于山东蓬莱。1965年毕业于清华大学。原电力科学研究院总工程师，教授级高级工程师。1993年当选为中国科学院院士。
简水生简水生（1929年10月25日－），中国光纤通信和电磁兼容专家。生于江西萍乡。1953年毕业于北京铁道学院电信系。北京交通大学（原北方交通大学）光波技术研究所所长、电子与信息工程学院教
埃瑞许·孟德尔松埃里希·门德尔松（德语：Erich Mendelsohn，1887年3月21日－1953年9月15日）为20世纪具代表性的建筑师之一。他最著名的作品约建于1920年代，他的艺术风格最恰当地应该被规为表现主义。
月球轨道月球轨道以27.323天完整的环绕地球一圈。地球和月球的质心在距离地心4,700公里处（地球赤道半径的⅔），两者各自围绕着质心运转。月球与地球中心的平均距离是385,000公里，大约是地