SlideShare a Scribd company logo
2
Most read
3
Most read
4
Most read
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

More Related Content

PPTX
Steps in Simulation Study
PDF
Formal Verification
PDF
Modeling & Simulation Lecture Notes
PDF
Data Mining & Data Warehousing Lecture Notes
PPTX
Lecture 13 Criptarithmetic problem
PPTX
All types of model(Simulation & Modelling) #ShareThisIfYouLike
PPTX
PPT
Critical Systems
Steps in Simulation Study
Formal Verification
Modeling & Simulation Lecture Notes
Data Mining & Data Warehousing Lecture Notes
Lecture 13 Criptarithmetic problem
All types of model(Simulation & Modelling) #ShareThisIfYouLike
Critical Systems

What's hot (20)

PPTX
Introduction to simulation modeling
PPTX
System Modelling
PPTX
Cost of software quality ( software quality assurance )
PDF
System modeling and simulation full notes by sushma shetty (www.vtulife.com)
PPTX
Unit 7 verification & validation
PPTX
System modeling
PPTX
Learning With Complete Data
PPTX
Ch5 system modeling
PPT
Software Process Improvement
PPTX
introduction to modeling, Types of Models, Classification of mathematical mod...
PDF
Rule Based Architecture System
PPT
Software Prototyping
PPTX
Simulation and its application
PDF
SE_Lec 05_System Modelling and Context Model
PPTX
Architecture business cycle
PDF
Agile Methodology - Software Engineering
PPTX
Regression testing
PPTX
Software Evolution
PPTX
Hierarchical models of software quality
PPT
Formal Specification in Software Engineering SE9
Introduction to simulation modeling
System Modelling
Cost of software quality ( software quality assurance )
System modeling and simulation full notes by sushma shetty (www.vtulife.com)
Unit 7 verification & validation
System modeling
Learning With Complete Data
Ch5 system modeling
Software Process Improvement
introduction to modeling, Types of Models, Classification of mathematical mod...
Rule Based Architecture System
Software Prototyping
Simulation and its application
SE_Lec 05_System Modelling and Context Model
Architecture business cycle
Agile Methodology - Software Engineering
Regression testing
Software Evolution
Hierarchical models of software quality
Formal Specification in Software Engineering SE9
Ad

Viewers also liked (6)

PPTX
verification and validation
PPT
Software requirement verification & validation
PPT
Product Quality: Metrics, Verification, Validation, Testing
PDF
Verification and validation
PPTX
Validation and Verification
PPTX
Verification and Validation with Innoslate
verification and validation
Software requirement verification & validation
Product Quality: Metrics, Verification, Validation, Testing
Verification and validation
Validation and Verification
Verification and Validation with Innoslate
Ad

Similar to Validation and verification (6)

PPT
Calibration and validation model (Simulation )
PPTX
Checking Model Validity and Verification.pptx
PPT
08validation
PPTX
Model Calibration and Uncertainty Analysis
PPTX
materi pengujiannnnnnnnnnnnnnnnnnnnnnnnnn
PPTX
validation and verification part 2.pptx
Calibration and validation model (Simulation )
Checking Model Validity and Verification.pptx
08validation
Model Calibration and Uncertainty Analysis
materi pengujiannnnnnnnnnnnnnnnnnnnnnnnnn
validation and verification part 2.pptx

More from De La Salle University-Manila (20)

PPTX
DOC
DOC
PDF
Verfication and validation of simulation models
DOC
PDF
Game theory problem set
DOC
Decision theory Problems
DOC
Decision theory handouts
PDF
Sequential decisionmaking
PDF
DOC
Decision theory blockwood
PPT
PPT
Random variate generation
PPT
Random number generation
PPT
Monte carlo simulation
PPT
Conceptual modeling
PPT
Chapter3 general principles of discrete event simulation
Verfication and validation of simulation models
Game theory problem set
Decision theory Problems
Decision theory handouts
Sequential decisionmaking
Decision theory blockwood
Random variate generation
Random number generation
Monte carlo simulation
Conceptual modeling
Chapter3 general principles of discrete event simulation

Recently uploaded (20)

PPTX
Cell Types and Its function , kingdom of life
PDF
01-Introduction-to-Information-Management.pdf
PPTX
Microbial diseases, their pathogenesis and prophylaxis
PDF
STATICS OF THE RIGID BODIES Hibbelers.pdf
PDF
Classroom Observation Tools for Teachers
PDF
Physiotherapy_for_Respiratory_and_Cardiac_Problems WEBBER.pdf
PPTX
Institutional Correction lecture only . . .
PDF
O7-L3 Supply Chain Operations - ICLT Program
PDF
O5-L3 Freight Transport Ops (International) V1.pdf
PPTX
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
PPTX
IMMUNITY IMMUNITY refers to protection against infection, and the immune syst...
PDF
102 student loan defaulters named and shamed – Is someone you know on the list?
PDF
Chapter 2 Heredity, Prenatal Development, and Birth.pdf
PPTX
PPT- ENG7_QUARTER1_LESSON1_WEEK1. IMAGERY -DESCRIPTIONS pptx.pptx
PPTX
Week 4 Term 3 Study Techniques revisited.pptx
PPTX
Pharmacology of Heart Failure /Pharmacotherapy of CHF
PDF
2.FourierTransform-ShortQuestionswithAnswers.pdf
PDF
BÀI TẬP BỔ TRỢ 4 KỸ NĂNG TIẾNG ANH 9 GLOBAL SUCCESS - CẢ NĂM - BÁM SÁT FORM Đ...
PPTX
PPH.pptx obstetrics and gynecology in nursing
PDF
Mark Klimek Lecture Notes_240423 revision books _173037.pdf
Cell Types and Its function , kingdom of life
01-Introduction-to-Information-Management.pdf
Microbial diseases, their pathogenesis and prophylaxis
STATICS OF THE RIGID BODIES Hibbelers.pdf
Classroom Observation Tools for Teachers
Physiotherapy_for_Respiratory_and_Cardiac_Problems WEBBER.pdf
Institutional Correction lecture only . . .
O7-L3 Supply Chain Operations - ICLT Program
O5-L3 Freight Transport Ops (International) V1.pdf
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
IMMUNITY IMMUNITY refers to protection against infection, and the immune syst...
102 student loan defaulters named and shamed – Is someone you know on the list?
Chapter 2 Heredity, Prenatal Development, and Birth.pdf
PPT- ENG7_QUARTER1_LESSON1_WEEK1. IMAGERY -DESCRIPTIONS pptx.pptx
Week 4 Term 3 Study Techniques revisited.pptx
Pharmacology of Heart Failure /Pharmacotherapy of CHF
2.FourierTransform-ShortQuestionswithAnswers.pdf
BÀI TẬP BỔ TRỢ 4 KỸ NĂNG TIẾNG ANH 9 GLOBAL SUCCESS - CẢ NĂM - BÁM SÁT FORM Đ...
PPH.pptx obstetrics and gynecology in nursing
Mark Klimek Lecture Notes_240423 revision books _173037.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