Chapter 14 - Testing reusable software components in safety-critical real-time systems. In this chapter, the following content will be discussed: Introduction; reuse and exhaustive testing; reuse and statistical evidence; component reuse, statistical evidence and failure behavior. | Chapter 14 Testing Reusable Software Components in Safety-Critical Real-Time Systems Page Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety-Critical Real-Time Systems Overview Introduction Reuse and Exhaustive Testing Reuse and Statistical Evidence Component Reuse, Statistical Evidence and Failure Behavior Page Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety-Critical Real-Time Systems Introduction How dynamic verification of real-time software relates to component reuse in safety-critical real-time systems. Re-testing cannot be eliminated in general. Ariane 5 Therac 25 Contract Pre-conditions Post-conditions Invariants Page Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety-Critical Real-Time Systems Reuse and Exhaustive Testing Provide evidence based on the component’s: Contracts, Experience accumulated, That a . | Chapter 14 Testing Reusable Software Components in Safety-Critical Real-Time Systems Page Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety-Critical Real-Time Systems Overview Introduction Reuse and Exhaustive Testing Reuse and Statistical Evidence Component Reuse, Statistical Evidence and Failure Behavior Page Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety-Critical Real-Time Systems Introduction How dynamic verification of real-time software relates to component reuse in safety-critical real-time systems. Re-testing cannot be eliminated in general. Ariane 5 Therac 25 Contract Pre-conditions Post-conditions Invariants Page Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety-Critical Real-Time Systems Reuse and Exhaustive Testing Provide evidence based on the component’s: Contracts, Experience accumulated, That a component can be reused immediately, That only parts can be reused or that it cannot be reused. Page Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety-Critical Real-Time Systems First Use Page Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety-Critical Real-Time Systems New Environment Page Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety-Critical Real-Time Systems Overlapping Input Domain Page Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety-Critical Real-Time Systems Pre- and Post-conditions Telephone A Pre-condition ( (0 £ input1 £ 1027) && (”G” £ input2 £ ”P”) ) // pre-condition statement 1; . . . statement n; Post-condition(345 £ output £ 640 ) // post-condition A component with Pre- and Post-conditions Page Building Reliable .