验证 - 验证软件的过程

术语“验证”和“验证”是经常在技术文献使用，并与任何软件的分析的质量。 在科学文献中有这些概念的不同解释。 所以，尽量关注此事。

最合适的，在我们看来，是下面的定义。 确认和验证-是旨在开展质量控制活动 的软件 在它的早期阶段检测到错误。 这似乎是他们有一个共同的目标。 尽管如此，这些物种在核查的性质，限制和规定，违反这些都可以被认为是一个错误的来源不同。

验证-该软件的符合性检查 技术文件 的要求规范，架构和域模型提供。 在该术语包括和比较计算程序的发展，规则和标准过程的“义务”。

可以进行数据验证，设置合规程序制定的标准，要求，设计和用户文档的功能。 在这种情况下，强制性的预检查，应当遵守这些文件，这些文件相比，他们遵守列明在运行该软件的国家标准和法规。 有必要考虑和尊重执行的操作的所有序列。

在该程序中的错误或缺陷的情况下，否则就有了上面提到的文件和程序对仪器的选择了修正的决定应该是解决特定任务的当前功能之间的冲突。

不像验证验证是负责与发达国家或伴有软件需求或客户或用户的需要验证合规性。 这些需求往往不记录在任何文档。 这就是为什么验证核查比少形式化。 这是一个过程，这对客户来说，用户的代表，也可以参加的分析师或专家 的主题区。 换句话说，那些可以表达的具体需求和利益相关者的真正需求。

验证 - 是问题的答案“是正确的国产软件？”，和验证 - “？请问正确的软件”。

当回答这些问题搜索，你会发现，验证（或证书）的含量为大于检查（检验）稍宽。 然而，验证是紧密联系在一起，确保了软件产品的质量控制。

例如，计算机程序的验证提供了一种方法，其中用于所述目的的基础是确保满足这些要求，特别是获得的产品生命周期，在先前步骤中获得的那些。

如果我们谈论的模型验证，在这里我们将专注于需要概念或计算机模型的正确显示的验证 数学模型。

当验证系统代码分析源编码和验证其匹配纪录片描述。

验证过程可以包括包含替代的计算操作。 与现有项目的相关文档，强制检测，新软件产品的测试和演示结果新项目的技术和科学文献的比较。