SlideShare ist ein Scribd-Unternehmen logo
1 von 12
Validation and Verification
Adapted from Jerry
Banks
Verification
 Concerned with building the model
right
 Comparison of conceptual model
and computer representation
 Is the model implemented correctly
in the computer?
 Are the inputs and logical
parameters represented properly?
Validation
 Concerned with building the right
model
 Accurate representation of the real
system
 This is achieved through the
calibration of the model
 Iterative process until accuracy is
acceptable
Model
Building,
Verification,
and
Validation
REAL SYSTEM
Conceptual Model
1Assumptions on system components
2Structural Assumptions (defines the interactions
between the system components)
3Input parameters and data assumptions
Operational Model
(Computer
Representation)
Conceptual
Validation
Model
Verification
Calibration and
Validation
Common sense suggestions
for verification
 Have someone check the
computerized model
 Make a flow diagram (with logical
actions for each possible event)
 Examine model output for
reasonableness
 Print the input parameters at the
end of the simulation
Common sense suggestions
for verification
 Make the computerized
representation as self documenting
as possible
 If animated, verify what is seen
 Use IRC or debuggers
 Use graphical interface
Three Classes of Techniques
for Verification
 Common sense techniques
 Thorough documentation
 Traces
Calibration and Validation
 Validation is the overall process of
comparing the model and its
behavior to the real system and its
behavior
 Calibration is the iterative process of
comparing the model to the real
system and making adjustments to
the model, and so on.
Iterative Process of
Calibration
REAL SYSTEM
Initial Model
Second
Revision of
Model
First Revision of
Model
Compare Model to
Reality
Compare Revised
Model to Reality
Compare second
Revised Model to
Reality
3 Step Approach by Naylor
and Finger (1967)
 Build a model with high face validity
 Validate model assumptions
 Compare the model input-output
transformations to corresponding
input-output transformations of the
real system
Possible validation techniques in
order of increasing cost-value
ratio by Van Horn (1971)
 High face validity. Use previous research/
studies/observation/experience
 Conduct statistical test for data
homogeneity, randomness, and goodness
of fit test
 Conduct Turing test. Have a group of
experts compare model output versus
system output and detect the difference
 Compare model output to system output
using statistical tests
Possible validation techniques in
order of increasing cost-value
ratio by Van Horn (1971)
 After model development, collect
new data and apply previous 3 tests
 Build a new system or redesign the
old one based on simulation results
and use this data to validate the
model
 Do little or no validation. Implement
results without validating

Weitere ähnliche Inhalte

Was ist angesagt?

Software Quality Attributes
Software Quality AttributesSoftware Quality Attributes
Software Quality Attributes
Hayim Makabee
 
Introduction to Simulation
Introduction to SimulationIntroduction to Simulation
Introduction to Simulation
chimco.net
 
System Models in Software Engineering SE7
System Models in Software Engineering SE7System Models in Software Engineering SE7
System Models in Software Engineering SE7
koolkampus
 
Quality attributes sadhana
Quality attributes sadhanaQuality attributes sadhana
Quality attributes sadhana
Sadhana28
 

Was ist angesagt? (20)

Simulation Powerpoint- Lecture Notes
Simulation Powerpoint- Lecture NotesSimulation Powerpoint- Lecture Notes
Simulation Powerpoint- Lecture Notes
 
Software Reliability
Software ReliabilitySoftware Reliability
Software Reliability
 
Design Concept software engineering
Design Concept software engineeringDesign Concept software engineering
Design Concept software engineering
 
Steps in Simulation Study
Steps in Simulation StudySteps in Simulation Study
Steps in Simulation Study
 
Defect removal effectiveness
Defect removal effectivenessDefect removal effectiveness
Defect removal effectiveness
 
Simulation and Modeling
Simulation and ModelingSimulation and Modeling
Simulation and Modeling
 
introduction to modeling, Types of Models, Classification of mathematical mod...
introduction to modeling, Types of Models, Classification of mathematical mod...introduction to modeling, Types of Models, Classification of mathematical mod...
introduction to modeling, Types of Models, Classification of mathematical mod...
 
Software Quality Attributes
Software Quality AttributesSoftware Quality Attributes
Software Quality Attributes
 
Simulation
SimulationSimulation
Simulation
 
Introduction to Simulation
Introduction to SimulationIntroduction to Simulation
Introduction to Simulation
 
Discrete event-simulation
Discrete event-simulationDiscrete event-simulation
Discrete event-simulation
 
System testing
System testingSystem testing
System testing
 
System Models in Software Engineering SE7
System Models in Software Engineering SE7System Models in Software Engineering SE7
System Models in Software Engineering SE7
 
Analysis modeling
Analysis modelingAnalysis modeling
Analysis modeling
 
Modelling simulation (1)
Modelling simulation (1)Modelling simulation (1)
Modelling simulation (1)
 
Software maintenance Unit5
Software maintenance  Unit5Software maintenance  Unit5
Software maintenance Unit5
 
Software quality
Software qualitySoftware quality
Software quality
 
