Testing Software and Systems

Name: Testing Software and Systems | 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Khaled El-Fakih Gerassimos Barlas Nina Yevtushenko(Editor)

Springer (Publisher)

Published on 7. November 2015

XIV, 269 pages

E-Book

PDF with digital watermarking

System requirements

978-3-319-25945-1 (ISBN)

€53.49incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Content

Intro
Preface
Organization
Invited Talks (Abstracts)
Testing Software Systems - A Perspective
Formal Modeling and Testing for Designing Future IoT Based Systems
Contents
Model Based Testing
Checking Experiments for Finite State Machines with Symbolic Inputs
Abstract
1 Introduction
2 Definitions and Notations
2.1 Preliminaries
2.2 Symbolic Input FSM
3 Relations Between SIFSMs
4 Symbolic and Concrete Checking Experiments
5 Conclusions
Acknowledgements
References
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation
1 Introduction
2 Preliminaries
3 An Illustration of the Approach
3.1 A Motivational Example
3.2 Challenges When Using Multiple ADSs
4 A Sufficient Condition for Checking Sequences Using Multiple ADS
5 Experimental Study
5.1 Checking Sequence Generation
5.2 Selecting a Subset of ADSs
5.3 Generating a Set of ADSs
5.4 Random FSM Generation
5.5 Experimental Results
6 Concluding Remarks
References
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts
1 Introduction
2 Preliminaries
3 Programs and Contracts
4 IOSTS
5 Symbolic Execution and Path Feasibility Condition
6 Testing
6.1 Model-Based Testing of IOSTS with Program Calls and Contracts
6.2 Contracts Inference
7 Related Work
8 Conclusion
References
Test Derivation Methods
Graph Methods for Generating Test Cases with Universal and Existential Constraints
1 Introduction
2 -way Covering
2.1 Formalization
2.2 A Case for -way Covering
3 Reduction to Graph Colouring
3.1 Construction
3.2 Complexity Results
3.3 Heuristics for Graph Colouring
4 Reduction to Hypergraph Vertex Cover
4.1 Construction
4.2 Complexity Results
5 Experimental Results
6 Related Work
7 Conclusion
References
Reducing the Cost of Grammar-Based Testing Using Pattern Coverage
1 Introduction
2 Background
2.1 Grammar-Based Testing
2.2 Pattern Matching Mechanism
3 Testing Meta Programs Using Pattern Coverage
3.1 A Pattern-Based Coverage Criterion
3.2 A Simple Algorithm to Generate Pattern Covering Test Sets
4 Evaluation
4.1 Evaluation Method
4.2 Results for Pico Cyclomatic Complexity
4.3 Results for Java Cyclomatic Complexity
4.4 Discussion and Threats to Validity
5 Related Work
6 Conclusions and Future Work
References
Automated Test Design for Boundaries of Product Line Variants
1 Introduction
2 Preliminaries
2.1 Automated Test Design
2.2 Model-Based Product-Line Engineering
2.3 Automated Test Design for Product Lines
3 Testing Boundaries of Products
3.1 Boundary Transitions
3.2 Turning Open Boundaries into Test Goals
4 Examples and Evaluation
4.1 Mutation System for PLs
4.2 Examples
4.3 Setup
4.4 Results
5 Related Work
6 Conclusions, Discussion and Future Work
References
Monitoring and Fault Localization
Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP
1 Introduction
2 Basics
2.1 Message and Trace
2.2 Datamon
2.3 Prop-tester
3 Experiments
3.1 Description of the Tools
3.2 Architecture of SIP
3.3 Properties
4 Discussions and Testers' Guidance
5 Related Work
6 Conclusion and Perspectives
References
Testing for Distinguishing Repair Candidates in Spreadsheets -- the Mussco Approach
1 Introduction
2 Basic Definitions
3 Constraint Satisfaction Problem
4 Mutation Creation
5 Computing Distinguishing Test Cases
6 Empirical Evaluation
7 Related Work
8 Conclusions
References
Novel Insights on Cross Project Fault Prediction Applied to Automotive Software
1 Introduction
2 Related Work
2.1 Industrial Fault Prediction
2.2 Cross-Project Fault Prediction
3 Defect Prediction Case Study
3.1 Evaluation Criteria
3.2 Data Description
3.3 Defect Prediction Models
3.4 Prediction Performance
3.5 Hypotheses Evaluation
4 Causes for the Obtained Prediction Performance
4.1 Correlation Analysis
4.2 Information Gain
4.3 Visual Analysis
4.4 Hypothesis Evaluation
5 Threats to Validity
6 Conclusion and Outlook
References
Model and System Testing
Inferring Finite State Machines Without Reset Using State Identification Sequences
Abstract
1 Introduction
2 Definitions
2.1 Basic Definitions
2.2 Definitions for the Inference Method
3 Inference Procedure
4 Localizer Procedure
5 Example of FSM Inference
6 Proofs and Complexity
6.1 Proof of Localizer
6.2 Proof of the Method
6.3 Complexity
7 Discussion
8 Conclusion
Acknowledgments
References
mu2: A Refactoring-Based Mutation Testing Framework for Erlang
1 Introduction
2 Background
2.1 Erlang
2.2 Mutation Testing
3 The mu2 Framework
4 Operator Definitions
5 Evaluation
5.1 Research Questions
5.2 Evaluation Results
5.3 Developer Feedback
5.4 Evaluation Conclusions
6 Conclusions
References
A Survey on Testing for Cyber Physical System
1 Introduction
2 Related Work
3 CPS Testing
3.1 Levels of CPS Testing
3.2 Comparison of Testing Levels of CPS with the Traditional V-Model
4 State-of-the-Art Survey
4.1 Hardware Testing
4.2 Structural and Computation Testing
4.3 EFP Testing
4.4 Network Testing
4.5 Integration Testing
4.6 System Testing
5 Challenges in Testing the CPS
6 Discussion and Conclusion
References
Real-Time Systems
Test-Data Generation for Testing Parallel Real-Time Systems
1 Introduction
2 Methodology
3 Proposed Test-Data Generation Technique
3.1 Define the Initial Population
3.2 End-to-End Time Calculation
3.3 Applying Genetic Algorithm
4 Experimentation
4.1 Experimental Setup
4.2 Experimental Results
5 Evaluation
6 Related Work and Discussion
7 Conclusion
References
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations
1 Introduction
2 Background
2.1 Testing Evolvable Systems
2.2 Formal Modeling Using UPPAAL
2.3 Automata Observer for Specifying Coverage Criteria
3 Selective Test Generation Approach
3.1 Model Differencing Module
3.2 Old Test Suite Classification Module
3.3 Test Generation Module
4 Application to the Toast Case Study
4.1 Toast Description
4.2 Dynamic Toast Evolution
4.3 Selective Test Generation with TestGenApp
5 Related Work
6 Conclusion
References
Short Papers
Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines
Abstract
1 Introduction
2 Preliminaries
3 Nondeterministic FSMs with a Deterministic Adaptive DS
4 Minimizing Adaptive HS for Nondeterministic FSMs
5 Conclusion
Acknowledgments
References
Genetic Algorithm Application for Enhancing State-Sensitivity Partitioning
Abstract
1 Introduction
2 State-Sensitivity Partitioning (SSP)
2.1 Example
3 Genetic Algorithm (GA)
4 Fitness Function Application in SSP
4.1 Test Cases States Minimization (TCSM)
4.2 Test Suites States Minimization (TSSM)
5 Case Study
6 Conclusion
References
A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing
1 Introduction
2 Related Work
3 Negative Input Space Complexity
4 Using the Metric as Selection Criterion for Fuzz Testing
5 Examples from the MIDAS Project
6 Outlook
References
A Practical Evaluation Method of Network Traffic Load for Capacity Planning
Abstract
1 Introduction
2 Proposed Method
3 Simulation Result and Discussion
4 Conclusion
References
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Testing Software and Systems

Description

More details

Other editions

Additional editions

Content

System requirements