Linschulte, Michael: On the role of test sequence length, model refinement, and test coverage for reliability. 2013
Content
- Symbols and Notation
- I Preliminaries
- 1 Introduction
- 2 Related Work
- 2.1 State-based vs. Event-based Models
- 2.2 Test Adequacy and Test Sequence Length
- 2.3 Optimization
- 2.4 Model Refinement
- 2.5 Software Reliability
- 2.6 Component-based Software Reliability
- 3 Background
- II Layer-centric Testing and its Reliability Analysis
- 4 Approach
- 5 Selective Layer-centric Testing
- 6 Case Study I: Reliability Analysis Concerning Test Length & Model Refinement
- III Applying the Approach to Web Service Compositions
- 7 Extending the Approach
- 7.1 Background, Related Work and Running Example
- 7.2 Modeling Web Service Compositions
- 7.3 Testing Web Service Compositions
- 8 Case Study II: Reliability Analysis Concerning Test Length & Model Refinement
- IV Further Perspectives and Conclusions
- V Appendix