SlideShare a Scribd company logo
What Exactly are the
Techniques of
Software Verification
and Validation
A Storehouse of Vast Knowledge on
Software Testing and Quality Assurance
Areas Covered
Software Verification and Validation
When Combined Together Are
Abbreviated as V & V
What does these Two Provide
Verification Ensures that:
Every Step in the Process of Building
the Software Delivers the Correct Product
Validation Ensures that:
Software Being Developed or Changed
Satisfies Functional and All Other
Requirements
What Kind of
Verification
Do we Have ?
Firstly Let Us Understand
Major Categories of Verification
• Dynamic Testing
• Static Testing
There are Two Major Categories
of Verification Testing:
Dynamic Testing
Firstly Let Us Go Deeper Into
Dynamic Testing - A Type of Verification
• Involves Execution of a System or
Component
• Selection of a Group of Test Cases
Consisting of Test Data
• Finding out Output Test Results out of
Input Test Cases
What Does Dynamic Testing Do ?
Dynamic Testing - A Type of Verification
• Functional Testing
• Structural Testing
• Random Testing
Sub Categories of Dynamic Testing
Sub Categories Dynamic Testing
• Involves Identification & Testing of all
Functions of the System as Defined in
Basic Requirements Documents
• It is a Black Box Testing Not Expecting
that the Tester should have any
Knowledge of the Basic Code &
Implementation of the System
Functional Testing: A Type of Dynamic Testing
Sub Categories Dynamic Testing
• It uses Test Cases Designed to
Investigate Certain Feature of the
System
Functional Testing: A Type of Dynamic Testing
Sub Categories Dynamic Testing
• It is a White Box Testing Expecting Full
knowledge of the Implementation of the
System
• Information of the Internal Structure of
the System is Used to Design Tests for
Checking the Function of Individual
Components
Structural Testing: A Type of Dynamic Testing
Sub Categories Dynamic Testing
• Like Functional Testing, it also uses
Test Cases Designed to Investigate
Certain Feature of the System
Structural Testing: A Type of Dynamic Testing
Sub Categories Dynamic Testing
• Uses Free Selection of Test Cases out of
a set of All Possible Test Cases
• Uses Randomly Decided to Detect
Faults which Go Undetected by Other
Systematic Testing Techniques
Random Testing: A Type of Dynamic Testing
Sub Categories Dynamic Testing
• Exhaustive Testing is a Form of Random
Testing, Involving Input Test Cases
having Every Possible Set of Input
Values
• Although We do Exhaustive Testing at
Every Stage of Life Cycle, Complete
Verification of the System, is not
Possible & Realistic
Random Testing: A Type of Dynamic Testing
Static Testing
Secondly Let Us Go Deeper Into
• Does not Involve Operation of the
System or Component
• Involves Manual as well as Automated
Testing Techniques
Attributes of Static Testing
Static Testing - A Type of Verification
Static Testing - A Type of Verification
• Consistency Techniques
: Meant for Doing Analysis of Consistency
• Measurement Techniques
: Meant for Doing Measurement of Some
Property of the Program
Sub Categories of Static Testing
Static Testing - A Type of Verification
Ensures Correctness of Program Properties Like:
# Correct Syntax
# Correct Parameter Matching Between
Procedures
Consistency Techniques of Static Testing
Static Testing - A Type of Verification
Ensures Correctness of Program Properties Like:
# Correct Typing
# Correct Requirements and Translation of
Specifications
Consistency Techniques of Static Testing
Static Testing - A Type of Verification
Measures the System Properties Like:
# Being Error Prone
# Being Understandable
# Being Well Structured
Measurement Techniques of Static Testing
What is All About
Validation Testing ?
Secondly Let Us Understand
When Does Validation Come into Picture
• It Views the Complete System Exactly
Opposite of Verification
• It Focuses on Smaller Sub-Systems
Validation comes Into Picture
at the End of the Development Cycle
What are the
Techniques of
Validation Testing ?
Techniques of Validation Testing
• Besides being a Verification Technique
it is a Validation Technique as well
• Involves use of Mathematical and
Logical Techniques to: Express,
Investigate, & Analyze the Specification,
Design, Documentation and Behavior of
Hardware as well as Software
Formal Methods :
A Technique of Validation Testing
Techniques of Validation Testing
Is an Intentional Activation of Faults by
Either Hardware or Software to Observe
the System Operation under such Faulty
Situations
Fault Injection :
A Technique of Validation Testing
Techniques of Validation Testing
Also known as Physical Fault Injection
since Faults are Injected into the Physical
Hardware
Hardware Fault Injection :
A Technique of Validation Testing
Techniques of Validation Testing
• Involves Injection of Errors into the
Computer Memory through some
Software Techniques
• It is a sort of a Simulation of Hardware
Fault Injection
Software Fault Injection :
A Technique of Validation Testing
Techniques of Validation Testing
Involves Identification of Hazards and
Subsequently Proposing Methods to
Reduce the Risk of the Hazards
Dependency Analysis :
A Technique of Validation Testing
Techniques of Validation Testing
Involves using Instructions to Identify
Hazards, Their Root Causes, and Possible
Countermeasures
Hazard Analysis :
A Technique of Validation Testing
Techniques of Validation Testing
Goes Beyond Hazard Analysis by
Identifying the Possible Consequences of
Each Hazard and Their Probability of
Occurrence
Risk Analysis :
A Technique of Validation Testing
Pros & Cons of Verification & Validation
• Verification and Validation are Quite Time
Consuming Processes
• They Involve Planning from the Beginning,
the Development of Test Cases, Actual
Testing, and Analysis of Testing Results
• Best Practice is to have Persons Dedicated
to V & V and made to operate with the
Designers
Multiple Quiz Interview Questions as used by
Several MNC’s to Evaluate New Testers
and
Hundreds of Interview Preparation Questions
on Quicktest Professional
A Storehouse of Vast Knowledge on
Software Testing and Quality Assurance
Thank You