Introduction to simulation modeling
Introduction to simulation modelingIntroduction to simulation modeling
Introduction to simulation modeling
 
Design engineering
Design engineeringDesign engineering
Design engineering
 
Quality attributes sadhana
Quality attributes sadhanaQuality attributes sadhana
Quality attributes sadhana
 

Ähnlich wie Validation and verification

Calibration and validation model (Simulation )
Calibration and validation model (Simulation )Calibration and validation model (Simulation )
Calibration and validation model (Simulation )
Rajan Kandel
 
internship project1 report
internship project1 reportinternship project1 report
internship project1 report
sheyk98
 
software testing types jxnvlbnLCBNFVjnl/fknblb
software testing types jxnvlbnLCBNFVjnl/fknblbsoftware testing types jxnvlbnLCBNFVjnl/fknblb
software testing types jxnvlbnLCBNFVjnl/fknblb
jeyasrig
 

Ähnlich wie Validation and verification (20)

Calibration and validation model (Simulation )
Calibration and validation model (Simulation )Calibration and validation model (Simulation )
Calibration and validation model (Simulation )
 
Chapter 3 SOFTWARE TESTING PROCESS
Chapter 3 SOFTWARE TESTING PROCESSChapter 3 SOFTWARE TESTING PROCESS
Chapter 3 SOFTWARE TESTING PROCESS
 
Simulation of Manufacturing System
Simulation of Manufacturing SystemSimulation of Manufacturing System
Simulation of Manufacturing System
 
Initializing & Optimizing Machine Learning Models
Initializing & Optimizing Machine Learning ModelsInitializing & Optimizing Machine Learning Models
Initializing & Optimizing Machine Learning Models
 
Pharmacokinetic pharmacodynamic modeling
Pharmacokinetic pharmacodynamic modelingPharmacokinetic pharmacodynamic modeling
Pharmacokinetic pharmacodynamic modeling
 
GP_Training_Introduction-to-MSA__RevAF.pptx
GP_Training_Introduction-to-MSA__RevAF.pptxGP_Training_Introduction-to-MSA__RevAF.pptx
GP_Training_Introduction-to-MSA__RevAF.pptx
 
Training on the topic MSA as per new RevAF.pptx
Training on the topic MSA as per new RevAF.pptxTraining on the topic MSA as per new RevAF.pptx
Training on the topic MSA as per new RevAF.pptx
 
MODELING & SIMULATION.docx
MODELING & SIMULATION.docxMODELING & SIMULATION.docx
MODELING & SIMULATION.docx
 
Blackbox
BlackboxBlackbox
Blackbox
 
Unit 1 introduction
Unit 1 introductionUnit 1 introduction
Unit 1 introduction
 
internship project1 report
internship project1 reportinternship project1 report
internship project1 report
 
Introduction to System, Simulation and Model
Introduction to System, Simulation and ModelIntroduction to System, Simulation and Model
Introduction to System, Simulation and Model
 
Data Analytics, Machine Learning, and HPC in Today’s Changing Application Env...
Data Analytics, Machine Learning, and HPC in Today’s Changing Application Env...Data Analytics, Machine Learning, and HPC in Today’s Changing Application Env...
Data Analytics, Machine Learning, and HPC in Today’s Changing Application Env...
 
Test Process
Test ProcessTest Process
Test Process
 
The Role Of The Sqa In Software Development By Jim Coleman
The Role Of The Sqa In Software Development By Jim ColemanThe Role Of The Sqa In Software Development By Jim Coleman
The Role Of The Sqa In Software Development By Jim Coleman
 
software testing types jxnvlbnLCBNFVjnl/fknblb
software testing types jxnvlbnLCBNFVjnl/fknblbsoftware testing types jxnvlbnLCBNFVjnl/fknblb
software testing types jxnvlbnLCBNFVjnl/fknblb
 
A Research Paper on BFO and PSO Based Movie Recommendation System | J4RV4I1016
A Research Paper on BFO and PSO Based Movie Recommendation System | J4RV4I1016A Research Paper on BFO and PSO Based Movie Recommendation System | J4RV4I1016
A Research Paper on BFO and PSO Based Movie Recommendation System | J4RV4I1016
 
OR (JNTUK) III Mech Unit 8 simulation
OR (JNTUK) III Mech Unit 8  simulationOR (JNTUK) III Mech Unit 8  simulation
OR (JNTUK) III Mech Unit 8 simulation
 
Slides chapters 13-14
Slides chapters 13-14Slides chapters 13-14
Slides chapters 13-14
 
Cost estimation method
Cost estimation methodCost estimation method
Cost estimation method
 

Mehr von De La Salle University-Manila

Chapter3 general principles of discrete event simulation
Chapter3   general principles of discrete event simulationChapter3   general principles of discrete event simulation
Chapter3 general principles of discrete event simulation
De La Salle University-Manila
 

Mehr von De La Salle University-Manila (20)

Queueing theory
Queueing theoryQueueing theory
Queueing theory
 
