Open In App

Verification Methods in Software Verification

Improve
Improve
Like Article
Like
Save
Share
Report

Reviewing any software to find faults is known as Software Verification. Verification is the process of checking that software achieves its goal without any bugs. It is the process to ensure whether the product that is developed is right or not. The reviewing of a document can be done from the first phase of software development i.e. software requirement and analysis phase where the end product is the SRS document. There are many methods for practicing the verification of the software like peer-reviews, walkthroughs, inspections, etc. that can help us in the prevention of potential faults otherwise, it may lead to the failure of the software.

Methods of Verification

Here are some of the common methods that are required for Verification are listed below.

  • Peer Reviews
  • Walk Through
  • Inspections

Peer Reviews

The easiest method and most informal way of reviewing the documents or the programs/software to find out the faults during the verification process is the Peer-Review method. In this method, we give the document or software programs to others and ask them to review those documents or software programs where we expect their views about the quality of our product and also expect them to find the faults in the program/document. The activities that are involved in this method may include SRS document verification, SDD verification, and program verification. In this method, the reviewers may also prepare a short report on their observations or findings, etc.

Advantages of Peer Reviews:

Here are some of the advantages of Peer Reviews that are listed below.

  • You can expect some good results without spending any significant resources.
  • It is very efficient and significant in its nature.

Disadvantages of Peer Reviews:

Here are some of the disadvantages of Peer Reviews that are discussed below.

  • Lead to bad results if the reviewer doesn’t have sufficient knowledge.

Walk-Through

Walk-throughs are a formal and very systematic type of verification method as compared to peer review. In a walkthrough, the author of the software document presents the document to other persons which can range from 2 to 7. Participants are not expected to prepare anything. The presenter is responsible for preparing the meeting. The document(s) is/are distributed to all participants. At the time of the meeting of the walk-through, the author introduces the content in order to make them familiar with it and all the participants are free to ask their doubts.

Advantages of Walk-Through

Here are the advantages of Walk-Through that are listed below.

  • It may help us to find potential faults.
  • It may also be used for sharing documents with others.

Disadvantages of Walk-Through

Here are the disadvantages of Walk-Through that are discussed below.

  • The author may hide some critical areas and unnecessarily emphasize some specific areas of his / her interest.

Inspections

Inspections are the most structured and formal type of verification method and are commonly known as inspections. A team of three to six participants is constituted which is led by an impartial moderator. Every person in the group participates openly, and actively, and follows the rules about how such a review is to be conducted. Everyone may get time to express their views, potential faults, and critical areas. After the meeting, a final report is prepared after incorporating necessary suggestions from the moderator.

Advantages of Inspections:

Here are the advantages of Inspections that are discussed below.

  • It can be very effective for finding potential faults or problems in documents like SRS, SDD, etc.
  • The critical inspections may also help in finding faults and improve these documents which can in preventing the propagation of a fault in the software development life cycle process.

Disadvantages of Inspections:

Here are the disadvantages of Inspections that are discussed below.

  • They take time and require discipline.
  • It requires more cost and also needs skilled testers.

Applications of Verification Methods

The above three verification methods are very popular and have their strengths and weaknesses. We can compare these methods on various specific issues as given below:

Method Presenter No. of Members Pre-requisites Report Strength Weakness
Peer reviews 0 1 or 2 No prerequisite Not Required Less-Expensive Output is dependent on the ability of the reviewer
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
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

Hence, Verification is likely more effective than validation but it may find some faults that are somewhat impossible to find during the validation process. But at the same time, it allows us to find faults at the earliest possible phase/time of software development.

Previous Year Questions For Practice

1. Complete each of the following sentences in List-I on the left-hand side by filling in the word or phrase from the List –II on the right-hand side that best completes the sentence: [UGC NET CSE 2017]

List 1

List 2

i. Determining whether you have built the right system is called _____

a. Software Testing

ii. Determining whether you have built the system right is called ______

b. Software Verification

iii. ______ is the process of demonstrating

c. Software Debugging

iv. ______ is the process of discovering the cause of a defect and fixing it.

d. Software Validation

(A) i-b, ii- d, iii-a, iv-c

(B) i-b, ii-d, iii-c, iv-a

(C) i-d, ii-b, iii-c, iv-a

(D) i-d, ii-b, iii-a, iv-c

Solution: The correct answer is (D).

Frequently Asked Questions Verification Methods

1. What is Multi-Step Verification?

Answer:

Multi Step Verification scheme has the characteristics that considers different resources of same factor to allow user for accessing information.

2. Why Method Verification is Used?

Answer:

Method Verification is used to ensure the client provides an authorized and validated analytical method.



Last Updated : 22 Sep, 2023
Like Article
Save Article
Previous
Next
Share your thoughts in the comments
Similar Reads