Undetectable Error in Independent Dual Programming Validation

Slides:



Advertisements
Similar presentations
Statistics and Research methods Wiskunde voor HMI Bijeenkomst 5.
Advertisements

Set theory and Bayes’ Rule Sets and set operations Axioms of probability Probabilities of sets Bayes’ rule Chapter 2 of Haldar and Mahadevan’s Probability,
BA 275 Quantitative Business Methods
MetriCon 2.0 Correlating Automated Static Analysis Alert Density to Reported Vulnerabilities in Sendmail Michael Gegick, Laurie Williams North Carolina.
Measuring changes in energy behaviours in complex non-domestic buildings Paula Morgenstern UCL Energy Institute Supervision: Paul Ruyssevelt Rokia Raslan.
Data-driven visualization of drug interactions. Adverse Drug Events Almost 1 million deaths/injuries each year in the US [1] Some fraction of ADEs are.
Numbers
Threats to Conclusion Validity. Low statistical power Low statistical power Violated assumptions of statistical tests Violated assumptions of statistical.
Visualization of Clusters with a Density-Based Similarity Measure Rebecca Nugent Department of Statistics, Carnegie Mellon University June 9, 2007 Joint.
Syllabus for Engineering Statistics Probability: rules, cond. probability, independence Summarising and presenting data Discrete and continuous random.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Statistical inference.
Software Testing Testing Process. Agenda Determining the test methodology Planning the tests 2.
Massachusetts,
Identification of Misfit Item Using IRT Models Dr Muhammad Naveed Khalid.
Training Seminar on Implementation of Effective Quality Assurance Systems in Romanian Higher Education Institutions April 1-3, 2009 Sinaia Criteria for.
An Efficient Search Strategy for Block Motion Estimation Using Image Features Digital Video Processing 1 Term Project Feng Li Michael Su Xiaofeng Fan.
Experimental Design Experimental Designs An Overview.
The Cleanroom Approach to Quality Software Development
NASA / E&O Project Meeting April 23, 2013 George Cooper.
Medical Research: Validity, Bias, Confounds, Probability, P-value, and Power Kimberly Pendell.
Probability and Statistics Dr. Saeid Moloudzadeh Joint Distribution of Two Random Variables/ Independent Random Variables 1 Contents Descriptive.
A Systemic Psychotherapy Conference In Memory of Anthony Yeo, Father of Counselling in Singapore June 2010 Jointly organised by Counselling and Care.
How Science Works Precision How small a measurement is. Millimetres are more precise than centimetres because they are smaller.
Lec. 19 – Hypothesis Testing: The Null and Types of Error.
10-1 人生与责任 淮安工业园区实验学校 连芳芳 “ 自我介绍 ” “ 自我介绍 ” 儿童时期的我.
Probability and Statistics Dr. Saeid Moloudzadeh Poisson Random Variable 1 Contents Descriptive Statistics Axioms of Probability Combinatorial.
1 test10a Software Verification and Validation: An Overview Dolores Wallace and Roger Fujii IEEE Software May 89 text pp
1 Pharmacovigilance & the New National Adverse Drug Reaction (ADR) Reporting System Michael Bonett, Quality Assessor Post-Licensing Directorate Medicines.
Statistical Modelling
Introduction to Hypothesis Test – Part 2
Stat 223 Introduction to the Theory of Statistics
A Level Physics Delivery Guide.
Report Writing.
Lei Sun†, Badong Chen‡, Kar-Ann Toh⋆, Zhiping Lin+
Web Design And Development Company
Independent samples t-test for the difference between two means.
Yahoo Mail Customer Support Number
Most Effective Techniques to Park your Manual Transmission Car
How do Power Car Windows Ensure Occupants Safety
The Normal Distribution…
Samples or groups for comparison
Software Test Termination
Counting Statistics and Error Prediction
شركات المساهمة​ (corporations) Joint stock company
Probability & Statistics Probability Theory Mathematical Probability Models Event Relationships Distributions of Random Variables Continuous Random.
Independent samples t-test for the difference between two means.
Sensitivity of RNA‐seq.
Sampling Distribution
Sampling Distribution
Title Name Class.
THANK YOU!.
Author, Company and/or Logo Information
Author, Company and/or Logo Information
Thank you.
Thank you.
Additional notes on random variables
Department of Computer Science
Additional notes on random variables
Chapter 7: Introduction to Sampling Distributions
How Science Works Precision Science at Don Valley
Author, Company and/or Logo Information
Homeworks 1 PhD Course.
Counting Statistics and Error Prediction
Counting Statistics and Error Prediction
Guns Recovered by Boston Police Department.
Types of Errors And Error Analysis.
Mitochondria are uniformly distributed along the axon.
Data compilation and pre-validation
Fig. 4 The relationship between the total mean absolute momentum disturbance 〈∣p∣〉zB (in units of ℏ/D) and fringe visibility V. The relationship between.
Presentation transcript:

Undetectable Error in Independent Dual Programming Validation Long Zheng Data Science Institute, Takeda Pharmaceutical Company Limited in Boston, Massachusetts

Types of Errors Undetectable Error: Detectable Error: If two programmers make the same mistake in a unit process Detectable Error: If only one programmer makes a mistake in a unit process 2019 Joint Statistical Meetings of 9

Distribution of Undetectable Error Number of Undetectable errors follows the Poisson distribution with error rate 2019 Joint Statistical Meetings of 9

Distribution of Undetectable Error (4) 2019 Joint Statistical Meetings of 9

Distribution of Detectable Error Number of detectable errors follows the Poisson distribution with error rate 2019 Joint Statistical Meetings of 9

Using Detectable Errors to Estimate Undetectable Errors If mean of detectable error number is in validation, and , then where 2019 Joint Statistical Meetings of 9

Estimating Reliability of Results from Outsourcing Estimate total number of errors from outsourcing … 2019 Joint Statistical Meetings of 9

Acknowledgments I would like to thank Michael Hale, John Anthony and Xiao Li for their valuable feedback and support. 2019 Joint Statistical Meetings of 9

2019 Joint Statistical Meetings of 9