Softwaretechnik II, Vorlesung, WS 2016/17, 09.01.2017, 17
Ralf Reussner · 2017
17 | 0:00:00 Starten 0:00:04 Fault-Error-Failure Chain 0:03:46 Types of Faults 0:05:14 Architectural Pattern: Channel 0:06:04 Protected Single Channel 0:09:03 Homogeneous Redundancy (Switch to Backup) 0:13:00 Triple Modular Redundancy 0:17:40 Monitor-Actuator Pattern 0:18:25 Sanity Check Pattern 0:19:06 Watchdog Pattern 0:20:04 Safety Executive Pattern 0:22:29 Safety & Reliability Pattern Summary 0:24:17 Conclusion 0:25:01 Overview on Today's Lecture 0:26:02 Motivation: How Much Testing is Enough? 0:31:11 Dimensions of Dependability 0:32:23 Software Reliability 0:35:25 Availability Calculations 0:36:37 Software Reliability vs. Hardware Reliability 0:38:10 Software Reliability 0:41:42 Software Testing Overview 0:52:13 Calculating Reliability 0:53:47 Testing is Sampling 0:55:22 Statistical Testing 0:57:30 Simple Example 0:59:41 Expected Number of Failures 1:04:26 Sampling Reliability 1:06:02 Reliability Models 1:07:16 A Question of Trust 1:09:00 A Question of Trust II 1:09:11 Usage-Based Statistical Testing 1:11:25 Statistical Usage Model 1:15:42 What Can You Do With Usage Models? 1:17:35 Summary: Usage Models for Testing