Suche senden
Hochladen
Software Verification & Validation
•
Als PPT, PDF herunterladen
•
1 gefällt mir
•
4,279 views
university of education,Lahore
Folgen
An Introduction
Weniger lesen
Mehr lesen
Bildung
Melden
Teilen
Melden
Teilen
1 von 15
Jetzt herunterladen
Empfohlen
verification and validation
verification and validation
Dinesh Pasi
Software testing and process
Software testing and process
gouravkalbalia
Software Testing
Software Testing
Mousmi Pawar
Software testing.ppt
Software testing.ppt
Komal Garg
Software testing
Software testing
balamurugan.k Kalibalamurugan
Types of testing
Types of testing
Sonam Agarwal
functional testing
functional testing
bharathanche
Software Testing Fundamentals
Software Testing Fundamentals
Chankey Pathak
Empfohlen
verification and validation
verification and validation
Dinesh Pasi
Software testing and process
Software testing and process
gouravkalbalia
Software Testing
Software Testing
Mousmi Pawar
Software testing.ppt
Software testing.ppt
Komal Garg
Software testing
Software testing
balamurugan.k Kalibalamurugan
Types of testing
Types of testing
Sonam Agarwal
functional testing
functional testing
bharathanche
Software Testing Fundamentals
Software Testing Fundamentals
Chankey Pathak
Software Testing Strategies
Software Testing Strategies
NayyabMirTahir
Software Quality Assurance
Software Quality Assurance
Sachithra Gayan
Black box software testing
Black box software testing
Rana Muhammad Asif
Software Quality Assurance
Software Quality Assurance
Saqib Raza
V model presentation
V model presentation
Niat Murad
Verification & Validation
Verification & Validation
Dhanasekaran Nagarajan
Unit testing
Unit testing
Mani Kanth
Software testing
Software testing
Kunal Prajapati
Black Box Testing
Black Box Testing
Testbytes
V model Over View (Software Engineering)
V model Over View (Software Engineering)
Badar Rameez. CH.
Testing concepts ppt
Testing concepts ppt
Rathna Priya
Software Quality Metrics
Software Quality Metrics
Mufaddal Nullwala
Software Testing
Software Testing
Sengu Msc
Software quality assurance
Software quality assurance
Aman Adhikari
White Box Testing
White Box Testing
MariamKhan120
Basic Guide to Manual Testing
Basic Guide to Manual Testing
Hiral Gosani
SOFTWARE TESTING UNIT-4
SOFTWARE TESTING UNIT-4
Mohammad Faizan
Manual testing concepts course 1
Manual testing concepts course 1
Raghu Kiran
Software Testing
Software Testing
Ecaterina Moraru (Valica)
Chapter 13 software testing strategies
Chapter 13 software testing strategies
SHREEHARI WADAWADAGI
Verification and Validation in Software Engineering SE19
Verification and Validation in Software Engineering SE19
koolkampus
Validation and verification
Validation and verification
De La Salle University-Manila
Weitere ähnliche Inhalte
Was ist angesagt?
Software Testing Strategies
Software Testing Strategies
NayyabMirTahir
Software Quality Assurance
Software Quality Assurance
Sachithra Gayan
Black box software testing
Black box software testing
Rana Muhammad Asif
Software Quality Assurance
Software Quality Assurance
Saqib Raza
V model presentation
V model presentation
Niat Murad
Verification & Validation
Verification & Validation
Dhanasekaran Nagarajan
Unit testing
Unit testing
Mani Kanth
Software testing
Software testing
Kunal Prajapati
Black Box Testing
Black Box Testing
Testbytes
V model Over View (Software Engineering)
V model Over View (Software Engineering)
Badar Rameez. CH.
Testing concepts ppt
Testing concepts ppt
Rathna Priya
Software Quality Metrics
Software Quality Metrics
Mufaddal Nullwala
Software Testing
Software Testing
Sengu Msc
Software quality assurance
Software quality assurance
Aman Adhikari
White Box Testing
White Box Testing
MariamKhan120
Basic Guide to Manual Testing
Basic Guide to Manual Testing
Hiral Gosani
SOFTWARE TESTING UNIT-4
SOFTWARE TESTING UNIT-4
Mohammad Faizan
Manual testing concepts course 1
Manual testing concepts course 1
Raghu Kiran
Software Testing
Software Testing
Ecaterina Moraru (Valica)
Chapter 13 software testing strategies
Chapter 13 software testing strategies
SHREEHARI WADAWADAGI
Was ist angesagt?
(20)
Software Testing Strategies
Software Testing Strategies
Software Quality Assurance
Software Quality Assurance
Black box software testing
Black box software testing
Software Quality Assurance
Software Quality Assurance
V model presentation
V model presentation
Verification & Validation
Verification & Validation
Unit testing
Unit testing
Software testing
Software testing
Black Box Testing
Black Box Testing
V model Over View (Software Engineering)
V model Over View (Software Engineering)
Testing concepts ppt
Testing concepts ppt
Software Quality Metrics
Software Quality Metrics
Software Testing
Software Testing
Software quality assurance
Software quality assurance
White Box Testing
White Box Testing
Basic Guide to Manual Testing
Basic Guide to Manual Testing
SOFTWARE TESTING UNIT-4
SOFTWARE TESTING UNIT-4
Manual testing concepts course 1
Manual testing concepts course 1
Software Testing
Software Testing
Chapter 13 software testing strategies
Chapter 13 software testing strategies
Andere mochten auch
Verification and Validation in Software Engineering SE19
Verification and Validation in Software Engineering SE19
koolkampus
Validation and verification
Validation and verification
De La Salle University-Manila
Validation and Verification
Validation and Verification
mrmwood
Validation testing
Validation testing
Slideshare
What Exactly are the Techniques of Software Verification & Validation
What Exactly are the Techniques of Software Verification & Validation
Yogindernath Gupta
Types of Data Validation
Types of Data Validation
Metric Fox
SOFTWARE VERIFICATION & VALIDATION
SOFTWARE VERIFICATION & VALIDATION
Amin Bandeali
Verification and validation
Verification and validation
Suresh Thammishetty
Testing tools
Testing tools
SETU Software Systems Pvt. Ltd
Excel presentation data validation
Excel presentation data validation
Nagamani Y R
Intranet Partenaire
Intranet Partenaire
Ruralitour
QA overview
QA overview
Rasha Bazbaz
Verification and validation process in software testing
Verification and validation process in software testing
pooja deshmukh
Software Fault, Error, and Failure
Software Fault, Error, and Failure
nethisip13
Software testing and quality assurance
Software testing and quality assurance
TOPS Technologies
Agile testing
Agile testing
Yogita patil
Validation for different kind of data
Validation for different kind of data
song_lachinhminh_smile
Function oriented design
Function oriented design
Vidhun T
Object oriented and function oriented design
Object oriented and function oriented design
Naveen Sagayaselvaraj
business requirements functional and non functional
business requirements functional and non functional
CHANDRA KAMAL
Andere mochten auch
(20)
Verification and Validation in Software Engineering SE19
Verification and Validation in Software Engineering SE19
Validation and verification
Validation and verification
Validation and Verification
Validation and Verification
Validation testing
Validation testing
What Exactly are the Techniques of Software Verification & Validation
What Exactly are the Techniques of Software Verification & Validation
Types of Data Validation
Types of Data Validation
SOFTWARE VERIFICATION & VALIDATION
SOFTWARE VERIFICATION & VALIDATION
Verification and validation
Verification and validation
Testing tools
Testing tools
Excel presentation data validation
Excel presentation data validation
Intranet Partenaire
Intranet Partenaire
QA overview
QA overview
Verification and validation process in software testing
Verification and validation process in software testing
Software Fault, Error, and Failure
Software Fault, Error, and Failure
Software testing and quality assurance
Software testing and quality assurance
Agile testing
Agile testing
Validation for different kind of data
Validation for different kind of data
Function oriented design
Function oriented design
Object oriented and function oriented design
Object oriented and function oriented design
business requirements functional and non functional
business requirements functional and non functional
Ähnlich wie Software Verification & Validation
Software Verification & Validation
Software Verification & Validation
university of education,Lahore
Dr.Jonathan Software verification validation.ppt
Dr.Jonathan Software verification validation.ppt
Phial
Verifcation and Validation
Verifcation and Validation
SaggitariusArrow
Software Processes
Software Processes
university of education,Lahore
Dr. Jonathan validation verification.ppt
Dr. Jonathan validation verification.ppt
Phial
Software testing
Software testing
Mahfuz1061
Software-Testing.pdf
Software-Testing.pdf
Salim533277
Ch23
Ch23
phanleson
Introduction to Software Enigneering
Introduction to Software Enigneering
university of education,Lahore
ch1.ppt
ch1.ppt
OmarMohammadHamad
0273710133 pp01v2
0273710133 pp01v2
Ravi Chandra
Software engineering testing and types
Software engineering testing and types
Dr. Anthony Vincent. B
Basic of Software Testing.pptx
Basic of Software Testing.pptx
aparna14patil
IRJET - A Valuable and Speculative Approach to Manage the Item Testing by usi...
IRJET - A Valuable and Speculative Approach to Manage the Item Testing by usi...
IRJET Journal
Object Oriented Testing(OOT) presentation slides
Object Oriented Testing(OOT) presentation slides
Punjab University
Ch1
Ch1
srvnsmile
Software Engineering - Ch1
Software Engineering - Ch1
Siddharth Ayer
sftware cst est
sftware cst est
testinggggaaaa
Sqa unit1
Sqa unit1
kannaki
Object oriented testing
Object oriented testing
Haris Jamil
Ähnlich wie Software Verification & Validation
(20)
Software Verification & Validation
Software Verification & Validation
Dr.Jonathan Software verification validation.ppt
Dr.Jonathan Software verification validation.ppt
Verifcation and Validation
Verifcation and Validation
Software Processes
Software Processes
Dr. Jonathan validation verification.ppt
Dr. Jonathan validation verification.ppt
Software testing
Software testing
Software-Testing.pdf
Software-Testing.pdf
Ch23
Ch23
Introduction to Software Enigneering
Introduction to Software Enigneering
ch1.ppt
ch1.ppt
0273710133 pp01v2
0273710133 pp01v2
Software engineering testing and types
Software engineering testing and types
Basic of Software Testing.pptx
Basic of Software Testing.pptx
IRJET - A Valuable and Speculative Approach to Manage the Item Testing by usi...
IRJET - A Valuable and Speculative Approach to Manage the Item Testing by usi...
Object Oriented Testing(OOT) presentation slides
Object Oriented Testing(OOT) presentation slides
Ch1
Ch1
Software Engineering - Ch1
Software Engineering - Ch1
sftware cst est
sftware cst est
Sqa unit1
Sqa unit1
Object oriented testing
Object oriented testing
Mehr von university of education,Lahore
Activites and Time Planning
Activites and Time Planning
university of education,Lahore
Steganography
Steganography
university of education,Lahore
Classical Encryption Techniques
Classical Encryption Techniques
university of education,Lahore
Activites and Time Planning
Activites and Time Planning
university of education,Lahore
OSI Security Architecture
OSI Security Architecture
university of education,Lahore
Network Security Terminologies
Network Security Terminologies
university of education,Lahore
Project Scheduling, Planning and Risk Management
Project Scheduling, Planning and Risk Management
university of education,Lahore
Software Testing and Debugging
Software Testing and Debugging
university of education,Lahore
ePayment Methods
ePayment Methods
university of education,Lahore
SEO
SEO
university of education,Lahore
A Star Search
A Star Search
university of education,Lahore
Enterprise Application Integration
Enterprise Application Integration
university of education,Lahore
Uml Diagrams
Uml Diagrams
university of education,Lahore
eDras Max
eDras Max
university of education,Lahore
RAD Model
RAD Model
university of education,Lahore
Microsoft Project
Microsoft Project
university of education,Lahore
Itertaive Process Development
Itertaive Process Development
university of education,Lahore
Computer Aided Software Engineering Nayab Awan
Computer Aided Software Engineering Nayab Awan
university of education,Lahore
Lect 2 assessing the technology landscape
Lect 2 assessing the technology landscape
university of education,Lahore
system level requirements gathering and analysis
system level requirements gathering and analysis
university of education,Lahore
Mehr von university of education,Lahore
(20)
Activites and Time Planning
Activites and Time Planning
Steganography
Steganography
Classical Encryption Techniques
Classical Encryption Techniques
Activites and Time Planning
Activites and Time Planning
OSI Security Architecture
OSI Security Architecture
Network Security Terminologies
Network Security Terminologies
Project Scheduling, Planning and Risk Management
Project Scheduling, Planning and Risk Management
Software Testing and Debugging
Software Testing and Debugging
ePayment Methods
ePayment Methods
SEO
SEO
A Star Search
A Star Search
Enterprise Application Integration
Enterprise Application Integration
Uml Diagrams
Uml Diagrams
eDras Max
eDras Max
RAD Model
RAD Model
Microsoft Project
Microsoft Project
Itertaive Process Development
Itertaive Process Development
Computer Aided Software Engineering Nayab Awan
Computer Aided Software Engineering Nayab Awan
Lect 2 assessing the technology landscape
Lect 2 assessing the technology landscape
system level requirements gathering and analysis
system level requirements gathering and analysis
Kürzlich hochgeladen
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
Sapna Thakur
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
TechSoup
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy Consulting
TechSoup
Unit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptx
VishalSingh1417
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
ciinovamais
Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SD
Thiyagu K
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communication
nomboosow
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impact
dawncurless
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdf
Admir Softic
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17
Celine George
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdf
chloefrazer622
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Krashi Coaching
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
kauryashika82
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across Sectors
Association for Project Management
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
SoniaTolstoy
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptx
heathfieldcps1
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global Impact
PECB
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdf
Jayanti Pande
social pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajan
pragatimahajan3
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
National Information Standards Organization (NISO)
Kürzlich hochgeladen
(20)
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy Consulting
Unit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptx
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SD
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communication
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impact
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdf
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdf
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across Sectors
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptx
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdf
social pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajan
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Software Verification & Validation
1.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 1 Verification and Validation Thanks to Ian Sommerville for his consent to use his slides for academic purposes Inam Ul Haq Lecturer in Computer Science University of Education Okara Inam@ue.edu.pk, inam.bth@gmail.com
2.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 2 Verification and validation planning Software inspections Automated static analysis Topics covered
3.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 3 Verification: "Are we building the product right”. The software should conform to its specification. Validation: "Are we building the right product”. It ensures that software meets customer’s expectations. Verification vs validation
4.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 4 Is a whole life-cycle process - V & V must be applied at each stage in the software process. Has two principal objectives • The discovery of defects in a system; • The assessment of whether or not the system is useable in an operational situation. The V & V process
5.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 5 V& V goals V & Validation should confirm that the software is fit for purpose. This does NOT mean completely free of defects. Rather, it must be good enough for its intended use.
6.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 6 Static Verification • inspect program code for all possible run-time behaviors and seek out coding flaws, back doors, and potentially malicious code. • Code reviews, walkthroughs, or inspections are referred to as static testing • Static code analysis tools: http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis Dynamic Verification • It monitors system memory, functional behavior, response time, and overall performance of the system • The system can also be executed with test cases • While static and dynamic analysis can be performed manually & they can also be automated (load-runner). • Testing types: http://www.softwaretestinghelp.com/types-of-software-testing/ Static and dynamic verification
7.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 7 Defect testing and debugging are distinct processes. Verification and validation is concerned with establishing the existence of defects in a program. Debugging is concerned with locating and repairing these errors. Debugging involves formulating a hypothesis about program behaviour then testing these hypotheses to find the system error. • Sort of test cases Testing and debugging
8.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 8 The debugging process Locate error Design error repair Repair error Retest program Test results Specification Test cases
9.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 9 The V-model of development System specification System design Detailed design Module and unit code and test Sub-system integ ration test plan System integration test plan Acceptance test plan Service Acceptance test System integ ration test Sub-system integ ration test Requir ements specification
10.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 10 The structure of a software test plan The testing process. Requirements traceability. Tested items. Testing schedule. Test recording procedures.[Jing, bugzilla etc] Hardware and software requirements. Constraints. We will do usability and functionality testing and make test cases • learning assignment (non-graded) • My test cases: http://jmp.sh/J0KW3Vz
11.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 11 The software test plan
12.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 12 Inspection checklists Checklist of common errors should be used to drive the inspection. Error checklists are programming language dependent and reflect the characteristic errors that are likely to arise in the language. In general, the 'weaker' the type checking, the larger the checklist. Examples: Initialisation, Constant naming, loop termination, array bounds, etc.
13.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 13 Inspection checks 1 (self)
14.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 14 Inspection checks 2 (self)
15.
©Ian Sommerville 2004
Software Engineering, 7th edition. Chapter 22 Slide 15 Inspection rate 500 statements/hour during overview. 125 source statement/hour during individual preparation. 90-125 statements/hour can be inspected. Inspection is therefore an expensive process. Inspecting 500 lines costs about 40 man/hours effort - about £2800 at UK rates.
Jetzt herunterladen