软件验证及确认

✍ dations ◷ 2024-12-22 23:30:13 #软件验证及确认

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

相关

运铁蛋白饱和度运铁蛋白饱和度（Transferrin saturation (TFS 或 TfS)）一般会以百分比表示，是医学检验的数据之一。是血清铁（英语：serum iron）相对于总铁结合能的比例。配合运铁蛋白（血液中主要和
假阳具假阴茎又称快乐棒（Dildo或Dildoe）是通常用来自慰，也可以用来当成性交的性玩具之一。假阴茎是助性用品（或称情趣用品）的一个主要种类，它的相对或相关用品为假阴道。假阴茎源来已久，
胡特尔人胡特尔派，又译哈特派，是基督教新教再洗礼派的一个分支，和阿米什人和门诺会一样，其来源可追溯到16世纪激进宗教改革时期。其创始人雅各布·胡特尔（Jacob Hutter）死后，教民以共产主义
Na+/K+ pump钠钾泵（也可称为钠钾-ATPase, Na+/K+-ATPase），是一种位于细胞膜上的酶（EC 3.6.3.9）（或说得更精确一点，离子匣式跨膜ATP酶）可在人类细胞及后生动物中发现。钠钾泵可以将细胞外相对细
美国宪法第一修正案宪法正文I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII ∙
雪崩雪崩，是在长年积雪的山中常有的自然灾害，是指大量的雪由斜坡表面上快速滑动下来，产生原因通常是积雪处于一种“危险”的平衡状态下，如果稍微有外力作用，就会失去平衡，造成雪块滑动
陈发虎陈发虎（1962年12月－），陕西丹凤县人，自然地理学家和环境变化专家。1984年毕业于兰州大学地理系，1987年、1990年又取得兰大自然地理学硕士和博士学位。担任兰州大学资源环境学院教授
姐姊（姐），通常在口语中多称为姊姊、姐姐或家姐，中国古代又称女兄。一般来说是用来称呼比自己年长、而又是同一父亲或母亲所生的女性。有时也有用作较自己年长的女性朋友的称呼，或用
芳香胺芳香胺（英语：Aromatic amine）是指具有一个芳香性取代基的胺——即-NH2、-NH-或含氮基团连接到一个芳香环上，芳香烃的结构中通常含有一个或多个苯环。苯胺是这类化合物最简单的实
高雄市旧町名列表台湾日治时期大正14年（1925年），高雄市实施町名改正，市区划分成14町。哨船町→哨船段、凑町→渡船段、新滨町→滨海段、山下町→山下段、田町→鼓岩段、寿町→寿山段堀江町→江