Model validity, testing and analysis. Conceptual and Philosophical Foundations Model Validity and Types of Models –Statistical Forecasting models (black.

Slides:



Advertisements
Similar presentations
Testing Relational Database
Advertisements

Test Yaodong Bi.
Chapter 12 Prototyping and Testing Design of Biomedical Devices and Systems By Paul H. King Richard C. Fries.
Model validity and quality: Concepts, methods and tools Yaman Barlas Boğaziçi University Industrial Engineering Department Bebek Istanbul, Turkey.
Regional Trajectories to the Knowledge Economy: A Dynamic Model IKINET-EURODITE Joint Conference Warsaw, May 2006.
Alternate Software Development Methodologies
The Modeling Process Esmaeil Khedmati Morasae Center for Community-Based Participatory Research in Health Tehran University of Medical Sciences Winter.
Introduction to assessment performance Mikko Pohjola, THL.
Decision Making: An Introduction 1. 2 Decision Making Decision Making is a process of choosing among two or more alternative courses of action for the.
Copyright © 2003 Software Quality Research Laboratory Software Production Essentials Seeing Past the Buzz Words.
Rational Unified Process
Software Quality Metrics
Copyright © 2006 Software Quality Research Laboratory DANSE Software Quality Assurance Tom Swain Software Quality Research Laboratory University of Tennessee.
Uncertainty analysis and Model Validation.
SE 555 – Software Requirements & Specifications Introduction
Introduction to Software Testing
[ §4 : 1 ] 4. Requirements Processes II Overview 4.1Fundamentals 4.2Elicitation 4.3Specification 4.4Verification 4.5Validation Software Requirements Specification.
Software Integration and Documenting
1 Software Testing (Part-II) Lecture Software Testing Software Testing is the process of finding the bugs in a software. It helps in Verifying and.
1 Yolanda Gil Information Sciences InstituteJanuary 10, 2010 Requirements for caBIG Infrastructure to Support Semantic Workflows Yolanda.
CompuCell Software Current capabilities and Research Plan Rajiv Chaturvedi Jesús A. Izaguirre With Patrick M. Virtue.
Systems Thinking and Systems Engineering Introduction to the course 22 January 2013 Francois Christophe Galina Medyna Eric Coatanéa.
Topics Covered: Software requirement specification(SRS) Software requirement specification(SRS) Authors of SRS Authors of SRS Need of SRS Need of SRS.
Chapter 2: Software Process Omar Meqdadi SE 2730 Lecture 2 Department of Computer Science and Software Engineering University of Wisconsin-Platteville.
Introduction to assessment performance Mikko Pohjola, THL.
SOFTWARE TESTING Scope of Testing  The dynamic Indian IT industry has always lured the brightest minds with challenging career.
Programming in Java Unit 3. Learning outcome:  LO2:Be able to design Java solutions  LO3:Be able to implement Java solutions Assessment criteria: 
Generic Approaches to Model Validation Presented at Growth Model User’s Group August 10, 2005 David K. Walters.
West Virginia University Towards Practical Software Reliability Assessment for IV&V Projects B. Cukic, E. Gunel, H. Singh, V. Cortellessa Department of.
Introduction to assessment performance Mikko Pohjola, THL.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 22 Slide 1 Software Verification, Validation and Testing.
J1879 Robustness Validation Hand Book A Joint SAE, ZVEI, JSAE, AEC Automotive Electronics Robustness Validation Plan The current qualification and verification.
ACS'08, November, Venice, ITALY Designing organic reaction simulation engine using qualitative reasoning approach Y.C. Alicia Tang Tenaga Nasional.
Software Engineering Prof. Ing. Ivo Vondrak, CSc. Dept. of Computer Science Technical University of Ostrava
Introduction to Software Engineering. Why SE? Software crisis manifested itself in several ways [1]: ◦ Project running over-time. ◦ Project running over-budget.
Software Testing and Quality Assurance Software Quality Assurance 1.
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
MODES-650 Advanced System Simulation Presented by Olgun Karademirci VERIFICATION AND VALIDATION OF SIMULATION MODELS.
Chapter 10 Verification and Validation of Simulation Models
Building Simulation Model In this lecture, we are interested in whether a simulation model is accurate representation of the real system. We are interested.
A Metrics Program. Advantages of Collecting Software Quality Metrics Objective assessments as to whether quality requirements are being met can be made.
Software Development Problem Analysis and Specification Design Implementation (Coding) Testing, Execution and Debugging Maintenance.
Toulouse, September 2003 Page 1 JOURNEE ALTARICA Airbus ESACS  ISAAC.
Lecture 13.  Failure mode: when team understands requirements but is unable to meet them.  To ensure that you are building the right system Continually.
Winter 2011SEG Chapter 11 Chapter 1 (Part 1) Review from previous courses Subject 1: The Software Development Process.
Smart Home Technologies
HNDIT23082 Lecture 09:Software Testing. Validations and Verification Validation and verification ( V & V ) is the name given to the checking and analysis.
February 19, February 19, 2016February 19, 2016February 19, 2016 Azusa, CA Sheldon X. Liang Ph. D. Software Engineering in CS at APU Azusa Pacific.
Winter 2007SEG2101 Chapter 121 Chapter 12 Verification and Validation.
Introduction to assessment performance Mikko Pohjola, THL.
ERP and Related Technologies
Lecturer: Eng. Mohamed Adam Isak PH.D Researcher in CS M.Sc. and B.Sc. of Information Technology Engineering, Lecturer in University of Somalia and Mogadishu.
Marketing Research.
Linux Standard Base Основной современный стандарт Linux, стандарт ISO/IEC с 2005 года Определяет состав и поведение основных системных библиотек.
SQA project process standards IEEE software engineering standards
SQA project process standards IEEE software engineering standards
What contribution can automated reasoning make to e-Science?
Chapter 6 Calibration and Application Process
Chapter 10 Verification and Validation of Simulation Models
Introduction to Software Testing
Lecture 09:Software Testing
J1879 Robustness Validation Hand Book A Joint SAE, ZVEI, JSAE, AEC Automotive Electronics Robustness Validation Plan Robustness Diagram Trends and Challenges.
Introduction To software engineering
Software Verification and Validation
Module Description: This course intends to introduce special topics of current trends in information technology. Topics covered in this course should be.
Software Verification and Validation
Georg Umgiesser and Natalja Čerkasova
Software Verification and Validation
CSE 1020:Software Development
Overview Activities from additional UP disciplines are needed to bring a system into being Implementation Testing Deployment Configuration and change management.
Presentation transcript:

Model validity, testing and analysis

Conceptual and Philosophical Foundations Model Validity and Types of Models –Statistical Forecasting models (black box) –Descriptive Policy models (transparent) Philosophical Aspects - Philosophy of Science - Logical Empiricim and Absolute Truth - Conversational justification & relative truth (‘purpose’) - Statistical significance testing (Barlas and Carpenter 1990 and Barlas 1996)

Two aspects of model validity Structure Validity –Primary importance –Special place in System Dynamics Behavior Validity –Role in system dynamics –The special type of behavior validity in system dynamics –Ex ante versus ex post prediction (Barlas 1996 and 1989)

Overall Nature and Selected Tests of Formal Model Validation

Logical Sequence of Formal Steps of Model Validation

Structure Validity (Simulation Verification) Direct Structure Tests –Crucial, yet highly qualitative and informal –Distributed through the entire modeling methodology Indirect Structure Tests (Structure-oriented behavior) –Crucial and partly quantitative and formal –Tool: SiS software

Indirect Structure Testing Software: SiS Based on automated dynamic pattern recognition Extreme condition pattern testing Also in parameter calibration and policy design (Kanar 1999; Kanar and Barlas 1999; Bog et al 2004)

Indirect Structure Testing Software (SiS) Basic Dynamic Patterns

Indirect Structure Testing Software (SiS) List of dynamic behavior pattern classes

Software Implementation Our Software (SiS) Main ISTS Algorithm Simulati on Software Integrator General Picture of the Processes in Validity Testing mode General Picture of the Processes in “Parameter Calibration” mode

Sample Model Used with SiS

Validity Testing with Default Parameters Simulation Output (with default base parameters) Likelihood Values of simulation behavior correctly classified as the GR2DB pattern

Validity Testing by Setting Parameters Fig1 : Simulation Output (with base parameters) Fig2 : Simulation Output (with changed parameters) Likelihood Values of simulation behavior in Fig2 compared to the NEXGR pattern

Parameter Calibration with Specified Pattern The ranges and number of values tried for each parameter Simulation Output (with base parameters)

Result of the Parameter Calibration  Best parameter set is 41  Best Likelihood Result: Best Parameter Set:  1. advertising effectiveness: 0.25  2. customer sales effectiveness: 6.0  3. sales size: 1.0 Simulation Output as Desired (after automated parameter calibration)

Parameter Calibration with Input Data A view of the SiS interface during parameter calibration

Result of the Parameter Calibration  Best parameter set is 21  Best Likelihood Result: Best Parameter Set:  1. advertising effectiveness: 5.0  2. customer sales effectiveness: 0.0 Fig1 : Simulation Output (with base parameters) Fig2 : Simulation Output (after parameter calibration to match the input pattern)

Behavior Validity Two types of patterns –Steady state –Transient Major pattern components –Trend, periods, amplitudes,...

Behavior Validity Testing Software: BTS II

Uses of BTS II and SiS in Model Analysis Analysis: Understanding the dynamic properties of the model BTS II can assist in quantifying, measuring and assessing dynamic pattern components SiS can assist in deeper structural analysis (related to qualitative pattern modes)

Uses of BTS II and SiS in Policy Design BTS II can assist in numerical performance improvement policies SiS can assist in more structural dynamic pattern improvement Parameter calibration can be extended to cover automated policy design

Implementation Issues More tools User friendliness More thorough (field) testing of the tools Better integration with simulation software...

Policy Implementation Issues Validity of the policy recommendation (Robustness, timing, duration, transition...) Finally, ‘validity of the implementation’ itself –Validated model means just a reliable laboratory; implementation validity does not automatically follow; it is a whole area in itself

Concluding Observations Validity as a process, rather than an outcome Continuous (prolonged) validity testing Validation, analysis and policy design all integrated From validity towards quality Quality ‘built-in versus inspected-in’ Group model building Testing by interactive gaming

Back to philosophy... A gradual, continuous, multi-method, qualitative and quantitative, formal and informal process of establishing confidence in a model. We should use any formal test/tool compatible with this philosophy, but never assume that tools themselves would be sufficient without proper philosophy

DISCUSSION

Reference Yaman Barlas Boğaziçi University Industrial Engineering Department Bebek Istanbul, Turkey SESDYN Group: