软件验证中的验证方法

什么是软件验证？
为查找故障而审查任何软件称为软件验证。验证是检查软件是否在没有任何错误的情况下实现其目标的过程。它是确保开发的产品是否正确的过程。可以从软件开发的第一阶段（即最终产品是 SRS 文档的软件需求和分析阶段）开始对文档进行审查。有许多练习软件验证的方法，如同行评审、演练、检查等，可以帮助我们预防潜在的故障，否则可能导致软件失败。

验证方法：

1. 同行评议——
为了在验证过程中找出错误而审查文件或程序/软件的最简单的方法和非正式的方法是同行评审方法。在这种方法中，我们将文档或软件程序提供给其他人，并要求他们查看我们期望他们对我们产品质量的看法的文档或软件程序，并期望他们找出程序/文档中的错误。此方法涉及的活动可能包括 SRS 文档验证、SDD 验证和程序验证。在这种方法中，审稿人还可以就他们的观察或发现等准备一份简短的报告。

优点：

您可以在不花费任何大量资源的情况下获得一些好的结果。
它在本质上是非常有效和重要的。

缺点：

如果审稿人没有足够的知识，会导致不好的结果。

2. 演练——
与同行评审相比，走查是一种正式且非常系统的验证方法。在演练中，软件文档的作者将文档展示给其他人，范围从 2 到 7 人。参与者不需要准备任何东西。主持人负责准备会议。文件分发给所有参与者。在演练会议的时候，作者介绍了内容，以便他们熟悉它，所有参与者都可以自由地提出他们的疑问。

优点：

它可以帮助我们发现潜在的故障。
它也可用于与他人共享文档。

缺点：

作者可能会隐藏一些关键领域，并不必要地强调他/她感兴趣的某些特定领域。

3. 检查——
检查是最结构化和最正式的验证方法类型，通常称为检查。组成一个由三到六名参与者组成的团队，由一名公正的主持人领导。小组中的每个人都公开、积极地参与，并遵守有关如何进行此类审查的规则。每个人都可能有时间表达他们的观点、潜在的错误和关键领域。会议结束后，结合主持人的必要建议，编制最终报告。

优点：

它对于查找 SRS、SDD 等文档中的潜在故障或问题非常有效。
关键检查还可能有助于发现故障并改进这些文档，从而防止软件开发生命周期过程中的故障传播。

缺点：

他们需要时间，需要纪律。
它需要更多的成本，也需要熟练的测试人员。

验证方法的应用：
以上三种验证方式都很流行，各有优缺点。我们可以在各种具体问题上比较这些方法，如下所示：

S.no	Method	Presenter	No. of Members	Pre-requisites	Report	Strength	Weakness
1.	Peer reviews	0	1 or 2	No prerequisite	Not Required	Less-Expensive	Output is dependent on the ability of the reviewer
2.	Walkthrough	Author	2 to 7 members	The only presenter is required to be prepared	The report is prepared by the presenter	Knowledge sharing	Find few faults and not very expensive
3.	Inspection	Author and other members	3 to 6 members	All participants are required to be prepared	The report is prepared by the moderator	Effective but may get faults	Expensive and requires very skilled members

因此，验证可能比验证更有效，但它可能会发现一些在验证过程中无法发现的故障。但同时，它使我们能够在软件开发的最早阶段/时间发现故障。