More Related Content

PDF
Computerized System Validation Business Intelligence Solutions
PDF
Computer system validations
PDF
Computerized system validation_final
PDF
FDA/EC/WHO Expectations for Computer System Validation
PDF
Computer System Validation - The Validation Master Plan
PDF
ISPE-CCPIE China Conference 2010 (Stokes-GAMP Legacy Systems - English)
PDF
IT Validation Training
PPT
Gamp Riskbased Approch To Validation
Computerized System Validation Business Intelligence Solutions
Computer system validations
Computerized system validation_final
FDA/EC/WHO Expectations for Computer System Validation
Computer System Validation - The Validation Master Plan
ISPE-CCPIE China Conference 2010 (Stokes-GAMP Legacy Systems - English)
IT Validation Training
Gamp Riskbased Approch To Validation

What's hot (20)

PPTX
Myths of validation
PPTX
Computerized System Validation : Understanding basics
PPT
21 cfr part 11 compliance
PPTX
computer system validation
PDF
Network Infrastructure Validation Conference @UPRA (2003)
PDF
Csv concepts
PPTX
Overview of computer system validation
PPT
Overview on “Computer System Validation” CSV
PPTX
Computer system validation
PPTX
Management of e-SOP in GxP environment .
PPTX
Process and Regulated Processes Software Validation Elements
PPT
Cv 1
PPS
CSV Audit Presentation
PPTX
Computer system validation
PPTX
Computer System Validation
PDF
Computer systems compliance
PDF
CSV - Computer System Validation
PPTX
Computer system validations
PPTX
Codex validation Group presentation
PPTX
Software Quality Assurance
Myths of validation
Computerized System Validation : Understanding basics
21 cfr part 11 compliance
computer system validation
Network Infrastructure Validation Conference @UPRA (2003)
Csv concepts
Overview of computer system validation
Overview on “Computer System Validation” CSV
Computer system validation
Management of e-SOP in GxP environment .
Process and Regulated Processes Software Validation Elements
Cv 1
CSV Audit Presentation
Computer system validation
Computer System Validation
Computer systems compliance
CSV - Computer System Validation
Computer system validations
Codex validation Group presentation
Software Quality Assurance
Ad

Similar to Kelis king - a storehouse of vast knowledge on software testing and quality assurance (20)

