tailieunhanh - Lecture Building reliable component-based systems - Chapter 14: Testing reusable software components in safety-critical real-time systems

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 .

• Kỹ thuật lập trình
• Reliable component base system
• Component software
• Software engineering
• Kỹ thuật phần mềm
• Testing reusable software components
• Safety critical real time systems
• Component composition
• Component integration
• Component based embedded systems
• Component technology
• Predicting system trustworthiness
• Predicting component interoperability
• Component interaction
• Software frameworks
• Software architecture
• Architecting component based systems
• Component based development process
• Software process models
• Semantic integrity
• Component based development
• Role based component engineering
• Role based components
• Multi criteria evaluation
• Component evaluation
• Koala interfaces
• Koala component model
• Dassault système component model
• Software components
• Specification of software components
• Product line architectures
• Component markets
• Real time systems
• Real time component models