Record:   Prev Next
作者 Willcock, Colin
書名 An Introduction to TTCN-3
出版項 Hoboken : Wiley, 2005
©2010
國際標準書號 9780470977910 (electronic bk.)
9780470977903
book jacket
版本 2nd ed
說明 1 online resource (356 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
附註 Intro -- AN INTRODUCTION TO TTCN-3 -- Contents -- List of Figures -- List of Tables -- About the Authors -- Foreword -- Preface -- Acknowledgements -- Abbreviations and Acronyms -- 1 Introduction -- 1.1 TTCN-3 as a Language -- 1.2 The Development of TTCN-3 -- 1.2.1 Future Development -- 1.3 Summary -- 2 TTCN-3 by Example -- 2.1 TTCN-3 Test Suite -- 2.1.1 Problem Domain -- 2.1.2 Test Purpose -- 2.1.3 TTCN-3 Modules -- 2.1.4 Data Types and Messages -- 2.1.5 Components and Ports -- 2.1.6 A First Test Case -- 2.1.7 Handling Erroneous Situations -- 2.1.8 Default Behaviour -- 2.1.9 Multi Component TTCN-3 -- 2.1.10 Procedure-Based Communication -- 2.2 TTCN-3 Test Systems -- 2.2.1 High-Level View of a Test System -- 2.3 Summary -- 3 Basic TTCN-3 -- 3.1 Basic Constructs -- 3.1.1 Identifiers -- 3.1.2 Modules -- 3.1.3 Scope -- 3.1.4 Constants -- 3.1.5 Variables -- 3.1.6 Comments -- 3.1.7 Basic Data Types -- 3.1.8 Subtypes -- 3.1.9 Functions -- 3.1.10 Pre-Defined Functions -- 3.1.11 Parameters with Default Values -- 3.2 Basic Statements -- 3.2.1 Operators, Expressions and Assignments -- 3.2.2 The Conditional Statements -- 3.2.3 Loops -- 3.2.4 Labels and Goto -- 3.2.5 The log Statement -- 3.2.6 The Control Part -- 3.2.7 Preprocessing Macros -- 3.3 Summary -- 4 Single Component TTCN-3 -- 4.1 Ports -- 4.2 Components -- 4.3 Test Cases -- 4.3.1 Main Test Component -- 4.3.2 Test Case Verdict -- 4.3.3 Test Case Invocation -- 4.3.4 Test Case Parameters -- 4.3.5 Test Case Behaviour -- 4.3.6 Test Case Termination -- 4.4 Templates -- 4.5 Message-Based Communication -- 4.5.1 Send -- 4.5.2 Receive -- 4.5.3 Check -- 4.5.4 Receive on Several Ports -- 4.6 Timers -- 4.7 Alt Statement -- 4.7.1 Boolean Guards -- 4.7.2 Repeat Statement -- 4.7.3 Alt Statements vs. Stand-Alone Blocking Statements -- 4.8 Altsteps -- 4.9 Default Altsteps -- 4.10 Functions
4.10.1 Restrictions on the Runs on Clause -- 4.11 Summary -- 5 Multi Component TTCN-3 -- 5.1 Multi Component Test Case Example -- 5.2 Test Components -- 5.2.1 Main Test Component and Test System Interface -- 5.2.2 Parallel Test Components -- 5.2.3 Creation of Test Components -- 5.2.4 Alive Test Components -- 5.2.5 Component References -- 5.2.6 Stopping Parallel Test Components -- 5.2.7 Await Termination of Test Components -- 5.2.8 Checking Execution Status of Test Components -- 5.2.9 Verdict Computation -- 5.3 Mappings and Connections -- 5.3.1 Mappings -- 5.3.2 Connections -- 5.3.3 Many-to-One Mappings and Connections -- 5.4 Component Type Extension -- 5.5 Miscellaneous Port Operations -- 5.6 SUT Addresses -- 5.7 Putting the Pieces Together -- 5.8 Summary -- 6 Procedure-Based Communication -- 6.1 Procedure- versus Message-Based Communication -- 6.2 An Example - the Directory Service -- 6.3 Procedure-Based Communication in TTCN-3 -- 6.3.1 Non-Blocking Signatures -- 6.4 Communication Operations -- 6.5 Procedure-Based Communication on the Client Side -- 6.5.1 The call Statement -- 6.5.2 The getreply Operation -- 6.5.3 The catch Operation -- 6.5.4 On Defaults, Deadlocks and Timed Invocations -- 6.5.5 Non-Blocking Use of the call Operation -- 6.6 Procedure-Based Communication on the Server Side -- 6.6.1 The getcall Operation -- 6.6.2 The reply Operation -- 6.6.3 The raise Operation -- 6.7 Addressing -- 6.8 Summary -- 7 Modular TTCN-3 -- 7.1 Modules -- 7.1.1 Definition of a Module -- 7.1.2 Modularisation of TTCN-3 Test Suites -- 7.2 Group Definitions -- 7.3 Importing -- 7.3.1 Visibility of TTCN-3 Definitions -- 7.3.2 About Transitivity of Imports and Cyclic Imports -- 7.3.3 Restricting the Import of TTCN-3 Definitions -- 7.3.4 Module Prefixing of Imported Definitions -- 7.3.5 Transitive Import -- 7.3.6 Importing from Other Languages
7.4 Module Parameters -- 7.5 Attributes -- 7.5.1 Accessing Attribute Values -- 7.5.2 Scoping of Attributes -- 7.5.3 Assigning Attributes to Imported Definitions -- 7.5.4 Using Attributes to Define Encodings -- 7.6 Summary -- 8 TTCN-3 Data Types -- 8.1 The Session Initiation Protocol -- 8.2 Subtyping -- 8.2.1 Type Aliasing -- 8.2.2 Value List -- 8.2.3 Value Ranges -- 8.2.4 Field Value Restriction for Structured Types -- 8.2.5 Type Lists -- 8.2.6 Character Set Restrictions for Strings -- 8.2.7 Length Restrictions for Strings and List Types -- 8.2.8 Subtyping of Subtypes -- 8.2.9 Type Conversion -- 8.3 TTCN-3 Built-in Types -- 8.3.1 The Boolean Type -- 8.3.2 The Integer Type -- 8.3.3 The Float Type -- 8.3.4 The Charstring and the Universal Charstring Type -- 8.3.5 The Verdicttype Type -- 8.3.6 The Binary String Types Bitstring, Hexstring and Octetstring -- 8.3.7 The Default Type -- 8.4 User-Defined Types -- 8.4.1 The Enumerated Type -- 8.4.2 The Record Type -- 8.4.3 The Set Type -- 8.4.4 The Union Type -- 8.4.5 The List Types -- 8.5 Nested Type Definitions -- 8.6 Encoding and Decoding of Data -- 8.7 Summary -- 9 Advanced Type Topics -- 9.1 Type Compatibility -- 9.1.1 Strict Type Compatibility -- 9.1.2 Type Compatibility for Structured and Special Types -- 9.2 The Anytype Type -- 9.2.1 Using the anytype for Generic Protocol Definitions and Data Types -- 9.3 The Address Type -- 9.4 Recursive Type Definitions -- 9.5 Foreign Type Systems -- 9.5.1 Using ASN.1 Types in TTCN-3 -- 9.5.2 Using IDL Types in TTCN-3 -- 9.5.3 Mapping XML to TTCN-3 -- 9.6 Summary -- 10 Templates -- 10.1 A First Look at TTCN-3 Templates -- 10.2 The TTCN-3 Match Operation -- 10.3 Template Definition for One Specific Value -- 10.4 Template Definitions with Matching Expressions -- 10.4.1 The 'any' Matching Expression -- 10.4.2 Value Lists -- 10.4.3 Complemented Value List
10.4.4 Value Ranges -- 10.4.5 More about Matching Expression for Structured Types -- 10.4.6 More about Matching Expressions for List-Like Types -- 10.4.7 More about Matching Expressions for String Types -- 10.5 Template Definitions for Signatures -- 10.6 Assignment, Access of Templates and the Pre-Defined Functions Isvalue and Valueof -- 10.7 Summary -- 11 Advanced Templates -- 11.1 Template Definitions for Complex Type Structures -- 11.2 Template References -- 11.3 Template Parameterisation -- 11.3.1 Value Parameters -- 11.3.2 Template Parameters -- 11.3.3 About the Use of Template Parameterisation -- 11.4 Selective Modification of Other Templates -- 11.5 Explicit versus Implicit Template Definitions -- 11.6 Restricting Template Usage -- 11.7 Template Variables and Computing Functions -- 11.8 Structuring of Template Definitions for Complex Types -- 11.9 Summary -- 12 Extension Packages -- 12.1 Static Test Configurations -- 12.2 Real-Time in TTCN-3 -- 12.3 Type Parameterisation -- 12.3.1 Value Parameterisation of Types -- 12.3.2 Types as Parameters -- 12.4 Behaviour Types -- 12.5 Summary -- 13 TTCN-3 Test Systems in Practice -- 13.1 The Anatomy of a TTCN-3 Test System -- 13.1.1 The TTCN-3 Executable -- 13.2 Test System Execution of a Simple Test Case -- 13.2.1 Test System and Test Case Initialisation -- 13.2.2 Preparation of Communication Channels towards the SUT -- 13.2.3 Handling of Communication towards the SUT -- 13.2.4 Starting of TTCN-3 Timers -- 13.2.5 Handling Incoming Communication from the SUT -- 13.2.6 Handling Timeouts and Stopping of Timers -- 13.2.7 Teardown of Communication Channels towards the SUT -- 13.3 More about the SUT Adapter -- 13.3.1 Execution Threads in the SA -- 13.3.2 Management of TRI Information -- 13.3.3 Procedure-Based Communication with the SUT -- 13.3.4 Dynamic SUT Adapter Configuration
13.3.5 Distributed SUT Adapter Implementations -- 13.4 More about the Platform Adapter -- 13.4.1 TRI Timing Operations -- 13.4.2 Non-Real-Time Implementation -- 13.4.3 External Functions -- 13.5 More about External Codecs -- 13.5.1 Access to the TTCN-3 Values -- 13.5.2 Encoder Implementation -- 13.5.3 Decoder Implementation -- 13.5.4 Advanced Aspects of Codec Implementations -- 13.6 Documentation Comments -- 13.7 Summary -- 14 Frameworks -- 14.1 Frameworks and Test Suites -- 14.2 TTCN-3 Libraries -- 14.3 Design of Frameworks -- 14.4 Example: the IPv6 Testing Framework -- 14.4.1 Module Structure and Identifiers -- 14.4.2 Test Case Functions -- 14.4.3 Test Purpose Functions -- 14.4.4 Protocol Library Functions -- 14.5 Summary -- 15 Advice and Examples -- 15.1 TTCN-3 Style Guide -- 15.1.1 Motivation -- 15.1.2 Examples -- 15.2 Suggestions for Modularisation -- 15.3 Template Specification for Complex Message Definitions -- 15.3.1 Example Implementation of a SIP Message Interchange -- 15.3.2 A SIP Type Definition -- 15.3.3 Specification of the Expected SIP Request -- 15.3.4 Specification of the 200 OK Response -- 15.3.5 About the Benefits of Smart Template Definitions -- 15.4 Useful Behaviour -- 15.4.1 Convert Conditions to Verdicts -- 15.4.2 Unexpected Messages -- 15.4.3 Waiting -- 15.4.4 Successful Altstep -- 15.4.5 Additional String Conversion Functions -- 15.4.6 Binary Addition -- 15.5 Test Component Synchronisation -- 15.5.1 Synchronisation with Alive Components -- 15.5.2 Synchronisation via a Protocol -- 16 LTE Testing with TTCN-3 -- 16.1 LTE Description -- 16.2 LTE Test Suite -- 16.2.1 Test System Overview -- 16.2.2 LTE Test Suite Overview -- 16.2.3 Test Case Definitions -- 16.2.4 Test Behaviour Definition -- 16.2.5 EUTRA Parallel Test Component -- 16.2.6 Test Suite Module Structure -- 16.2.7 RRC Message Definitions -- 16.3 Summary
17 Closing Thoughts and Future Directions
This unique book provides a fully revised and up-to-date treatment of the TTCN-3 language TTCN-3 is an internationally standardised test language with a powerful textual syntax which has established itself as a global, universal testing language. Application of TTCN-3 has been widened beyond telecommunication systems to areas such as the automotive industry, internet protocols, railway signalling, medical systems, and avionics. An Introduction to TTCN-3 gives a solid introduction to the TTCN-3 language and its uses, guiding readers though the TTCN-3 standards, methodologies and tools with examples and advice based on the authors' extensive real-world experience. All the important concepts and constructs of the language are explained in a step-by-step, tutorial style, and the authors relate the testing language to the overall test system implementation, giving the bigger picture. This second edition of the book has been updated and revised to cover the additions, changes and extensions to the TTCN-3 language since the first version was published. In addition, this book provides new material on the use of XML, test framework design and LTE testing with TTCN-3. Key Features: Provides a fully revised and up-to-date look at the TTCN-3 language Addresses language standardization, tool implementation and applying TTCN-3 in real world scenarios such as VoIP and LTE testing Explores recent advances such as TTCN-3 core language extensions on type parameterization, behavior types, real time and performance testing Introduces the use of ASN.1 and XML with TTCN-3 Written by experts in the field Includes an accompanying website containing code samples and links to the relevant standards documents (www.wiley.com/go/willcock_ttcn-3_2e) This book is an ideal reference for test engineers, software developers, and standards professionals. Graduate
students studying telecommunications and software engineering will also find this book insightful
Description based on publisher supplied metadata and other sources
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2020. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries
鏈接 Print version: Willcock, Colin An Introduction to TTCN-3 Hoboken : Wiley,c2005 9780470977903
主題 Algebra -- Problems, exercises, etc.;Mathematics -- Problems, exercises, etc
Electronic books
Alt Author Deiß, Thomas
Tobies, Stephan
Keil, Stefan
Engler, Federico
Schulz, Stephan
Wiles, Anthony
Dei, Thomas
Wiles, Anthony
Record:   Prev Next