Testing of Communicating Systems XIV: Application to Internet Technologies and Services
Ina Schieferdecker, Hartmut König, Adam Wolisz
Springer Science & Business Media, Mar 31, 2002 - Technology & Engineering - 442 pages
Testing of Communicating Systems XIV presents the latest international results in both the theory and industrial practice of the testing of communicating systems, ranging from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing, Internet protocols and applications, and multimedia and distributed systems in general.
The topics covered in this volume include:
The conference program presents the state of the art in research concerning the testing of communicating systems. This is an important research area in the development of computer networks and distributed applications where much activity is currently in progress. The TestCom series of conferences is one of the main international forums where these important findings are reported.
Testing of Communicating Systems XIV is essential reading for engineers, designers, managers of IT products and services, and all researchers interested in advancing the technology of engineering Internet frameworks, systems, services, and applications for reliability and quality.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Testing of IP Services Applications in a Service Provider Environment
A TCP Test System Specifying only Exceptional Packet Sequences
Verifying IP Meters from Sampled Measurements
Testing IP Differentiated Services Implementations
Invited Talk I Abstract
Achieving High Reliability for Ubiquitous Information Technology
Testing Internet Systems
The Highway Tolling System
Adhoc Protocol Modelling Validation and Automated Test Suite Generation
Test Generation and Selection
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis
Test Selection Trace Distance and Heuristics
Formulation of the Interaction Test Coverage Problem as an Integer Program
Testing Distributed Systems
An Automated Flexible Testing Environment for UMTS
Testing Mobile Agents
Testing Access to External Information Sources in a Mediator Environment
Industrial Session I
Compliance of Wireless Application Protocols
A Flexible Traffic Generator for Testing PABX and Call Center Performance
Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle
Automated Generation of Interoperability Test
Applying Formal Methods in Mobile Protocol Testing
Industrial Session II
Experiences of TTCN3 Test Executor Development
Making TTCN3 testing a success Key issues for an efficient tool environment
Testing Automation with Computer Aided Test Case Generation
Principles of Distributed Test Synthesis based on Trueconcurrency Models
FaultDetection within a Component of a System of Communicating FSMs
Invited Talk II
HardwareSoftware Integration Testing for the new Airbus Aircraft Families
Test Generation for CEFSM Combining Specification and Fault Coverage
FSMbased ReTesting Methods
A New Approach To Checking Sequence Generation for Finite State Machines
Timed TTCN3 A RealTime Extension for TTCN3
Implementation of TTCN3 Test Systems using the TRI
A Definition and Utilisation of Omg IDL to TTCN3 Mapping
Partners of TestCom 2002
abstract agents algorithm application automated automatic behaviour Bluetooth CEFSM checking sequences communication communication protocols component FSM Computer conformance testing CORBA defined definition developed Diffserv EFSM evaluation example external input fault coverage Figure finite state machines formal function graph heuristic implementation input sequence integration interaction elements interface interoperability test language layer LGen Linux logfile mapping marked traces messages methods mobile modified transitions module mutant observation operations output faults PABX packet parameters platform problem protocol re-testing reachability real-time signal simulation software testing synchronization system under test TCP/IP test architecture Test Automation test components test configuration test coverage test derivation test environment test execution test purpose test scenario test sequences test suite test system tester tool TorX trace distance traffic TTCN TTCN-3 test UIO sequence UMTS validation values variables wrapper
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).