This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.
Author(s): Manuel Nunez, Paul Baker, Mercedes G. Merayo
Edition: 1
Year: 2009
Language: English
Pages: 247
front-matter......Page 1
Introduction......Page 10
Motivation and Related Works......Page 11
Modeling the System and Its Environment......Page 12
Labeled Prioritized Time Petri Nets......Page 13
Tina (TIme Petri Net Analyzer)......Page 16
Deterministic, Input Enabled and Output Urgent LPrTPN......Page 17
From Diagnostic Traces to Test Cases......Page 19
Single Purpose Test Generation......Page 20
Test Suite Generation......Page 21
References......Page 22
Introduction......Page 25
Running Example......Page 27
From BPEL to STS......Page 28
Symbolic Execution......Page 31
Test Case Realisation and Testing Architecture......Page 34
Online Testing Algorithm......Page 35
Tool Support and Application......Page 36
Discussion......Page 37
Related Work......Page 38
Conclusion and Perspectives......Page 39
Introduction......Page 42
Petri Nets......Page 43
Assumptions about the Specification, Implementation and Testing Environment......Page 44
Fault Model......Page 45
Using the Testing Techniques for Finite State Machines......Page 47
Using Techniques Specific to Petri Nets......Page 49
Testing for Missing Flow Faults......Page 51
Testing for Additional Input Flow Faults......Page 53
Testing for Additional Output Flow Faults......Page 55
References......Page 56
Introduction......Page 58
The Distributed Testing Problem......Page 59
Posets......Page 60
Messages, Events, and MSCs......Page 61
Causal Order, Enforceable Order, and Races of MSCs with Null Events......Page 62
Test Scenario, Specification, and Implementation......Page 63
Soundness......Page 65
Generating Sound Test Implementations......Page 66
Detectable and Undetectable Faults......Page 68
Increasing Fault Detection Power of Test Implementations......Page 70
Conclusions......Page 73
References......Page 74
Introduction......Page 75
Preliminaries......Page 77
On Test Derivation for Integer Time Instances......Page 81
Test Derivation for TFSMs with Integer Time Instances When $m = n$......Page 82
Test Derivation for TFSMs with Integer Instances When $m > n$......Page 85
Test Derivation for TFSM with Rational Time Instances......Page 86
Conclusion and Future Work......Page 88
References......Page 89
Introduction......Page 90
Erlang......Page 91
Structural Testing of Erlang Implementations......Page 92
Notations......Page 93
Function Transformation......Page 94
Functional Binary Tree......Page 96
Test Generation......Page 97
Improving Test Controllability and Observability......Page 99
System Infrastructure......Page 100
Erlang Implementation......Page 101
Test Design......Page 103
Conclusions and Future Work......Page 104
Introduction......Page 106
Motivation......Page 107
Solution......Page 110
Benchmarks......Page 116
Related Work......Page 119
Conclusion......Page 120
Introduction......Page 122
Models and Notations......Page 124
Security Properties......Page 125
Confidentiality Property......Page 126
Access Control Synthesis......Page 128
Automatic Test Generation for Security Policies......Page 131
Computation of the Canonical Tester......Page 133
Test Selection......Page 135
Conclusion......Page 136
Introduction......Page 138
Definitions......Page 139
Problem Statement and Existing Methods......Page 141
Test Properties......Page 144
Test Generation Method......Page 148
Example......Page 150
Experimental Results......Page 152
Conclusions......Page 153
References......Page 154
Introduction......Page 155
A Simple Example......Page 156
Related Work......Page 159
Preliminaries......Page 160
Analyzing Interaction among Transitions......Page 161
Selecting Fully-Observable Tests......Page 163
Identifying Fully-Observable Tests......Page 164
Selecting Tests......Page 166
Preliminary Experiments......Page 168
Conclusion and Future Work......Page 170
Introduction......Page 172
Related Work......Page 173
An Overview of MBBMS Architecture......Page 174
Test Architecture......Page 175
Design of TTCN-3 Test Suite......Page 176
HMSC Model of MBBMS and Test Suite Organization......Page 177
XML Test Data Representation and Generation......Page 179
MBBMS Security Architecture......Page 181
Testing Method of MBBMS Security Mechanism......Page 183
Conclusions......Page 184
References......Page 185
Introduction......Page 188
MCM Modeling......Page 189
Transformation......Page 191
Test Generation......Page 192
MCM Syntax......Page 193
Translating MCM to Event-B......Page 195
Test Generation......Page 198
Conclusion......Page 201
References......Page 202
Introduction......Page 204
Test Suite Model......Page 205
Response Inconsistencies......Page 207
Partial Stimuli Equivalent Test Case Pairs......Page 211
Response Inconsistency Analysis with Different Response Orders......Page 212
Response Inconsistency Analysis in Concurrent Test Cases......Page 215
Conclusion......Page 218
Introduction......Page 220
Model Programs......Page 221
Test Setup......Page 222
Running the Tests......Page 223
Results......Page 224
Conclusions......Page 225
Introduction......Page 226
The Context: Test Architecture......Page 227
Our Approach of Conformance Testing for WSC......Page 229
Type Structure Graph (TSG)......Page 232
Template Join......Page 233
Algorithm......Page 234
Subgraph Template Generation......Page 235
Template Framework Generation......Page 236
Conclusion......Page 237
Introduction......Page 238
Data-Flow Testing and Fault-Tolerant Programs......Page 239
OConGraX – Test Cases for the Normal and Exceptional Behaviors......Page 240
Concluding Remarks......Page 242
References......Page 243
Introduction......Page 244
Using Test Cases as Entry Points......Page 245
Efficient Tracing during Test Execution......Page 246
Related Work......Page 247
Summary and Outlook......Page 248
Motivation......Page 250
Importation Data Analyzed by Projects......Page 251
Is It Scale-Free?......Page 253
Conclusions......Page 254
back-matter......Page 256