Queueing theory
Queueing theoryQueueing theory
Queueing theory
 
Queuing problems
Queuing problemsQueuing problems
Queuing problems
 
Markov exercises
Markov exercisesMarkov exercises
Markov exercises
 
Markov theory
Markov theoryMarkov theory
Markov theory
 
Game theory problem set
Game theory problem setGame theory problem set
Game theory problem set
 
Game theory
Game theoryGame theory
Game theory
 
Decision theory Problems
Decision theory ProblemsDecision theory Problems
Decision theory Problems
 
Decision theory handouts
Decision theory handoutsDecision theory handouts
Decision theory handouts
 
Sequential decisionmaking
Sequential decisionmakingSequential decisionmaking
Sequential decisionmaking
 
Decision theory
Decision theoryDecision theory
Decision theory
 
Decision theory blockwood
Decision theory blockwoodDecision theory blockwood
Decision theory blockwood
 
Decision theory
Decision theoryDecision theory
Decision theory
 
Random variate generation
Random variate generationRandom variate generation
Random variate generation
 
Random number generation
Random number generationRandom number generation
Random number generation
 
Monte carlo simulation
Monte carlo simulationMonte carlo simulation
Monte carlo simulation
 
Conceptual modeling
Conceptual modelingConceptual modeling
Conceptual modeling
 
Chapter3 general principles of discrete event simulation
Chapter3   general principles of discrete event simulationChapter3   general principles of discrete event simulation
Chapter3 general principles of discrete event simulation
 
Comparison and evaluation of alternative designs
Comparison and evaluation of alternative designsComparison and evaluation of alternative designs
Comparison and evaluation of alternative designs
 
Chapter2
Chapter2Chapter2
Chapter2
 

Kürzlich hochgeladen

Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
negromaestrong
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
QucHHunhnh
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
ciinovamais
 

Kürzlich hochgeladen (20)

Unit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptxUnit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptx
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdf
 
Third Battle of Panipat detailed notes.pptx
Third Battle of Panipat detailed notes.pptxThird Battle of Panipat detailed notes.pptx
Third Battle of Panipat detailed notes.pptx
 
How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17
 
psychiatric nursing HISTORY COLLECTION .docx
psychiatric  nursing HISTORY  COLLECTION  .docxpsychiatric  nursing HISTORY  COLLECTION  .docx
psychiatric nursing HISTORY COLLECTION .docx
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy Consulting
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17  How to Extend Models Using Mixin ClassesMixin Classes in Odoo 17  How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
 
Asian American Pacific Islander Month DDSD 2024.pptx
Asian American Pacific Islander Month DDSD 2024.pptxAsian American Pacific Islander Month DDSD 2024.pptx
Asian American Pacific Islander Month DDSD 2024.pptx
 
How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17
 
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdfUGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdf
 

Validation and verification

  • 2. Verification  Concerned with building the model right  Comparison of conceptual model and computer representation  Is the model implemented correctly in the computer?  Are the inputs and logical parameters represented properly?
  • 3. Validation  Concerned with building the right model  Accurate representation of the real system  This is achieved through the calibration of the model  Iterative process until accuracy is acceptable
  • 4. Model Building, Verification, and Validation REAL SYSTEM Conceptual Model 1Assumptions on system components 2Structural Assumptions (defines the interactions between the system components) 3Input parameters and data assumptions Operational Model (Computer Representation) Conceptual Validation Model Verification Calibration and Validation
  • 5. Common sense suggestions for verification  Have someone check the computerized model  Make a flow diagram (with logical actions for each possible event)  Examine model output for reasonableness  Print the input parameters at the end of the simulation
  • 6. Common sense suggestions for verification  Make the computerized representation as self documenting as possible  If animated, verify what is seen  Use IRC or debuggers  Use graphical interface
  • 7. Three Classes of Techniques for Verification  Common sense techniques  Thorough documentation  Traces
  • 8. Calibration and Validation  Validation is the overall process of comparing the model and its behavior to the real system and its behavior  Calibration is the iterative process of comparing the model to the real system and making adjustments to the model, and so on.
  • 9. Iterative Process of Calibration REAL SYSTEM Initial Model Second Revision of Model First Revision of Model Compare Model to Reality Compare Revised Model to Reality Compare second Revised Model to Reality
  • 10. 3 Step Approach by Naylor and Finger (1967)  Build a model with high face validity  Validate model assumptions  Compare the model input-output transformations to corresponding input-output transformations of the real system
  • 11. Possible validation techniques in order of increasing cost-value ratio by Van Horn (1971)  High face validity. Use previous research/ studies/observation/experience  Conduct statistical test for data homogeneity, randomness, and goodness of fit test  Conduct Turing test. Have a group of experts compare model output versus system output and detect the difference  Compare model output to system output using statistical tests
  • 12. Possible validation techniques in order of increasing cost-value ratio by Van Horn (1971)  After model development, collect new data and apply previous 3 tests  Build a new system or redesign the old one based on simulation results and use this data to validate the model  Do little or no validation. Implement results without validating