Verification methods in software testing

What is verification in software testing ? Verification in software testing is a process of finding whether or not the output o...

What is verification in software testing ?

Verification in software testing is a process of finding whether or not the output of a particular phase of SDLC meets the implementation steps. It is process oriented here the major concern is to ensure that
                                          “ Are we building the product right ?”

During verification process in software testing we mainly check that whether or not all the requirements are listed properly. Generally verification process is applicable on the early stages of the SDLC. Verification is a kind of manual testing such as Verification of SRS and SDD.

Verification methods in software testing

Verification methods in software testing are the techniques which are used to verify the documentation of the software and also for source code review. The major objective of these software verification methods is to review the document with the purpose of finding the errors. 

Many methods are commonly used in practice such as review, walkthrough and inspection. Verification process helps in prevention of the potential faults which may lead the failure of the software.

Let us see them one by one.

software verification methods


Review or some time known as technical review in software testing is the simplest method of software verification to find out the fault during the verification. In this method of verification we give the document or program to the someone else and ask him to review the document.

Review may vary from formal to informal. Formal review is well structured and regulated. Informal review is not well structured and applied at various times during early stages of the life cycle of the document. A team of two person can conduct the informal review.

Here we expect views  from the reviewer about the quality of the document and also expect finding the faults. This process gives the good result without spending the significant resource. Generally it generally involve the SRS verification, SDD verification and Program verification.

During  technical review in software testing the reviewer may prepare a report of his observation or sometime may verbally inform during discussion. Reviewer should have the domain knowledge , good skills.


walkthrough in software testing is more formal and systematic method than review. I this method of verification author of the document presents the documents to a small group of two or seven person and this document is distributed to all the participants.

During the meeting author introduce the material in order to make them familiar with it. All participants are free to ask the questions . All the participants write their observation on any display mechanism like board , sheet, projector etc. So that every one may see and give views. After this author write a report about findings and any faults pointed out in the meeting. 

Some major benefits  of using walkthrough in software testing are  less debugging or error correcting costs, and walkthrough is a most effective method in finding from 30 to 70 percent of the logic-design and coding errors in typical programs. They are not effective, however, in detecting high-level design errors, such as errors made in the requirements-analysis process.

Code Inspection 

Code inspection in software testing  is more formal and well structured  method of verification.  Here the presentator is not the author but some other person who prepare and understand the document being presented.

The document is distributed to all participants in advance in order to give them sufficient time for preparation. Rules for meeting are fixed and communicated to all the participants.

During code inspection every person in the meeting participate openly and follow the rules. The moderator or a senior person conduct such meeting and respect every one views. Some time a checklist is also used to review the document.

After the meeting a report is prepared by the moderator and circulated to all the participants. They may give their view again. A final report is prepared after incorporating the necessary suggestion by the moderator.

Inspection verification method is generally used when we perform the verification of the code. When we use the term code inspection the code inspection is generally can be defined as a set of procedures and error-detection methods use for group code reading. 

In the code inspection meeting overall discussion focus on the procedures and the forms to be filled out and we give a after a short summary some general procedures and we concentrates on the error detection techniques.

An inspection team usually consists of four people. One of the four people plays the role of moderator. Some responsibilities of the moderator are distributing the material among the team member and making the schedule for inspection activities and inspection session, Moderator Leads the session and moderator also records all errors found and ensure that the errors are  corrected.

I hope that this verification methods in software testing based tutorial will be helpful to you in understanding the concept of verification and  verification  techniques in software testing.



addressing modes types,1,advance-java,2,aktu entrance exam,1,aktu exam schedule,1,ASP,1,bare machine,1,base register and limit register,1,C Programming,12,C Plus Plus,1,C Programming,5,C Programming Questions,1,C programming study material for gate exam,7,Cache Memory,1,CBNST Program,1,Childcare,1,CJ,1,Cloud Computing,1,CN,3,Computer Architecture,2,Computer architecture based questions for gate exam,11,Computer Network,8,Computer Network Study Material,2,Computer network study material for gate,1,Computer Networks,8,Computer networks GATE Questions,2,Computer Science Study Material for Gate,14,computer science study material for gate exam,28,conditional statements in c,1,contiguous memory allocation,2,Core Java,3,cyber crime report,1,Cyber crime status,1,cybercrime and security,1,cybercrime examples,1,Data Structure,2,Data Structure Questions,1,Data Transmission Architecture,1,Data Transmission in wsn,1,database normalization,1,DBMS,6,dbms question paper,1,DE,1,Digital Electronics,1,DS,4,Dynamic memory allocation in c,1,Electroencephalogram,1,file management in operating system notes,1,Gate 2017,3,Gate 2017 Admit card,1,gate cse study material,1,gate practice set,7,gate study material for computer science,12,Gate study material for computer science 2017,1,General,3,HCL Aptitude Test,1,HR Interview Questions,1,HTML,4,Important Date of Gate 2017 Exam,1,Information Security Policy,1,internal and external fragmentation,1,JDBC,2,JS,1,lagrange's interpolation formula,1,lagrange's interpolation formula examples,1,memory fragmentation,1,memory management,1,memory management questions and answer in os,1,Motivational,4,NCER,1,Numerical Techniques Lab,1,OOT,1,Operating System,10,Operating System Gate Questions,1,Operating System Objective Questions,4,Operating System Questions Bank,1,Operating system questions for gate,1,Operating System Study material,2,operating system study material for gate exam,13,Operating system tutorial,2,page swapping,1,paged memory allocation,1,paged memory allocation in operating system,1,Pointer in C,4,Process based question for gate,1,Regression testing,1,relocation in memory management,1,relocation registe,1,relocation register,1,resident monitor,1,resident monitor in operating system,1,routing table,1,Software Engineering,10,Software Engineering baes study material for gate,1,Software Quality Assurance,3,software verification methods,1,Stack,1,Structure in C,1,Study Material for gate Computer Science,7,swapping in memory management,1,swapping in operating system,1,TCS Code Vita,1,TCS Interview Questions,1,Technical Interview,1,Technical Questions from DBMS,1,Thrashing in Operating System,1,Threads concept in operating system,1,Tips to Learn Coding,1,Types of operating system,1,UML,1,Virtualization,1,What is process control block ?,1,what is software testing?,1,Wireless Sensor Network,3,worst fit algorithm for memory allocation,1,XML,2,
Computer Science Junction: Verification methods in software testing
Verification methods in software testing
Computer Science Junction
Loaded All Posts Not found any posts VIEW ALL Readmore Reply Cancel reply Delete By Home PAGES POSTS View All RECOMMENDED FOR YOU LABEL ARCHIVE SEARCH ALL POSTS Not found any post match with your request Back Home Sunday Monday Tuesday Wednesday Thursday Friday Saturday Sun Mon Tue Wed Thu Fri Sat January February March April May June July August September October November December Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec just now 1 minute ago $$1$$ minutes ago 1 hour ago $$1$$ hours ago Yesterday $$1$$ days ago $$1$$ weeks ago more than 5 weeks ago Followers Follow THIS PREMIUM CONTENT IS LOCKED STEP 1: Share. STEP 2: Click the link you shared to unlock Copy All Code Select All Code All codes were copied to your clipboard Can not copy the codes / texts, please press [CTRL]+[C] (or CMD+C with Mac) to copy