Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings (Lecture Notes in Computer Science (2644))

This volume contains the proceedings of TestCom 2003, the IFIP TC6/WG 6.1 International Conference on Testing of Communicating Systems, held in Sophia Antipolis, France, during May 26-28, 2003. TestCom denotes a series of int- national working conferences on testing communicating systems in the data and telecommunication domain. The conference provides a forum for researchers, vendors and users to review, discuss and learn about new approaches, concepts andexperiencesinthe?eldoftestingofcommunicatingsystems.Thisconference in particular focuses on new ways of testing for new-generation networks. TestCom2003isthe?fteenthinaseriesofannualmeetingssponsoredbyIFIP TC6/WG6.1.The14previousmeetingswereheldinVancouver, 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). The scope of the papers presented at TestCom 2003 covers interoperability testing, TTCN-3, automata-based testing, testing of next-generation networks, IPandUMTS, testsystemsandtools, testspeci?cationdesignandmethodology, and industrial experience in testing communication systems. TheTestCom2003programconsistedof6technicalsessions,3positionsta- ment sessions, and a special session on interoperability testing. Three invited speeches gave an overview on actual trends in the testing and telecommuni- tion area and formulated requirements to the testing process. The proceedings contain the 19 regular papers accepted and presented at the conference. They were selected from 53 submitted papers in a careful selection procedure based on the assessment of three referees for each paper. The p- ceedings also include the text of the invited talk by Elaine Weyuker, Philippe Cousin, and Ana Cavalli. Cover Testing of Communicating SystemsTesting of Communicating Systems Preface Conference Committees Table of Contents Prediction = Power 1 Introduction 2 Architecture Reviews 3 Fault-Proneness 4 Regression Testing 5 Scalability 6 Risk 7 Conclusions References UMTS Terminal Testing: A Practical Perspective 1 Introduction 2 Mobile Station Testing / Logical View 3 GSM/GPRS Test Environment 4 The 3GPP Test Model 5 UMTS/GSM/GPRS Virtual Test Environment 6 Future Work 7 Summary References Testing of 3G 1xEV-DV Stack - A Case Study 1 Introduction 2 Outlining the Challenge 3 The Role of Formalism 4 Testing a 3G 1xEV-DV Stack 5 Usage of Testing Tools 6 Conclusion References Testing SIP Call Flows Using XML Protocol Templates 1 Introduction 2 Testing the SIP Protocol 2.1 Testing at the Message Layer 2.2 Testing at the Transaction Layer 2.3 Testing at the Dialog Layer 2.4 Call Flow Testing 3 SIP Testing with Protocol Templates 4 Protocol Template Programming Model 5 Implementation 5.1 Visualizing the Trace 6 Field Experience 6.1 Related Work 7 Conclusions and Future Work References Towards Modeling and Testing of IP Routing Protocols 1 Introduction 2 The MP-FSM Model 3 The PADTACC Test Architecture 4 The RIPTS Test Notation 4.1 Requirements on Test Notation 4.2 The RIPTS Notation 4.3 Structure of a Test Step 5 IRIT – IP Routing Information Tester 6 Example Test Cases 7 Summary References An Intuitive TTCN-3 Data Presentation Format 1 Introduction 2 Simple Type and Value 2.1 Simple Type Specification 2.2 Simple Type Attributes 3 Structured Type and Value 3.1 Element Type List 4 Structured Type Constructions 4.1 Record Type and Value 4.2 Union Type and Value 4.3 Set Type and Value 4.4 Optional Elements in Structured Types 4.5 Record and Set of Types 5 Embedded Type Definitions 6 Recursive Definition 7 Signature Declaration 8 Template Definition 9 Component and Port Type Definitions 10 Conclusion References The UML 2.0 Testing Profile and Its Relation to TTCN-3 1 Introduction 2 Different Approaches on Testing with UML 3 The UML2.0 Testing Profile 3.1 Test Architecture 3.2 Test Data 3.3 Test Behavior 4 The Relation to TTCN-3 5 Outlook References Realizing Distributed TTCN-3 Test Systems with TCI 1 Introduction 2 Overview of the TTCN-3 Control Interfaces 2.1 The Abstract Data Type Model 2.2 The Test Management Interface 2.3 The Component Handling Interface 2.4 The Codec Interface 2.5 A Selected Use Case 3 A Distributed TTCN-3 Test System Example 3.1 A TTCN-3 ATS Example 3.2 Application of the TCI Operations 4 Conclusions References T911IMED TTCN-3 Based Graphical Real-Time Test Specification 1 Introduction 2 Foundations 2.1 Test Purpose Definition and Test Behaviour Visualization 2.2 {\emph TIMED}TTCN-3 2.3 Time Constructs in MSC 3 Generating {\emph TIMED}TTCN-3 from MSC Test Purposes 3.1 Specification of MSC Real-Time Test Purposes 3.2 Transformation of Functional Concepts from MSC to TTCN-3 3.3 Transforming MSC Real-Time Constructs to {\emph TIMED}TTCN-3 4 {\emph TIMED}TTCN-3 4.1 Timezones 4.2 Absolute Time 4.3 Logging Mechanism 4.4 Testrun and Logfile Handling 4.5 Verdict Handling 4.6 Evaluation Functions 5 Outlook References Interoperabolity Events Complementing Conformance Testing Activities Testing Transition Systems 1 Introduction 2 Preliminaries 3 Framework for Queued-Quiescence Testing 4 Deriving Queued-Quiescence Test Cases 5 Queued-Suspension Testing 6 Conclusion References Generating Checking Sequences for a Distributed Test Architecture 1 Introduction 2 Preliminaries 2.1 FSM and Its Graphical Representation 2.2 Controllability (Synchronization) Problem 2.3 Observability Problem 3 The Proposed Method 3.1 Identifying Controllability and Observability Problems 3.2 Construction of Test Segments 3.3 Selection of Preambles 3.4 Generating the Checking Sequence 4 Concluding Remarks References Conformance of Distributed Systems 1 Introduction 2 Modelling of Distributed Systems 3 Conformance of Extended Petri Nets 4 Conformance in Distributed and Sequential Models 5 Model Checking and Distributed Test Generation 6 Conclusion and Further Work References An Automata-Based Approach to Property Testing in Event Traces 1 Introduction 2 Event Traces 3 Modeling Event Traces Using Automata 3.1 Ideal Lattice Automaton 3.2 Composition of Automata 3.3 Isomorphism 4 Using SDL Tools in Trace Analysis 4.1 Event Trace Extraction 4.2 Choosing a Model Checker 4.3 Workflow of the Approach Using SDL and OG 4.3.1 The System Specification Tool 4.3.2 Pattern Specification 5 Case Study 6 Conclusion References Fault Diagnosis in Extended Finite State Machines 1 Introduction 2 Preliminaries 2.1 The EFSM Model 2.2 Unfolding a Given EFSM to an Equivalent FSM and a Fault Model for EFSMs 3 Fault Diagnosis for EFSMs 3.1 An Overview of the Diagnostic Approach 3.2 {\it FF-Transfer, FF-Predicate}, and {\it FF-Assignment} and Their Properties 4 Removing Sub-machines from a Given Fault Function 5 Other Steps of the Diagnostic Method 6 Conclusions References A Guided Method for Testing Timed Input Output Automata 1 Introduction 2 Backgrounds 3 Test Cases Generation 3.1 Construction of a Synchronous Product 3.2 Sampling the Regions Graph of the Synchronous Product 3.3 Traversal of the Sub-automaton 4 Conclusion and Discussion References Interoperability Testing Based on a Fault Model for a System of Communicating FSMs 1 Introduction 2 Related Work and Motivation 3 Preliminaries 3.1 Finite State Machine 3.2 System of Communicating Finite State Machines 4 Fault Model for Interoperability Testing 5 Interoperability Test Suite Derivation 5.1 Test Architecture 5.2 Sketch of a Proposed Method 5.3 Fault Coverage Analysis 5.4 Extension of the Test Suite 6 Application to TCP 7 Conclusion References Appendix: The FSM of Simplified TCP Framework and Model for Automated Interoperability Test and Its Application to ROHC 1 Introduction 2 Related Work 3 Overview of ROHC 4 Conformance Test of ROHC 4.1 Compressor Tests 4.2 Decompressor Tests 5 Model for Automated Interoperability Test 5.1 Modifications to ROHC 6 Advantages and Disadvantages of MAIT 6.1 Test Execution 6.2 The Role of Testing in Protocol Design 6.3 Implementation Dependency and Reuse of Tests 7 Conclusion References TestNet: Let's Test Together! 1 Rationale 2 Objectives of TestNet 3 Approach and Planned Activities 3.1 Creation of Working Groups 3.2 Actions 3.3 Scientific Committee 3.4 Co-ordination Activities 3.5 Management of TestNet 4 Partners in TestNet References An Open Framework for Managed Regression Testing 1 Background 2 Challenges Faced in a Manual Testing Scenario 3 Addressing the Most Cumbersome Stage of Testing 4 An Open Framework Approach 5 Collaboration with Other Testing Tools 6 Framework Deployment 7 Other Applications of the Framework 8 A Comparison with Other Frameworks 9 Return on Investment 10 Conclusion References TUB-TCI An Architecture for Dynamic Deployment of Test Components 1 Design Principles and Features of {\sf TUB-TCI} 1.1 The {\sf TCI} Problem in General 1.2 Basic Paradigms and Current State of {\sf TUB-TCI} 1.3 Principles of the Architecture 2 Subsystems Forming a {\sf TUB-TCI} Setting 2.1 {\sf TM} = Test Manager 2.2 {\sf CAS} = Central Access Server 2.3 {\sf NodeS} = Node Server and {\sf Factories} 2.4 {\sf Actors} = Dynamically Created Active and Passive Subsystems (Components) 2.5 {\sf Trans} = Inter-Node Communication and Node Initialization 3 Scenarios of Dynamic Behaviour 3.1 Node Topology, Node Initialization and Routing 3.2 Inter-component Communication 3.2.1 Single-Drain Communication. 3.2.2 Single-Source Communication. 3.2.3 User Level Communication by Service Requests. 3.2.4 User Level Communication by High Speed Channels. 3.3 {\sf Actor Class}} Declaration and Instantiation 3.4 Example 4 Related and Future Work 4.1 Related Work 4.2 Next Steps References Fast Testing of Critical Properties through Passive Testing 1 Introduction 2 Invariants and Passive Testing 2.1 Introducing Simple Invariants 2.2 Extending Invariants to Deal with EFSMs 3 Applying Passive Testing with Invariants 3.1 The Wireless Application Protocol 3.2 Experimental Results on the WAP 4 Conclusions and Future Work References Author Index This Volume Contains The Proceedings Of Testcom 2003, The Ifip Tc6/wg 6.1 International Conference On Testing Of Communicating Systems, Held In Sophia Antipolis, France, During May 26–28, 2003. Testcom Denotes A Series Of Int- National Working Conferences On Testing Communicating Systems In The Data And Telecommunication Domain. The Conference Provides A Forum For Researchers, Vendors And Users To Review, Discuss And Learn About New Approaches, Concepts Andexperiencesinthe?eldoftestingofcommunicatingsystems.thisconference In Particular Focuses On New Ways Of Testing For New-generation Networks. Testcom2003isthe?fteenthinaseriesofannualmeetingssponsoredbyifip Tc6/wg6.1.the14previousmeetingswereheldinvancouver,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). The Scope Of The Papers Presented At Testcom 2003 Covers Interoperability Testing, Ttcn-3, Automata-based Testing, Testing Of Next-generation Networks, Ipandumts,testsystemsandtools,testspeci?cationdesignandmethodology, And Industrial Experience In Testing Communication Systems. Thetestcom2003programconsistedof6technicalsessions,3positionsta- Ment Sessions, And A Special Session On Interoperability Testing. Three Invited Speeches Gave An Overview On Actual Trends In The Testing And Telecommuni- Tion Area And Formulated Requirements To The Testing Process. The Proceedings Contain The 19 Regular Papers Accepted And Presented At The Conference. They Were Selected From 53 Submitted Papers In A Careful Selection Procedure Based On The Assessment Of Three Referees For Each Paper. The P- Ceedings Also Include The Text Of The Invited Talk By Elaine Weyuker, Philippe Cousin, And Ana Cavalli. Prediction = Power / Elaine J. Weyuker -- Umts Terminal Testing: A Practical Perspective / Olaf Bergengruen -- Testing Of 3g 1xev-dv Stack -- A Case Study / Ira Acharya And Hemendra Kumar Singh -- Testing Sip Call Flows Using Xml Protocol Templates / M. Ranganathan, Olivier Deruelle And Doug Montgomery. Dieter Hogrefe, Anthony Wiles (eds.). Includes Bibliographical References And Index.