SlideShare ist ein Scribd-Unternehmen logo
1 von 32
VERIFICATION & VALIDATION
Unit 7
CONTENTS
• Model building , Verification and Validation
• Verification of simulation models
• Calibration and validation of models
QUESTION BANK
• What is verification of simulation model? List the suggestions given for
verification of models
• Describe the three step approach to validation by Naylor and finger
• Explain validating input-output transformations with an example
• With a flow diagram, explain the transitional relationship between the model
building, verification and validation
• What is the purpose of model verification? Explain how verification of models is
done?
• Distinguish between verification and validation
INTRODUCTION
• Most important and difficult tasks facing a model developer is the verification and
validation of the simulation model
• The goal of validation process :
• To produce a model that represents true system behaviour closely enough for the model
to be used as a substitute for the actual system for purpose of experimenting with the
system
• To increase the capability of the model to an acceptance level so that the model will be
used by managers and other decision makers.
• Validation is an integral part of model development.
INTRODUCTION
• Verification and validation process consists of the following components:
• Verification is concerned with building the model correctly
• Or concerned with building the model right.
• The comparison of the conceptual model to the computer representation that
implements that conception
• Validation is concerned with building the correct model
• concerned with building the right model
• Confirms that a model is an accurate representation of the real system.
MODEL BUILDING, VERIFICATION &
VALIDATION
MODEL BUILDING, VERIFICATION &
VALIDATION
• First step  observing the real system and interaction among its various
components and of collecting data on their behaviour.
• Second step  construction of conceptual model- a collection of assumptions
about the components and the structure of system, hypothesis about the values of
model input parameters.
• Third step implementation of operational model, using simulation software by
incorporating the assumptions of the conceptual model into the world view and
concepts of the simulation software.
VERIFICATION OF SIMULATION
MODELS
• Purpose of model verification is to assure that the conceptual model is reflected
accurately in the operational model
• Verification asks the following questions:
• Is the conceptual model accurately represented by the operational model?
• Many common-sense suggestions can be used in the verification process such as:
VERIFICATION OF SIMULATION
MODELS
1. Have the code checked by someone other than the programmer.
2. Make a flow diagram which includes each logically possible action a system
can take when an event occurs, and follow the model logic for each action
for each event type.
3. Closely examine the model output for reasonableness under a variety of
settings of the input parameters. Have the code print out a wide variety of
output statistics.
4. Have the computerized model print the input parameters at the end of the
simulation, to be sure that these parameter values have not been changed
inadvertently.
VERIFICATION OF SIMULATION
MODELS
5. Make the computer code as self-documenting as possible. Give a precise
definition of every variable used, and a general description of the purpose
of each major section of code.
6. If the operational model is animated, verify that what is seen in the
animation imitates the actual system.
7. Graphical interfaces are recommended for accomplishing verification and
validation
VERIFICATION OF SIMULATION
MODELS
8. The Interactive Run Controller (IRC) or debugger is essential component of
successful simulation building. IRC does the following jobs:
1. Finds and corrects the errors made by analysts
2. The simulation can be monitored as it progresses
3. Attention can be focused on particular entity, line of code or procedure
4. Values of selected component can be observed
5. The simulation can be temporarily suspended or paused
VERIFICATION OF SIMULATION
MODELS
• Two sets of statistics give a quick reasonableness are:
• Current contents
• Refers to number of items in each component of the system at a given time.
• Total count
• Refers to the total number of items that has entered each component of the system by a
give time
VERIFICATION OF SIMULATION
MODELS
• Most simulation software has a built in capability to conduct a trace without the
programmer having to do any extensive programming
• Some software's allow a selective trace
• Eg
• A trace could be set for specific location in the model or could be triggered to begin at
specified simulation time.
• Some simulation allows tracing a selected entity any time the designated entity is made
active then the trace is activated.
• To set the trace for the occurrence of particular condition like whether queue reaches a
length of 5 turns on the trace.
DOCUMENTATION
• Important way to aid verification process is documentation phase
• If model builder writes a brief comments in the operational model, plus definition of
all variables and parameters plus description of each major section of the model, it
becomes much simpler for another model builder to analyse or for the same model
builder on later date, to verify the model logic.
• Of the three class of techniques
• The common sense technique
• Traces
• Through documentation
• It is recommended that a modeler should carry out the first and third always.
SOPHISTICATED TECHNIQUE FOR
VERIFICATION IS USE OF “TRACE”
• Trace is detailed computer printout which gets the value of every variable in a
computer program every time that one of these variables change in value
• Is designed specifically for use in a simulation program would give the value of
selected variable each time the simulation clock was incremented
• Simulation trace is nothing but detailed printout of the state of the simulation
model as it changes over time
CALIBRATION AND VALIDATION OF
MODELS
• They are different by usually conducted simultaneously by the modeler.
• Validation is overall process of comparing the model and its behaviour to the real
system and its behaviour.
• Calibration is the iterative process of comparing the model to the real system,
making adjustments to the model, comparing the revised model to reality, making
additional adjustments , comparing again and so on.
• The following figure shows the relationship of model calibration to overall validation
process
ITERATIVE PROCESS OF
CALIBRATING A MODEL
VARITY OF TESTS TO COMPARE THE
MODEL TO REALITY
• Subjective test:
• involves people, who are knowledgeable about one or more aspects of the system,
making judgements about the model and its output.
• Objective test:
• require data on the system’s behaviour, plus the corresponding data produced by the
model.
• Statistical tests:
• performed to compare some aspects of system data set with aspect of the model data
set.
• If unacceptable discrepancies between the model & real system are discovered in
the final validation effort, the modeler must return to calibration phase & modify
until it becomes acceptable.
NAYLOR AND FINGER – THREE STEP
APPROACH
• Step 1 : build a model that has high face validity
• Step 2: validate model assumptions.
• Step 3: compare the model input output transformations
to corresponding input output transformations for the
real system.
• Next 5 sub sections explain these three steps
NAYLOR AND FINGER – THREE STEP
APPROACH
• Face validity
• Validations of model assumptions
• Validating input-output transformations
• Input-output validations:
• using historical input data
• Using a Turing test
FACE VALIDITY
• Goal of the modeler is to construct a model that appears reasonable on its face to
model users and others who are knowledgeable about real system being simulated.
• Potential users of the model should be involved in model construction from
conceptualization stage to implementation stage so that there is high degree of
realism .
• Another advantage of having users involved is the increase in the model’s perceived
validity or credibility , without which a manager would not be willing to trust
simulation results as basis for decision making.
FACE VALIDITY
• Sensitivity analysis can be used to check model’s face validity  the model user is
asked whether the model behaves in expected way when one or more input variable
is changed.
• The model builder must attempt to choose the most critical input variables for
testing if its too expensive or time consuming to vary all input variables.
VALIDATION OF MODEL
ASSUMPTIONS
• Two categories of model assumptions : structural assumptions and data
assumptions
• Structural assumptions
• involve questions of how the system operates and usually involve simplifications and
abstractions of reality
• Eg. : customer queuing and service facility in a bank.
• Customers can form one line or there can be an individual line for each teller
• If there are many lines, customers could be served strictly on FIFO order or some
customers change lines if one line is moving faster.
• The number of tellers could be fixed or variable
VALIDATION OF MODEL
ASSUMPTIONS
• Data assumptions
• Is based on the collection of reliable data and correct statistical analysis of the data.
• Eg. :
• Interarrival times of customers during several 2 hour periods of peak loading
• Interarrival times during a slack period
• Service times for commercial accounts
• Service times for personal accounts.
VALIDATION OF MODEL
ASSUMPTIONS
• Whether done manually or special purpose software, the analysis consists of three
steps
1. Identify an appropriate probability distribution
2. Estimate the parameters of hypothesized distribution
3. Validate the assumed statistical model by goodness of fit test
such as chi-square or K-S test and by graphical methods.
VALIDATING INPUT OUTPUT
TRANSFORMATIONS
• Ultimate test of the model
• Model accepts the value of the input parameters and transforms these inputs into
output measures of performance.
• Instead of validating the model by predicting the future, the modeler could use
historical data that have been reserved for validation process
• The modeler should use the main responses of interest as the primary criteria for
validating a model.
• If the model is used later for a purpose different from its original purpose the model
should be revalidated in terms of new responses of interest under new input
conditions
VALIDATING INPUT OUTPUT
TRANSFORMATIONS
• Eg.
• In queuing system, the response may be server utilization and customer delay and input
condition may be number of servers
• In production system the response may be throughput & input condition may be
machines that run at different speed
VALIDATING INPUT OUTPUT
TRANSFORMATIONS
• If the proposed system is modification of the existing system , the modeler hopes
that confidence in the model of the existing system can be transferred to the model
of the new system
• Minor changes of single numerical parameters such as the speed of a machine, the
arrival rate of customers , the number of servers.
• Minor changes of the form of a statistical distribution such as the distribution of a
service time or a time to failure of a machine
• Major changes in the logical structure of the subsystem, such as change in queue
discipline, change in scheduling rule
• Major changes involve a different design for the new system such as computerized
inventory control system replacing non computerized system.
INPUT-OUTPUT VALIDATION- USING
HISTORICAL INPUT DATA
• To conduct validation based on historical data, important point is that all the input
data and all the system response data such as average delay should be collected
during the same time period
• If not taken on same time then , comparison of model responses to system
responses could be misleading.
• Implementation of this technique is difficult for a large system, because collecting
all the data required simultaneously from all input variables & those responses
variables of primary interest.
INPUT OUTPUT VALIDATION : USING
A TURING TEST
• When no statistical test is readily applicable, persons knowledge about the system
behaviour can be used to compare model output to system output.
• 5 years reports of system performance over five different days are prepared,
simulation output data are used to produce 5 fake reports
• All 10 reports should be in the same format
• They are randomly shuffled and given to engineer who is asked to decide which
reports are fake and which is real.
INPUT OUTPUT VALIDATION : USING
A TURING TEST
• If the engineer identifies a substantial number of fake reports, the model builder
questions the engineer and uses the information gained to improve the model or
else modeler will conclude that this test provides no evidence of model inadequacy.
• This type of validation test is called Turing test
• It is valuable tool in detecting model inadequacies and eventually , in increasing
model creditability as the model is improved & rejected.
END OF UNIT 7
Thank you 

