Testing Software and Systems
23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
Erschienen am 2. November 2011
X, 226 Seiten
978-3-642-24580-0 (ISBN)
Beschreibung
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised full papers presented together with 2 invited talks were carefully selected from 40 submissions. The papers address the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures.
Weitere Details
Weitere Ausgaben
Andere Ausgaben
Burkhart Wolff | Fatiha Zaidi
Testing Software and Systems
23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
Buch
10/2011
1. Auflage
Springer
53,49 €
Versand in 7-9 Tagen
Inhalt
- Title
- Preface
- Organization
- Table of Contents
- Counting for Random Testing
- Introduction
- Some Preliminaries on Random Testing and Random Walks
- Improvements of Recursive Uniform Path Generation
- The Classical Recursive Method
- A Dichotomic Algorithm for the Uniform Random Generation of Paths
- Uniform Path Exploration in Very Large Composed Models
- Randomised Coverage of States, Transitions, and Other Features
- Uniformly Randomised LTL Model-Checking
- Conclusion
- References
- Formal Testing of Timed and Probabilistic Systems
- Introduction
- Outline of the Talk
- Other Work on Testing of Timed and Probabilistic Systems
- Future Work
- References
- Improved Usage Model for Web Application Reliability Testing
- Introduction
- Review Markov Usage Model
- Hybrid Tree-Like Markov Usage Model
- Building the Tree of Sequences
- Frequency-Pruned TS Model
- Hybrid Markov Usage Model
- Independence Testing and State Merging
- Experiment
- Conclusion and Future Work
- References
- Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests
- Introduction and Motivations
- Test Generation from UML/OCL Models
- Considered Subset of UML/OCL
- Running Example
- CertifyIt Test Selection Criterion
- Test Property Language
- A Temporal Extension to UML/OCL
- Syntax
- Semantics of the Test Property Language
- Substitution Automata
- Events and Labels
- Substitution
- Property Coverage Measure
- Automata Completion
- Performing the Measure
- Conclusion, Related and Future Works
- References
- Conformance Relations for Distributed Testing Based on CSP
- Introduction
- Preliminaries
- CSP
- Distributed Testing for IOTS
- Distributed Testing for CSP
- Cooperating Refinement
- Independent Refinement
- Distributed Testing and Traces Refinement
- Global Testing for Traces Refinement
- Local Distributed Testing
- Coordination Messages and Traces Refinement
- Conclusions
- References
- Praspel: A Specification Language for Contract-Based Testing in PHP
- Introduction
- Realistic Domains
- Features of Realistic Domains
- Realistic Domains in PHP
- PHP Realistic Annotation and Specification Language
- Assigning Realistic Domains to Data
- Array Description
- Designing Contracts in Praspel
- Automated Unit Test Generator
- Test Verdict Assignment Using Runtime Assertion Checking
- Random Test Data Generation
- Tool Support and Experimentation
- Related Works
- Conclusion and Future Works
- References
- Using Testing Techniques for Vulnerability Detection in C Programs
- Introduction
- Context and Motivations
- Contribution
- Related Work
- Vulnerability Modelling
- Definitions
- Some Examples
- Describing Vulnerabilities with Formal Vulnerability Detection Conditions
- VDC Editor
- Dynamic Code Analysis for Vulnerability Detection
- Basics: Passive Testing
- Using VDCs in TestInv-Code
- Experiment and Results
- XINE Application
- Xine Selected Vulnerability
- Vulnerability Modelling
- Application of TestInv-Code
- Analysis
- Conclusions and Future Work
- References
- Learning-Based Testing for Reactive Systems Using Term Rewriting Technology
- Introduction
- Related Work
- Mathematical Preliminaries and Notation
- Mealy Automata over Abstract Data Types
- Model Checking by Narrowing
- An LBT Architecture for Testing Reactive Systems
- A Case Study of LBT for Reactive Systems
- Results and Analysis
- Conclusions
- References
- Monitoring Dynamical Signals While Testing Timed Aspects of a System
- Introduction
- Monitoring Trajectories
- Modelling Pattern
- Architecture
- Application
- Conclusions
- References
- Model-Based Testing of Industrial Transformational Systems
- Introduction
- Problem Description
- Testing at Océ
- Modeling the Controller
- Dependencies
- Testing
- Diagnosis
- Implementing the Test Tool
- Test Case Generation
- Run Time
- Invalid Test Cases
- Status and Discussion
- Modeling a Livestock Stable Controller
- Conclusion
- References
- A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain
- Introduction
- Model Overview
- Benchmark Reference Tool
- MBT Benchmark Classification
- Test Generation Example
- Conclusion
- References
- Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs
- Introduction
- General Definitions
- Deriving Test Fragments
- State Preambles
- State Separators
- Traversal Sets
- FSM Tests
- Adaptive Testing
- Related Work
- Conclusion
- References
- Compositional Random Testing Using Extended Symbolic Transition Systems
- Introduction
- Extended Symbolic Transition System
- Semantics
- Simulation
- Composition
- Model Communication
- Conformance
- Application
- Related Work
- Conclusion
- References
- An Empirical Study on Applying Anomaly Detection Technique to Detecting Software and Communication Failures in Mobile Data Communication Services
- Introduction
- Overview of Mobile Data Communication System
- Methodology
- Principles of Anomaly Detection
- Anomaly Detection Tool
- Anomaly Detection Algorithm
- Applying Anomaly Detection Tool to Detecting Bugs
- Detection Examples of Software Failures
- How k for Threshold tm Is Determined
- How the Bug Is Detected Based on Reconnections
- Related Work
- Traffic Monitoring
- Probing
- Conclusion
- References
- Assessing Test Adequacy for Black-Box Systems without Specifications
- Introduction
- Background
- The Setting
- Testing with Inductive Inference
- Practical Problems in Establishing Test Adequacy
- Inductive Inference and Testing in a Probably Approximately Correct Setting
- The PAC Framework
- A PAC-Compatible Testing Framework
- Estimating Test Set Size
- Bounding Test Set Size with Version Spaces
- Bounding Test Set Size with the Vapnik-Chervonenkis Dimension
- Bounding Test Sets for SUTs That Are Finite State Machines
- Using the PAC Setting to Empirically Assess Test Sets
- The SUT, and the Choice of Test Generation and Model Inference Techniques
- Application of the PAC Framework
- Discussion
- Related Work
- Conclusions and Future Work
- References
- Author Index
