Testing of Communicating Systems XIV (Google eBook)

Front Cover
Springer Science & Business Media
0 Reviews
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Testing of IP Services Applications in a Service Provider Environment
17
Testing TCPIP
19
A TCP Test System Specifying only Exceptional Packet Sequences
21
Verifying IP Meters from Sampled Measurements
39
Testing IP Differentiated Services Implementations
55
Invited Talk I Abstract
73
Achieving High Reliability for Ubiquitous Information Technology
75
Testing Internet Systems
77
Test Automation
217
The Highway Tolling System
219
Adhoc Protocol Modelling Validation and Automated Test Suite Generation
235
Test Generation and Selection
247
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis
249
Test Selection Trace Distance and Heuristics
267
Formulation of the Interaction Test Coverage Problem as an Integer Program
283
Testing Distributed Systems
299

An Automated Flexible Testing Environment for UMTS
79
Testing Mobile Agents
95
Testing Access to External Information Sources in a Mediator Environment
111
Industrial Session I
127
Compliance of Wireless Application Protocols
129
A Flexible Traffic Generator for Testing PABX and Call Center Performance
139
Interoperability Testing
149
Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle
151
Automated Generation of Interoperability Test
169
Abstract
185
Applying Formal Methods in Mobile Protocol Testing
187
Industrial Session II
189
Experiences of TTCN3 Test Executor Development
191
Making TTCN3 testing a success Key issues for an efficient tool environment
201
Testing Automation with Computer Aided Test Case Generation
209
Principles of Distributed Test Synthesis based on Trueconcurrency Models
301
FaultDetection within a Component of a System of Communicating FSMs
317
Invited Talk II
333
HardwareSoftware Integration Testing for the new Airbus Aircraft Families
335
FSMbased Testing
353
Test Generation for CEFSM Combining Specification and Fault Coverage
355
FSMbased ReTesting Methods
373
A New Approach To Checking Sequence Generation for Finite State Machines
391
TTCN3
405
Timed TTCN3 A RealTime Extension for TTCN3
407
Implementation of TTCN3 Test Systems using the TRI
425
A Definition and Utilisation of Omg IDL to TTCN3 Mapping
443
Author Index
459
Partners of TestCom 2002
461
Copyright

Common terms and phrases

Popular passages

Page ii - IFIP's aim is two-fold: to support information processing within its member countries and to encourage technology transfer to developing nations. As its mission statement clearly states, IF IP's mission is to be the leading, truly international, apolitical organization which encourages and assists in the development, exploitation and application of information technology for the benefit of all people. IFIP is a non-profitmaking organization, run almost solely by 2500 volunteers.
Page ii - IFIP's events range from an international congress to local seminars, but the most important are: • the IFIP World Computer Congress, held every second year; • open conferences; • working conferences. The flagship event is the IFIP World Computer Congress, at which both invited and contributed papers are presented. Contributed papers are rigorously refereed and the rejection rate is high. As with the Congress, participation in the open conferences is open to all and papers may be invited or...
Page ii - IFIP was founded in 1960 under the auspices of UNESCO, following the First World Computer Congress held in Paris the previous year. An umbrella organization for societies working in information processing...
Page ix - The 14 previous meetings were held in Vancouver, Canada (1988), Berlin, Germany (1989), McLean, USA (1990), Leidschendam, The Netherlands (1991), Montreal, Canada (1992), Pau, France (1993), Tokyo, Japan (1994), Evry, France (1995), Darmstadt, Germany (1996), Cheju Island, Korea (1997), Tomsk, Russia (1998), Budapest, Hungary (1999), Ottawa, Canada (2000), and Berlin, Germany (2002).
Page 441 - Information Technology - Open Systems Interconnection Conformance Testing Methodology and Framework - Part 1 : General Concept - part 2 : Abstract Test Suite Specification - part 3 : The Tree and Tabular Combined Notation (TTCN).
Page 389 - M. Yannakakis and D. Lee, Testing finite state machines: fault detection, Journal of Computer and System Sciences, 50, 1995, pp.

Bibliographic information