Weitere ähnliche Inhalte

Was ist angesagt?

Test Cases Maintaining & Documenting
Test Cases Maintaining & DocumentingTest Cases Maintaining & Documenting
Test Cases Maintaining & DocumentingSeyed Ali Marjaie
 
Integration testing
Integration testingIntegration testing
Integration testingVaibhav Dash
 
Software Testing Fundamentals
Software Testing FundamentalsSoftware Testing Fundamentals
Software Testing FundamentalsChankey Pathak
 
UNIT TESTING PPT
UNIT TESTING PPTUNIT TESTING PPT
UNIT TESTING PPTsuhasreddy1
 
Software Testing - Part 1 (Techniques, Types, Levels, Methods, STLC, Bug Life...
Software Testing - Part 1 (Techniques, Types, Levels, Methods, STLC, Bug Life...Software Testing - Part 1 (Techniques, Types, Levels, Methods, STLC, Bug Life...
Software Testing - Part 1 (Techniques, Types, Levels, Methods, STLC, Bug Life...Ankit Prajapati
 
Integration testing
Integration testingIntegration testing
Integration testingqueen jemila
 
SOFTWARE TESTING UNIT-4
SOFTWARE TESTING UNIT-4  SOFTWARE TESTING UNIT-4
SOFTWARE TESTING UNIT-4 Mohammad Faizan
 
An Introduction to Unit Testing
An Introduction to Unit TestingAn Introduction to Unit Testing
An Introduction to Unit TestingJoe Tremblay
 
Testing concepts [3] - Software Testing Techniques (CIS640)
Testing concepts [3] - Software Testing Techniques (CIS640)Testing concepts [3] - Software Testing Techniques (CIS640)
Testing concepts [3] - Software Testing Techniques (CIS640)Venkatesh Prasad Ranganath
 
Combinatorial testing ppt
Combinatorial testing pptCombinatorial testing ppt
Combinatorial testing pptKedar Kumar
 
Software testing methods, levels and types
Software testing methods, levels and typesSoftware testing methods, levels and types
Software testing methods, levels and typesConfiz
 
Unit 2 - Test Case Design
Unit 2 - Test Case DesignUnit 2 - Test Case Design
Unit 2 - Test Case DesignSelvi Vts
 
Equivalence partitions analysis
Equivalence partitions analysisEquivalence partitions analysis
Equivalence partitions analysisVadym Muliavka
 
Introduction to software testing
Introduction to software testingIntroduction to software testing
Introduction to software testingHadi Fadlallah
 
Chapter 9 Testing Strategies.ppt
Chapter 9 Testing Strategies.pptChapter 9 Testing Strategies.ppt
Chapter 9 Testing Strategies.pptVijayaPratapReddyM
 
Software Testing 101
Software Testing 101Software Testing 101
Software Testing 101QA Hannah
 

Was ist angesagt? (20)

Software Verification & Validation
Software Verification & ValidationSoftware Verification & Validation
Software Verification & Validation
 
Test Cases Maintaining & Documenting
Test Cases Maintaining & DocumentingTest Cases Maintaining & Documenting
Test Cases Maintaining & Documenting
 
Integration testing
Integration testingIntegration testing
Integration testing
 
Software Testing Fundamentals
Software Testing FundamentalsSoftware Testing Fundamentals
Software Testing Fundamentals
 
Validation and verification
Validation and verificationValidation and verification
Validation and verification
 
UNIT TESTING PPT
UNIT TESTING PPTUNIT TESTING PPT
UNIT TESTING PPT
 
Software Testing - Part 1 (Techniques, Types, Levels, Methods, STLC, Bug Life...
Software Testing - Part 1 (Techniques, Types, Levels, Methods, STLC, Bug Life...Software Testing - Part 1 (Techniques, Types, Levels, Methods, STLC, Bug Life...
Software Testing - Part 1 (Techniques, Types, Levels, Methods, STLC, Bug Life...
 
Integration testing
Integration testingIntegration testing
Integration testing
 
SOFTWARE TESTING UNIT-4
SOFTWARE TESTING UNIT-4  SOFTWARE TESTING UNIT-4
SOFTWARE TESTING UNIT-4
 
An Introduction to Unit Testing
An Introduction to Unit TestingAn Introduction to Unit Testing
An Introduction to Unit Testing
 
SOFTWARE TESTING
SOFTWARE TESTINGSOFTWARE TESTING
SOFTWARE TESTING
 
Testing concepts [3] - Software Testing Techniques (CIS640)
Testing concepts [3] - Software Testing Techniques (CIS640)Testing concepts [3] - Software Testing Techniques (CIS640)
Testing concepts [3] - Software Testing Techniques (CIS640)
 
Combinatorial testing ppt
Combinatorial testing pptCombinatorial testing ppt
Combinatorial testing ppt
 
Software testing methods, levels and types
Software testing methods, levels and typesSoftware testing methods, levels and types
Software testing methods, levels and types
 
Testing Plan
Testing PlanTesting Plan
Testing Plan
 
Unit 2 - Test Case Design
Unit 2 - Test Case DesignUnit 2 - Test Case Design
Unit 2 - Test Case Design
 
Equivalence partitions analysis
Equivalence partitions analysisEquivalence partitions analysis
Equivalence partitions analysis
 
Introduction to software testing
Introduction to software testingIntroduction to software testing
Introduction to software testing
 
Chapter 9 Testing Strategies.ppt
Chapter 9 Testing Strategies.pptChapter 9 Testing Strategies.ppt
Chapter 9 Testing Strategies.ppt
 
Software Testing 101
Software Testing 101Software Testing 101
Software Testing 101
 

Ähnlich wie Unit 7 verification & validation

Modeling&Simulation_Ch01_part 3.pptx
Modeling&Simulation_Ch01_part 3.pptxModeling&Simulation_Ch01_part 3.pptx
Modeling&Simulation_Ch01_part 3.pptxMaiGaafar
 
Software archiecture lecture08
Software archiecture   lecture08Software archiecture   lecture08
Software archiecture lecture08Luktalja
 
Generic Software Process Models
Generic Software Process ModelsGeneric Software Process Models
Generic Software Process ModelsEducation Front
 
cupdf.com_1-developing-safety-critical-systems-chapter-5-storey.ppt
cupdf.com_1-developing-safety-critical-systems-chapter-5-storey.pptcupdf.com_1-developing-safety-critical-systems-chapter-5-storey.ppt
cupdf.com_1-developing-safety-critical-systems-chapter-5-storey.pptYoussefElsamman
 
340_18CS35_se_mod1(secab).pdf
340_18CS35_se_mod1(secab).pdf340_18CS35_se_mod1(secab).pdf
340_18CS35_se_mod1(secab).pdfkrishnaraj714229
 
Software development life cycle (SDLC)
Software development life cycle (SDLC)Software development life cycle (SDLC)
Software development life cycle (SDLC)Simran Kaur
 
Testing Frameworks
Testing FrameworksTesting Frameworks
Testing FrameworksMoataz Nabil
 
software Engineering process
software Engineering processsoftware Engineering process
software Engineering processRaheel Aslam
 
Software Testing Strategy
Software Testing StrategySoftware Testing Strategy
Software Testing StrategyAjeng Savitri
 
System models of sdlc- v model
System models of sdlc- v modelSystem models of sdlc- v model
System models of sdlc- v modelMinal Kashyap
 
System Simulation and Modelling with types and Event Scheduling
System Simulation and Modelling with types and Event SchedulingSystem Simulation and Modelling with types and Event Scheduling
System Simulation and Modelling with types and Event SchedulingBootNeck1
 
Structured system analysis and design
Structured system analysis and design Structured system analysis and design
Structured system analysis and design Jayant Dalvi
 
Modeling and Testing Dovetail in MagicDraw
Modeling and Testing Dovetail in MagicDrawModeling and Testing Dovetail in MagicDraw
Modeling and Testing Dovetail in MagicDrawGregory Solovey
 
Analysis modeling & scenario based modeling
Analysis modeling &  scenario based modeling Analysis modeling &  scenario based modeling
Analysis modeling & scenario based modeling Benazir Fathima
 
Unlocking DataDriven Talent Intelligence Transforming TALENTX with Industry P...
Unlocking DataDriven Talent Intelligence Transforming TALENTX with Industry P...Unlocking DataDriven Talent Intelligence Transforming TALENTX with Industry P...
Unlocking DataDriven Talent Intelligence Transforming TALENTX with Industry P...Prasanna Hegde
 

Ähnlich wie Unit 7 verification & validation (20)

Modeling&Simulation_Ch01_part 3.pptx
Modeling&Simulation_Ch01_part 3.pptxModeling&Simulation_Ch01_part 3.pptx
Modeling&Simulation_Ch01_part 3.pptx
 
6. oose testing
6. oose testing6. oose testing
6. oose testing
 
Software archiecture lecture08
Software archiecture   lecture08Software archiecture   lecture08
Software archiecture lecture08
 
Generic Software Process Models
Generic Software Process ModelsGeneric Software Process Models
Generic Software Process Models
 
cupdf.com_1-developing-safety-critical-systems-chapter-5-storey.ppt
cupdf.com_1-developing-safety-critical-systems-chapter-5-storey.pptcupdf.com_1-developing-safety-critical-systems-chapter-5-storey.ppt
cupdf.com_1-developing-safety-critical-systems-chapter-5-storey.ppt
 
340_18CS35_se_mod1(secab).pdf
340_18CS35_se_mod1(secab).pdf340_18CS35_se_mod1(secab).pdf
340_18CS35_se_mod1(secab).pdf
 
Software development life cycle (SDLC)
Software development life cycle (SDLC)Software development life cycle (SDLC)
Software development life cycle (SDLC)
 
module 1.pptx
module 1.pptxmodule 1.pptx
module 1.pptx
 
Testing Frameworks
Testing FrameworksTesting Frameworks
Testing Frameworks
 
software Engineering process
software Engineering processsoftware Engineering process
software Engineering process
 
Software Testing Strategy
Software Testing StrategySoftware Testing Strategy
Software Testing Strategy
 
System models of sdlc- v model
System models of sdlc- v modelSystem models of sdlc- v model
System models of sdlc- v model
 
System Simulation and Modelling with types and Event Scheduling
System Simulation and Modelling with types and Event SchedulingSystem Simulation and Modelling with types and Event Scheduling
System Simulation and Modelling with types and Event Scheduling
 
Structured system analysis and design
Structured system analysis and design Structured system analysis and design
Structured system analysis and design
 
Robotics
RoboticsRobotics
Robotics
 
PROTOTYPE MODEL
PROTOTYPE MODELPROTOTYPE MODEL
PROTOTYPE MODEL
 
Modeling and Testing Dovetail in MagicDraw
Modeling and Testing Dovetail in MagicDrawModeling and Testing Dovetail in MagicDraw
Modeling and Testing Dovetail in MagicDraw
 
ppt2.pptx
ppt2.pptxppt2.pptx
ppt2.pptx
 
Analysis modeling & scenario based modeling
Analysis modeling &  scenario based modeling Analysis modeling &  scenario based modeling
Analysis modeling & scenario based modeling
 
Unlocking DataDriven Talent Intelligence Transforming TALENTX with Industry P...
Unlocking DataDriven Talent Intelligence Transforming TALENTX with Industry P...Unlocking DataDriven Talent Intelligence Transforming TALENTX with Industry P...
Unlocking DataDriven Talent Intelligence Transforming TALENTX with Industry P...
 

Mehr von raksharao

Unit 1-logic
Unit 1-logicUnit 1-logic
Unit 1-logicraksharao
 
Unit 1 rules of inference
Unit 1  rules of inferenceUnit 1  rules of inference
Unit 1 rules of inferenceraksharao
 
Unit 1 quantifiers
Unit 1  quantifiersUnit 1  quantifiers
Unit 1 quantifiersraksharao
 
Unit 1 introduction to proofs
Unit 1  introduction to proofsUnit 1  introduction to proofs
Unit 1 introduction to proofsraksharao
 
Unit 6 input modeling problems
Unit 6 input modeling problemsUnit 6 input modeling problems
Unit 6 input modeling problemsraksharao
 
Unit 6 input modeling
Unit 6 input modeling Unit 6 input modeling
Unit 6 input modeling raksharao
 
Unit 5 general principles, simulation software
Unit 5 general principles, simulation softwareUnit 5 general principles, simulation software
Unit 5 general principles, simulation softwareraksharao
 
Unit 5 general principles, simulation software problems
Unit 5  general principles, simulation software problemsUnit 5  general principles, simulation software problems
Unit 5 general principles, simulation software problemsraksharao
 
Unit 4 queuing models
Unit 4 queuing modelsUnit 4 queuing models
Unit 4 queuing modelsraksharao
 
Unit 4 queuing models problems
Unit 4 queuing models problemsUnit 4 queuing models problems
Unit 4 queuing models problemsraksharao
 
Unit 3 random number generation, random-variate generation
Unit 3 random number generation, random-variate generationUnit 3 random number generation, random-variate generation
Unit 3 random number generation, random-variate generationraksharao
 
Unit 1 introduction contd
Unit 1 introduction contdUnit 1 introduction contd
Unit 1 introduction contdraksharao
 
Unit 1 introduction
Unit 1 introductionUnit 1 introduction
Unit 1 introductionraksharao
 
Module1 part2
Module1 part2Module1 part2
Module1 part2raksharao
 
Module1 Mobile Computing Architecture
Module1 Mobile Computing ArchitectureModule1 Mobile Computing Architecture
Module1 Mobile Computing Architectureraksharao
 
java-Unit4 chap2- awt controls and layout managers of applet
java-Unit4 chap2- awt controls and layout managers of appletjava-Unit4 chap2- awt controls and layout managers of applet
java-Unit4 chap2- awt controls and layout managers of appletraksharao
 
java Unit4 chapter1 applets
java Unit4 chapter1 appletsjava Unit4 chapter1 applets
java Unit4 chapter1 appletsraksharao
 
Chap3 multi threaded programming
Chap3 multi threaded programmingChap3 multi threaded programming
Chap3 multi threaded programmingraksharao
 
Java-Unit 3- Chap2 exception handling
Java-Unit 3- Chap2 exception handlingJava-Unit 3- Chap2 exception handling
Java-Unit 3- Chap2 exception handlingraksharao
 
FIT-Unit3 chapter2- Computer Languages
FIT-Unit3 chapter2- Computer LanguagesFIT-Unit3 chapter2- Computer Languages
FIT-Unit3 chapter2- Computer Languagesraksharao
 

Mehr von raksharao (20)

Unit 1-logic
Unit 1-logicUnit 1-logic
Unit 1-logic
 
Unit 1 rules of inference
Unit 1  rules of inferenceUnit 1  rules of inference
Unit 1 rules of inference
 
Unit 1 quantifiers
Unit 1  quantifiersUnit 1  quantifiers
Unit 1 quantifiers
 
Unit 1 introduction to proofs
Unit 1  introduction to proofsUnit 1  introduction to proofs
Unit 1 introduction to proofs
 
Unit 6 input modeling problems
Unit 6 input modeling problemsUnit 6 input modeling problems
Unit 6 input modeling problems
 
Unit 6 input modeling
Unit 6 input modeling Unit 6 input modeling
Unit 6 input modeling
 
Unit 5 general principles, simulation software
Unit 5 general principles, simulation softwareUnit 5 general principles, simulation software
Unit 5 general principles, simulation software
 
Unit 5 general principles, simulation software problems
Unit 5  general principles, simulation software problemsUnit 5  general principles, simulation software problems
Unit 5 general principles, simulation software problems
 
Unit 4 queuing models
Unit 4 queuing modelsUnit 4 queuing models
Unit 4 queuing models
 
Unit 4 queuing models problems
Unit 4 queuing models problemsUnit 4 queuing models problems
Unit 4 queuing models problems
 
Unit 3 random number generation, random-variate generation
Unit 3 random number generation, random-variate generationUnit 3 random number generation, random-variate generation
Unit 3 random number generation, random-variate generation
 
Unit 1 introduction contd
Unit 1 introduction contdUnit 1 introduction contd
Unit 1 introduction contd
 
Unit 1 introduction
Unit 1 introductionUnit 1 introduction
Unit 1 introduction
 
Module1 part2
Module1 part2Module1 part2
Module1 part2
 
Module1 Mobile Computing Architecture
Module1 Mobile Computing ArchitectureModule1 Mobile Computing Architecture
Module1 Mobile Computing Architecture
 
java-Unit4 chap2- awt controls and layout managers of applet
java-Unit4 chap2- awt controls and layout managers of appletjava-Unit4 chap2- awt controls and layout managers of applet
java-Unit4 chap2- awt controls and layout managers of applet
 
java Unit4 chapter1 applets
java Unit4 chapter1 appletsjava Unit4 chapter1 applets
java Unit4 chapter1 applets
 
Chap3 multi threaded programming
Chap3 multi threaded programmingChap3 multi threaded programming
Chap3 multi threaded programming
 
Java-Unit 3- Chap2 exception handling
Java-Unit 3- Chap2 exception handlingJava-Unit 3- Chap2 exception handling
Java-Unit 3- Chap2 exception handling
 
FIT-Unit3 chapter2- Computer Languages
FIT-Unit3 chapter2- Computer LanguagesFIT-Unit3 chapter2- Computer Languages
FIT-Unit3 chapter2- Computer Languages
 

Kürzlich hochgeladen

Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfagholdier
 
Magic bus Group work1and 2 (Team 3).pptx
Magic bus Group work1and 2 (Team 3).pptxMagic bus Group work1and 2 (Team 3).pptx
Magic bus Group work1and 2 (Team 3).pptxdhanalakshmis0310
 
Application orientated numerical on hev.ppt
Application orientated numerical on hev.pptApplication orientated numerical on hev.ppt
Application orientated numerical on hev.pptRamjanShidvankar
 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSCeline George
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introductionMaksud Ahmed
 
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 17Celine George
 
Dyslexia AI Workshop for Slideshare.pptx
Dyslexia AI Workshop for Slideshare.pptxDyslexia AI Workshop for Slideshare.pptx
Dyslexia AI Workshop for Slideshare.pptxcallscotland1987
 
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 . pdfQucHHunhnh
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsTechSoup
 
SOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning PresentationSOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning Presentationcamerronhm
 
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.pdfNirmal Dwivedi
 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...Poonam Aher Patil
 
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...ZurliaSoop
 
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.christianmathematics
 
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...Nguyen Thanh Tu Collection
 
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 DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhikauryashika82
 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfAdmir Softic
 
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.pdfPoh-Sun Goh
 
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 ConsultingTechSoup
 

Kürzlich hochgeladen (20)

Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdf
 
Magic bus Group work1and 2 (Team 3).pptx
Magic bus Group work1and 2 (Team 3).pptxMagic bus Group work1and 2 (Team 3).pptx
Magic bus Group work1and 2 (Team 3).pptx
 
Application orientated numerical on hev.ppt
Application orientated numerical on hev.pptApplication orientated numerical on hev.ppt
Application orientated numerical on hev.ppt
 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POS
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
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
 
Dyslexia AI Workshop for Slideshare.pptx
Dyslexia AI Workshop for Slideshare.pptxDyslexia AI Workshop for Slideshare.pptx
Dyslexia AI Workshop for Slideshare.pptx
 
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
 
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
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 
SOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning PresentationSOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning Presentation
 
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
 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...
 
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
 
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.
 
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
 
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 DelhiRussian 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
 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.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
 
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
 

Unit 7 verification & validation

  • 2. CONTENTS • Model building , Verification and Validation • Verification of simulation models • Calibration and validation of models
  • 3. QUESTION BANK • What is verification of simulation model? List the suggestions given for verification of models • Describe the three step approach to validation by Naylor and finger • Explain validating input-output transformations with an example • With a flow diagram, explain the transitional relationship between the model building, verification and validation • What is the purpose of model verification? Explain how verification of models is done? • Distinguish between verification and validation
  • 4. INTRODUCTION • Most important and difficult tasks facing a model developer is the verification and validation of the simulation model • The goal of validation process : • To produce a model that represents true system behaviour closely enough for the model to be used as a substitute for the actual system for purpose of experimenting with the system • To increase the capability of the model to an acceptance level so that the model will be used by managers and other decision makers. • Validation is an integral part of model development.
  • 5. INTRODUCTION • Verification and validation process consists of the following components: • Verification is concerned with building the model correctly • Or concerned with building the model right. • The comparison of the conceptual model to the computer representation that implements that conception • Validation is concerned with building the correct model • concerned with building the right model • Confirms that a model is an accurate representation of the real system.
  • 7. MODEL BUILDING, VERIFICATION & VALIDATION • First step  observing the real system and interaction among its various components and of collecting data on their behaviour. • Second step  construction of conceptual model- a collection of assumptions about the components and the structure of system, hypothesis about the values of model input parameters. • Third step implementation of operational model, using simulation software by incorporating the assumptions of the conceptual model into the world view and concepts of the simulation software.
  • 8. VERIFICATION OF SIMULATION MODELS • Purpose of model verification is to assure that the conceptual model is reflected accurately in the operational model • Verification asks the following questions: • Is the conceptual model accurately represented by the operational model? • Many common-sense suggestions can be used in the verification process such as:
  • 9. VERIFICATION OF SIMULATION MODELS 1. Have the code checked by someone other than the programmer. 2. Make a flow diagram which includes each logically possible action a system can take when an event occurs, and follow the model logic for each action for each event type. 3. Closely examine the model output for reasonableness under a variety of settings of the input parameters. Have the code print out a wide variety of output statistics. 4. Have the computerized model print the input parameters at the end of the simulation, to be sure that these parameter values have not been changed inadvertently.
  • 10. VERIFICATION OF SIMULATION MODELS 5. Make the computer code as self-documenting as possible. Give a precise definition of every variable used, and a general description of the purpose of each major section of code. 6. If the operational model is animated, verify that what is seen in the animation imitates the actual system. 7. Graphical interfaces are recommended for accomplishing verification and validation
  • 11. VERIFICATION OF SIMULATION MODELS 8. The Interactive Run Controller (IRC) or debugger is essential component of successful simulation building. IRC does the following jobs: 1. Finds and corrects the errors made by analysts 2. The simulation can be monitored as it progresses 3. Attention can be focused on particular entity, line of code or procedure 4. Values of selected component can be observed 5. The simulation can be temporarily suspended or paused
  • 12. VERIFICATION OF SIMULATION MODELS • Two sets of statistics give a quick reasonableness are: • Current contents • Refers to number of items in each component of the system at a given time. • Total count • Refers to the total number of items that has entered each component of the system by a give time
  • 13. VERIFICATION OF SIMULATION MODELS • Most simulation software has a built in capability to conduct a trace without the programmer having to do any extensive programming • Some software's allow a selective trace • Eg • A trace could be set for specific location in the model or could be triggered to begin at specified simulation time. • Some simulation allows tracing a selected entity any time the designated entity is made active then the trace is activated. • To set the trace for the occurrence of particular condition like whether queue reaches a length of 5 turns on the trace.
  • 14. DOCUMENTATION • Important way to aid verification process is documentation phase • If model builder writes a brief comments in the operational model, plus definition of all variables and parameters plus description of each major section of the model, it becomes much simpler for another model builder to analyse or for the same model builder on later date, to verify the model logic. • Of the three class of techniques • The common sense technique • Traces • Through documentation • It is recommended that a modeler should carry out the first and third always.
  • 15. SOPHISTICATED TECHNIQUE FOR VERIFICATION IS USE OF “TRACE” • Trace is detailed computer printout which gets the value of every variable in a computer program every time that one of these variables change in value • Is designed specifically for use in a simulation program would give the value of selected variable each time the simulation clock was incremented • Simulation trace is nothing but detailed printout of the state of the simulation model as it changes over time
  • 16. CALIBRATION AND VALIDATION OF MODELS • They are different by usually conducted simultaneously by the modeler. • Validation is overall process of comparing the model and its behaviour to the real system and its behaviour. • Calibration is the iterative process of comparing the model to the real system, making adjustments to the model, comparing the revised model to reality, making additional adjustments , comparing again and so on. • The following figure shows the relationship of model calibration to overall validation process
  • 18. VARITY OF TESTS TO COMPARE THE MODEL TO REALITY • Subjective test: • involves people, who are knowledgeable about one or more aspects of the system, making judgements about the model and its output. • Objective test: • require data on the system’s behaviour, plus the corresponding data produced by the model. • Statistical tests: • performed to compare some aspects of system data set with aspect of the model data set. • If unacceptable discrepancies between the model & real system are discovered in the final validation effort, the modeler must return to calibration phase & modify until it becomes acceptable.
  • 19. NAYLOR AND FINGER – THREE STEP APPROACH • Step 1 : build a model that has high face validity • Step 2: validate model assumptions. • Step 3: compare the model input output transformations to corresponding input output transformations for the real system. • Next 5 sub sections explain these three steps
  • 20. NAYLOR AND FINGER – THREE STEP APPROACH • Face validity • Validations of model assumptions • Validating input-output transformations • Input-output validations: • using historical input data • Using a Turing test
  • 21. FACE VALIDITY • Goal of the modeler is to construct a model that appears reasonable on its face to model users and others who are knowledgeable about real system being simulated. • Potential users of the model should be involved in model construction from conceptualization stage to implementation stage so that there is high degree of realism . • Another advantage of having users involved is the increase in the model’s perceived validity or credibility , without which a manager would not be willing to trust simulation results as basis for decision making.
  • 22. FACE VALIDITY • Sensitivity analysis can be used to check model’s face validity  the model user is asked whether the model behaves in expected way when one or more input variable is changed. • The model builder must attempt to choose the most critical input variables for testing if its too expensive or time consuming to vary all input variables.
  • 23. VALIDATION OF MODEL ASSUMPTIONS • Two categories of model assumptions : structural assumptions and data assumptions • Structural assumptions • involve questions of how the system operates and usually involve simplifications and abstractions of reality • Eg. : customer queuing and service facility in a bank. • Customers can form one line or there can be an individual line for each teller • If there are many lines, customers could be served strictly on FIFO order or some customers change lines if one line is moving faster. • The number of tellers could be fixed or variable
  • 24. VALIDATION OF MODEL ASSUMPTIONS • Data assumptions • Is based on the collection of reliable data and correct statistical analysis of the data. • Eg. : • Interarrival times of customers during several 2 hour periods of peak loading • Interarrival times during a slack period • Service times for commercial accounts • Service times for personal accounts.
  • 25. VALIDATION OF MODEL ASSUMPTIONS • Whether done manually or special purpose software, the analysis consists of three steps 1. Identify an appropriate probability distribution 2. Estimate the parameters of hypothesized distribution 3. Validate the assumed statistical model by goodness of fit test such as chi-square or K-S test and by graphical methods.
  • 26. VALIDATING INPUT OUTPUT TRANSFORMATIONS • Ultimate test of the model • Model accepts the value of the input parameters and transforms these inputs into output measures of performance. • Instead of validating the model by predicting the future, the modeler could use historical data that have been reserved for validation process • The modeler should use the main responses of interest as the primary criteria for validating a model. • If the model is used later for a purpose different from its original purpose the model should be revalidated in terms of new responses of interest under new input conditions
  • 27. VALIDATING INPUT OUTPUT TRANSFORMATIONS • Eg. • In queuing system, the response may be server utilization and customer delay and input condition may be number of servers • In production system the response may be throughput & input condition may be machines that run at different speed
  • 28. VALIDATING INPUT OUTPUT TRANSFORMATIONS • If the proposed system is modification of the existing system , the modeler hopes that confidence in the model of the existing system can be transferred to the model of the new system • Minor changes of single numerical parameters such as the speed of a machine, the arrival rate of customers , the number of servers. • Minor changes of the form of a statistical distribution such as the distribution of a service time or a time to failure of a machine • Major changes in the logical structure of the subsystem, such as change in queue discipline, change in scheduling rule • Major changes involve a different design for the new system such as computerized inventory control system replacing non computerized system.
  • 29. INPUT-OUTPUT VALIDATION- USING HISTORICAL INPUT DATA • To conduct validation based on historical data, important point is that all the input data and all the system response data such as average delay should be collected during the same time period • If not taken on same time then , comparison of model responses to system responses could be misleading. • Implementation of this technique is difficult for a large system, because collecting all the data required simultaneously from all input variables & those responses variables of primary interest.
  • 30. INPUT OUTPUT VALIDATION : USING A TURING TEST • When no statistical test is readily applicable, persons knowledge about the system behaviour can be used to compare model output to system output. • 5 years reports of system performance over five different days are prepared, simulation output data are used to produce 5 fake reports • All 10 reports should be in the same format • They are randomly shuffled and given to engineer who is asked to decide which reports are fake and which is real.
  • 31. INPUT OUTPUT VALIDATION : USING A TURING TEST • If the engineer identifies a substantial number of fake reports, the model builder questions the engineer and uses the information gained to improve the model or else modeler will conclude that this test provides no evidence of model inadequacy. • This type of validation test is called Turing test • It is valuable tool in detecting model inadequacies and eventually , in increasing model creditability as the model is improved & rejected.
  • 32. END OF UNIT 7 Thank you 