PPT
Software Quality
PDF
Software testing
PPT
Software Engineering (Software Quality Assurance & Testing: Supplementary Mat...
PPTX
S.E Unit 6colorcolorcolorcolorcolorcolor.pptx
PPTX
Software Testing or Quality Assurance
PPTX
Quality Analyst Training - Gain America
PPTX
Object oriented testing
PDF
Objectorientedtesting 160320132146
PPTX
Fundamentals of software part 1
PPTX
software testing
PPTX
SENG202-v-and-v-modeling_121810.pptx
PPTX
Software testing
PPTX
Software Quality and Testing note 1.pptx
PPTX
verification and validation
PPTX
An Insight into the Black Box and White Box Software Testing
PPT
Software testing
PPSX
DISE - Software Testing and Quality Management
PPTX
ISTQB foundation level - day 2
PPT
Software testing-and-analysis
PPTX
Software Engg - Wk 11 - Lec 12 - Software_Testing Part-1.pptx
Software Quality
Software testing
Software Engineering (Software Quality Assurance & Testing: Supplementary Mat...
S.E Unit 6colorcolorcolorcolorcolorcolor.pptx
Software Testing or Quality Assurance
Quality Analyst Training - Gain America
Object oriented testing
Objectorientedtesting 160320132146
Fundamentals of software part 1
software testing
SENG202-v-and-v-modeling_121810.pptx
Software testing
Software Quality and Testing note 1.pptx
verification and validation
An Insight into the Black Box and White Box Software Testing
Software testing
DISE - Software Testing and Quality Management
ISTQB foundation level - day 2
Software testing-and-analysis
Software Engg - Wk 11 - Lec 12 - Software_Testing Part-1.pptx
Ad

More from KelisKing (8)

PPTX
Kelis king - a new perfect vision of software development
PPT
Kelis king - requirements analysis and the unified process
PPT
Kelis king - introduction to software design
PPT
Kelis king - software development life cycle (sdlc)
PPT
Kelis king - software development life cycle (sdlc)
PDF
Kelis king - introduction to s.e.
PPT
Kelis king - software engineering and best practices
PPT
Kelis king - engineering approach to develop software.
Kelis king - a new perfect vision of software development
Kelis king - requirements analysis and the unified process
Kelis king - introduction to software design
Kelis king - software development life cycle (sdlc)
Kelis king - software development life cycle (sdlc)
Kelis king - introduction to s.e.
Kelis king - software engineering and best practices
Kelis king - engineering approach to develop software.

Recently uploaded (20)

DOCX
Euro SEO Services 1st 3 General Updates.docx
PPTX
5 Stages of group development guide.pptx
PDF
Business model innovation report 2022.pdf
PDF
Training And Development of Employee .pdf
PDF
Dr. Enrique Segura Ense Group - A Self-Made Entrepreneur And Executive
PDF
Traveri Digital Marketing Seminar 2025 by Corey and Jessica Perlman
PDF
A Brief Introduction About Julia Allison
PDF
COST SHEET- Tender and Quotation unit 2.pdf
PDF
Roadmap Map-digital Banking feature MB,IB,AB
PDF
Unit 1 Cost Accounting - Cost sheet
PPTX
CkgxkgxydkydyldylydlydyldlyddolydyoyyU2.pptx
PDF
Reconciliation AND MEMORANDUM RECONCILATION
PPTX
Lecture (1)-Introduction.pptx business communication
PDF
20250805_A. Stotz All Weather Strategy - Performance review July 2025.pdf
PPTX
ICG2025_ICG 6th steering committee 30-8-24.pptx
PDF
WRN_Investor_Presentation_August 2025.pdf
PDF
Laughter Yoga Basic Learning Workshop Manual
DOCX
unit 2 cost accounting- Tender and Quotation & Reconciliation Statement
PPT
Chapter four Project-Preparation material
PPTX
Amazon (Business Studies) management studies
Euro SEO Services 1st 3 General Updates.docx
5 Stages of group development guide.pptx
Business model innovation report 2022.pdf
Training And Development of Employee .pdf
Dr. Enrique Segura Ense Group - A Self-Made Entrepreneur And Executive
Traveri Digital Marketing Seminar 2025 by Corey and Jessica Perlman
A Brief Introduction About Julia Allison
COST SHEET- Tender and Quotation unit 2.pdf
Roadmap Map-digital Banking feature MB,IB,AB
Unit 1 Cost Accounting - Cost sheet
CkgxkgxydkydyldylydlydyldlyddolydyoyyU2.pptx
Reconciliation AND MEMORANDUM RECONCILATION
Lecture (1)-Introduction.pptx business communication
20250805_A. Stotz All Weather Strategy - Performance review July 2025.pdf
ICG2025_ICG 6th steering committee 30-8-24.pptx
WRN_Investor_Presentation_August 2025.pdf
Laughter Yoga Basic Learning Workshop Manual
unit 2 cost accounting- Tender and Quotation & Reconciliation Statement
Chapter four Project-Preparation material
Amazon (Business Studies) management studies

Kelis king - a storehouse of vast knowledge on software testing and quality assurance

  • 1. What Exactly are the Techniques of Software Verification and Validation A Storehouse of Vast Knowledge on Software Testing and Quality Assurance
  • 2. Areas Covered Software Verification and Validation When Combined Together Are Abbreviated as V & V
  • 3. What does these Two Provide Verification Ensures that: Every Step in the Process of Building the Software Delivers the Correct Product Validation Ensures that: Software Being Developed or Changed Satisfies Functional and All Other Requirements
  • 4. What Kind of Verification Do we Have ? Firstly Let Us Understand
  • 5. Major Categories of Verification • Dynamic Testing • Static Testing There are Two Major Categories of Verification Testing:
  • 6. Dynamic Testing Firstly Let Us Go Deeper Into
  • 7. Dynamic Testing - A Type of Verification • Involves Execution of a System or Component • Selection of a Group of Test Cases Consisting of Test Data • Finding out Output Test Results out of Input Test Cases What Does Dynamic Testing Do ?
  • 8. Dynamic Testing - A Type of Verification • Functional Testing • Structural Testing • Random Testing Sub Categories of Dynamic Testing
  • 9. Sub Categories Dynamic Testing • Involves Identification & Testing of all Functions of the System as Defined in Basic Requirements Documents • It is a Black Box Testing Not Expecting that the Tester should have any Knowledge of the Basic Code & Implementation of the System Functional Testing: A Type of Dynamic Testing
  • 10. Sub Categories Dynamic Testing • It uses Test Cases Designed to Investigate Certain Feature of the System Functional Testing: A Type of Dynamic Testing
  • 11. Sub Categories Dynamic Testing • It is a White Box Testing Expecting Full knowledge of the Implementation of the System • Information of the Internal Structure of the System is Used to Design Tests for Checking the Function of Individual Components Structural Testing: A Type of Dynamic Testing
  • 12. Sub Categories Dynamic Testing • Like Functional Testing, it also uses Test Cases Designed to Investigate Certain Feature of the System Structural Testing: A Type of Dynamic Testing
  • 13. Sub Categories Dynamic Testing • Uses Free Selection of Test Cases out of a set of All Possible Test Cases • Uses Randomly Decided to Detect Faults which Go Undetected by Other Systematic Testing Techniques Random Testing: A Type of Dynamic Testing
  • 14. Sub Categories Dynamic Testing • Exhaustive Testing is a Form of Random Testing, Involving Input Test Cases having Every Possible Set of Input Values • Although We do Exhaustive Testing at Every Stage of Life Cycle, Complete Verification of the System, is not Possible & Realistic Random Testing: A Type of Dynamic Testing
  • 15. Static Testing Secondly Let Us Go Deeper Into
  • 16. • Does not Involve Operation of the System or Component • Involves Manual as well as Automated Testing Techniques Attributes of Static Testing Static Testing - A Type of Verification
  • 17. Static Testing - A Type of Verification • Consistency Techniques : Meant for Doing Analysis of Consistency • Measurement Techniques : Meant for Doing Measurement of Some Property of the Program Sub Categories of Static Testing
  • 18. Static Testing - A Type of Verification Ensures Correctness of Program Properties Like: # Correct Syntax # Correct Parameter Matching Between Procedures Consistency Techniques of Static Testing
  • 19. Static Testing - A Type of Verification Ensures Correctness of Program Properties Like: # Correct Typing # Correct Requirements and Translation of Specifications Consistency Techniques of Static Testing
  • 20. Static Testing - A Type of Verification Measures the System Properties Like: # Being Error Prone # Being Understandable # Being Well Structured Measurement Techniques of Static Testing
  • 21. What is All About Validation Testing ? Secondly Let Us Understand
  • 22. When Does Validation Come into Picture • It Views the Complete System Exactly Opposite of Verification • It Focuses on Smaller Sub-Systems Validation comes Into Picture at the End of the Development Cycle
  • 23. What are the Techniques of Validation Testing ?
  • 24. Techniques of Validation Testing • Besides being a Verification Technique it is a Validation Technique as well • Involves use of Mathematical and Logical Techniques to: Express, Investigate, & Analyze the Specification, Design, Documentation and Behavior of Hardware as well as Software Formal Methods : A Technique of Validation Testing
  • 25. Techniques of Validation Testing Is an Intentional Activation of Faults by Either Hardware or Software to Observe the System Operation under such Faulty Situations Fault Injection : A Technique of Validation Testing
  • 26. Techniques of Validation Testing Also known as Physical Fault Injection since Faults are Injected into the Physical Hardware Hardware Fault Injection : A Technique of Validation Testing
  • 27. Techniques of Validation Testing • Involves Injection of Errors into the Computer Memory through some Software Techniques • It is a sort of a Simulation of Hardware Fault Injection Software Fault Injection : A Technique of Validation Testing
  • 28. Techniques of Validation Testing Involves Identification of Hazards and Subsequently Proposing Methods to Reduce the Risk of the Hazards Dependency Analysis : A Technique of Validation Testing
  • 29. Techniques of Validation Testing Involves using Instructions to Identify Hazards, Their Root Causes, and Possible Countermeasures Hazard Analysis : A Technique of Validation Testing
  • 30. Techniques of Validation Testing Goes Beyond Hazard Analysis by Identifying the Possible Consequences of Each Hazard and Their Probability of Occurrence Risk Analysis : A Technique of Validation Testing
  • 31. Pros & Cons of Verification & Validation • Verification and Validation are Quite Time Consuming Processes • They Involve Planning from the Beginning, the Development of Test Cases, Actual Testing, and Analysis of Testing Results • Best Practice is to have Persons Dedicated to V & V and made to operate with the Designers
  • 32. Multiple Quiz Interview Questions as used by Several MNC’s to Evaluate New Testers and Hundreds of Interview Preparation Questions on Quicktest Professional A Storehouse of Vast Knowledge on Software Testing and Quality Assurance