MARC 主機 00000nam a22005893i 4500 
001    EBC675190 
003    MiAaPQ 
005    20200713055157.0 
006    m     o  d |       
007    cr cnu|||||||| 
008    200713s2005    xx      o     ||||0 eng d 
020    9780470977910|q(electronic bk.) 
020    |z9780470977903 
035    (MiAaPQ)EBC675190 
035    (Au-PeEL)EBL675190 
035    (CaPaEBR)ebr10510619 
035    (OCoLC)741729058 
040    MiAaPQ|beng|erda|epn|cMiAaPQ|dMiAaPQ 
050  4 TK5102.84 -- .I58 2011eb 
082 0  005.13 
100 1  Willcock, Colin 
245 13 An Introduction to TTCN-3 
250    2nd ed 
264  1 Hoboken :|bWiley,|c2005 
264  4 |c©2010 
300    1 online resource (356 pages) 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
505 0  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 
505 8  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 
505 8  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 
505 8  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 
505 8  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 
505 8  17 Closing Thoughts and Future Directions 
520    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
520 8  students studying telecommunications and software 
       engineering will also find this book insightful 
588    Description based on publisher supplied metadata and other
       sources 
590    Electronic reproduction. Ann Arbor, Michigan : ProQuest 
       Ebook Central, 2020. Available via World Wide Web. Access 
       may be limited to ProQuest Ebook Central affiliated 
       libraries 
650  0 Algebra -- Problems, exercises, etc.;Mathematics -- 
       Problems, exercises, etc 
655  4 Electronic books 
700 1  Deiß, Thomas 
700 1  Tobies, Stephan 
700 1  Keil, Stefan 
700 1  Engler, Federico 
700 1  Schulz, Stephan 
700 1  Wiles, Anthony 
700 1  Dei, Thomas 
700 1  Wiles, Anthony 
776 08 |iPrint version:|aWillcock, Colin|tAn Introduction to TTCN
       -3|dHoboken : Wiley,c2005|z9780470977903 
856 40 |uhttps://ebookcentral.proquest.com/lib/sinciatw/
       detail.action?docID=675190|zClick to View