de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Linschulte, Michael: On the role of test sequence length, model refinement, and test coverage for reliability. 2013
Inhalt
Symbols and Notation
I Preliminaries
1 Introduction
1.1 Major Contributions of the Thesis
1.2 Outline
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
3.1 Modeling System Behavior
3.2 Testing System Behavior
3.3 Optimizing Test Generation
II Layer-centric Testing and its Reliability Analysis
4 Approach
4.1 Basic Idea
4.2 Covering Event Sequences of Higher Length
4.3 Reliability Analysis
5 Selective Layer-centric Testing
5.1 Basic Idea
5.2 Layer Selection Process
5.3 Test Generation Process
6 Case Study I: Reliability Analysis Concerning Test Length & Model Refinement
6.1 System Under Consideration, Test Setup and Goals of the Experiment
6.2 Test Execution and Tool Support
6.3 Results and Their Analysis for Identifying the Critical Sub-Layers
6.4 Limitations and Threats to Validity
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
8.1 System Under Consideration, Test Setup and Goals of the Experiment
8.2 Test Execution and Tool Support
8.3 Results and Their Analysis for Identifying the Critical Sub-Layers
8.4 Limitations and Threats to Validity
IV Further Perspectives and Conclusions
9 Further Perspectives
9.1 Correcting Numerical Input Faults and a Case Study
9.2 Positive and Negative Testing Revisited
10 Conclusions
Bibliography
V Appendix
A Algorithms
A.1 Layer-centric Testing
A.2 Model Transformation
A.3 WSC Testing
B Supplementary Material Case Study I
C Supplementary Material Case Study II
C.1 xTripHandling Description
C.2 Data
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.