ETSI EG 201 383-1999 Methods for Testing and Specification (MTS) Use of SDL in ETSI Deliverables Guidelines for Facilitating Validation and the Development of Conformance Tests《测试方.pdf

1、STD.ETS1 EG SO1 383-ENGL L999 = 3Y00855 0385757 bb4 EG 201 383 VI.I.I (1999-02) I ETSI Guide Methods for Testing and Specification (MTS); Use of SDL in ETSI deliverables; Guidelines for facilitating validation and the development of conformance tests STD-ETSI EG 201 363-ENGL 1999 3400855 0385758 5T0

2、 2 EG 201 383 V1.l.l (1 99942) Reference DEWMTS-00053 (ct000icq.PDF) Keywords methodology, SDL, testing ETSI Postai address F-O6921 Sophia Antipolis Cedex - FRANCE Office address 650 Route des Lucioles - Sophia Antipolis Valbonne - FRANCE Siret No 348 623 562 0001 7 - NAF 742 C Association but non l

3、ucratif enregistre la Sous-Prfecture de Grasse (06) No 7803188 Tel.: +33 4 92 94 42 00 Fax: +33 4 93 65 47 16 Internet secretariatQetsi.fr Individual copies of this ETSI deliverable can be downloaded from http:/www.etsi.org If you find errors in the present document, send your comment to: editorQets

4、i.fr CoDvriah t Notification No part may be reproduced except as authorized by witten permission. The copyright and the foregoing restriction extend to reproduction in all media D EuropeanTelecommunications Standards Institute 1999. Aii rights reserved. ETSI STD ETSI EG 201 363-ENGL 3400855 0385757

5、437 m 3 EG 201 383 V1.l.l (1999-02) Contents Intellectual Property Rights 7 Foreword 7 1 2 3 3.1 3.2 4 5 5.1 5.2 5.2.1 5.3 5.3.1 6 6.1 6.2 7 7.1 7.2 7.2.1 Scope 8 References 8 Definitions and abbreviations 9 Defuitions . 9 Abbreviations . 10 Principles and general guidelines . 10 SDL in European Tel

6、ecommunication Standards 10 Introduction 10 Formai validation . 11 Testing of telecommunication products . 11 Conformance testing . 11 Nonnative intwfaces 12 Validation of specifications . 11 Normative interfaces and requirements . 12 Specification and description language concepts 15 Normative requ

7、irements . 14 Introduction 15 Basic SDL 16 7.2.1.1 7.2.1.2 7.2.1.3 7.2.1.4 7.2.1.5 7.2.1.6 7.2.1.7 7.2.2 7.2.2.1 7.2.2.2 7.2.2.3 7.2.3 7.2.3.1 7.2.3.1.1 7.2.3.1.2 7.2.3.2 7.2.3.3 7.2.3.4 7.2.3.5 7.2.3.6 7.2.4 7.2.4.1 7.2.4.2 7.2.4.3 7.2.4.4 7.2.4.5 7.2.5 7.2.5.1 7.2.5.1.1 7.2.5.1.2 7.2.5.2 General d

8、es 16 Lexicai mies . 16 Visibility rules. names and identifiers . 16 Informai text . 16 Drawing mies . 17 Comment 17 Text extension 17 Text symbol 17 Basic data concepts 17 Data type definitions . 17 Values and literals 17 Expressions . 18 System structure . 18 Organization of SDL specifications . 1

9、8 Package 18 Referenced definition 18 System . . 18 Block 18 Process 18 Service 18 Procedure 18 Communication 18 Channel . 18 Signal route . 18 Connection 19 Signal 19 Signai list definition 19 Behaviour . 19 Variables . 19 Start 19 Variable definition 19 View definition . 19 E TSI STD.ETS1 EG 2OL 3

10、83-ENGL 1999 3400855 03857b0 159 = 7.2.5.3 7.2.5.4 7.2.5.5 7.2.5.6 7.2.5.7 7.2.5.8 7.2.5.9 7.2.5.10 7.2.5.11 7.2.6 7.2.6.1 7.2.6.2 7.2.6.3 7.2.6.4 7.2.6.5 7.2.7 7.2.8 7.3 7.3.1 7.3.1.1 7.3.1.2 7.3.2 7.4 7.4.1 7.4.1.1 7.4.1.2 7.4.1.3 7.4.2 7.4.2.1 7.4.2.2 7.4.2.3 7.4.2.4 7.4.3 7.4.4 7.4.5 7.4.6 7.4.7

11、 7.4.8 7.4.9 7.4.10 7.4.11 7.4.12 7.4.13 7.5 7.5.1 7.5.1.1 7.5.1.2 7.5.1.3 7.5.2 7.5.2.1 7.5.2.2 7.5.2.3 7.5.2.4 7.5.2.5 7.5.2.6 7.5.2.7 7.5.2.8 7.5.2.9 7.5.2.10 7.5.2.11 4 EG 201 383 V1.l . 1 (1 99942) State 19 Save . 20 Spontaneous transition 20 Label . 20 Nextstate . 20 Join . 20 stop . 20 Re tur

12、n . 20 Action . 20 Task 20 Create 20 Procedure call . 21 output . 21 Decision 21 Timer 21 Intemal input and output 21 Structurai Decomposition Concepts in SDL 21 Partitioning . 21 Block partitioning . 21 Channel partitioning . 21 Additional Concepts of Basic SDL 22 input (and invalid stimuli) . 20 R

13、efinement . 21 Macro . 22 Macro, graphical behaviour 22 Macro, structural . 22 Macro, textuai . 22 External synonym . 22 Simple expression . 22 Optional defjtion (The select construct) 22 Optional transition string 23 Asterisk state 23 Multiple appearance of state 23 Asterisk input . 23 Generic syst

14、em definition . 22 Astensk save 23 Implicit transition . 23 Dash nextstate 23 Priority Input 24 Continuous signai . 24 Imported and Exported value . 25 Remote procedures . 25 Data in SDL . 25 The data kernel language 25 Data type definitions . 25 Literals and parameterized operators 25 Axioms and co

15、nditional equations 25 SDL expressions and data types . 26 Character string, Bit-String and Hex-String literals 26 Predefined data, equality and noequality 26 Syniypes and range conditions Enabling condition . 24 Special operators 26 Boolean axioms, conditional terms and error! 28 Ordering 28 Struct

16、ures, SEQUENCE, SET and CHOICE Inheritance 28 . 28 Generators . Synonyms . 29 Name class literals and literal mapping 29 ETSI 5 EO 201 383 Vl.l.1 (1999-02) 7.5.2.12 7 52.13 Indexed primary and indexed variable 29 7.5.2.14 Field primary and field vanable 29 7.5.2.15 Structure primary (and array value

17、) 29 7.5.2.16 Conditional expression . 29 7.5.2.17 Variable access . 30 7.5.2.18 Assignment statement . 30 7.5.2.18.1 Default initialization . 30 7.5.2.19.1 Now expression . 30 7.5.2.19.2 Import expression 30 7.5.2.19.4 View expression 30 7.5.2.19.5 Timer active expression 30 7.5.2.19.6 Anyvalue exp

18、ression . 30 7.5.2.20 7.5.2.21 Extemai data . 31 7.6 Structurai Typing Concepts in SDL . 31 7.6.1 Types, instances, and gates . 31 Operator definitions and operator applications . 29 7.5.2.19 Imperative operators . 30 7.5.2.19.3 Pid expression . 30 Value returning procedure call . 31 7.6.1.1 Type de

19、finitions 31 7.6.1.1.1 System type . 31 7.6.1.1.2 Block type . 31 Process type 7.6.1.1.3 . 31 7.6.1.1.4 Service type . . 31 7.6.1.2 Type expression 32 7.6.1.3 Definitions based on types 32 7.6.1.3.1 System definition based on system type 32 7.6.1.3.2 Block definition based on block type 32 7.6.1.3.3

20、 Process definition based on process type 32 7.6.1.3.4 Service definition based on service type . 32 7.6.1.4 Gate 32 7.6.2 Context parameter 32 7.6.3 Specialization . 32 7.6.3.1 Adding properties . 33 Virhial type . 33 ConceDts in MSC . 33 7.6.3.2 7.6.3.3 Virtual transitiodsave . 33 8 8.1 8.2 8.2.1

21、8.2.2 8.2.3 8.2.4 8.2.5 8.3 8.3.1 8.3.2 8.3.3 8.3.3.1 8.3.3.2 8.3.3.3 8.3.4 8.3.5 8.3.6 8.3.7 8.3.8 8.3.9 8.3.10 8.4 8.4.1 Introduction to MSC 33 General rules 34 Lexical niles . 34 Visibility and naming mies . 34 Comment 34 Message Sequence Chart documents . 35 Message 35 Message overtaking 35 Inco

22、mplete messages 35 . 36 Environment and gates . 36 General ordering . . 36 Condition 37 Timer 37 Action . 37 instance creation . 37 Instance stop . 37 Structurai concepts . 37 Drawing niles . 34 Paging of MSCs . 35 Message Sequence chaa 35 instance 35 Correspondence between SDL and MSC b Coregion .

23、37 E TS1 STD*ETSI EG 201 383-ENGL L997 3400855 03857b2 TZL = 6 EG 201 383 V1.l.l (1 99942) 8.4.2 Instance decomposition 37 8.4.3 Inline expression 37 8.4.4 MSC reference . 37 8.4.5 High-level MSC (HMSC) 37 Annex A (informative): A . 1 A.2 A.3 List of supplementary guidelines . 46 History . -48 Summa

24、ry of use of SDL and MSC in ETSI Standards 38 Selection of SDL concepts . 38 Selection of MSC concepts 44 ETSI 7 EG 201 383 V1.1 .l (1999-02) Intellectual Property Rights IPRs essentiai or potentiaiiy essential to the present document may have been declared to ETSI. The information pertaining to the

25、se essentiai IPRs, if any, is publicly available for ETSI members and non-members, and can be found in SR O00 314: “Intellectual Property Rights (IPRs); Essential, orpotentially Essential, IPRs notijed to ETSI in respect ofETSI standards“, which is available free of charge from the ETSI Secretariat.

26、 Latest updates are available on the ETSI Web server (http:llwww.etsi.org/ipr). Pursuant to the ETSI IPR Policy, no investigation, including IPR searches, has been carried out by ETSI. No guarantee can be given as to the existence of other IPRs not referenced in SR O00 314 (or the updates on the ETS

27、I Web server) which are, or may be, or may become, essentiai to the present document. Foreword This ETSI Guide (EG) has been produced by ETSI Technical Committee Methods for Testing and Specification (MTS). ETSI STD.ETS1 EG 201 383-ENGL 1999 3400855 0385764 8T4 .II 8 EO 201 383 V1.l.l (1 999-02) 1 S

28、cope The present document specifies a set of guidelines for the use of the Specification and Description Language (SDL) and Message Sequence Charts (MSC) in ETSI standards that spec services, protocols or other forms of behaviour. purthermore, brief guidelines for the use of the Abstract Syntax Nota

29、tion One (ASN.1) for the definition of data structures in combination with SDL are included in the present document. The purpose of the mies and guidelines is to assist rapporteurs to produce standards which it is possible to validate using automatic tools and which contah requirements expressed in

30、a way that facilitates the conformance testing of products that are claimed to implement the standard. SDL is defined in ITU-T Recommendation 2.100 i, SDL combined withASN.1 is specified in ITU-T Recommendation Z.105 2 and the use of MSCs is defined in ITU-T Recommendation 2.120 3. ASN.l is defined

31、inIT-TRecommendations X.680 4, X.681 5, X.682 6 andX.683 7. The technical quality criteria specified in EG 201 014 121 are relevant to all standards but the need for “clarity“, “consistency“ and the “coirect use of formalisms“ are particularly important in the facilitation of validation and the deri

32、vation of conformance tests. Consequently, the present document uses these three principles as the basis for the development of its guidelines. The present document is not a tutorial in the use of SDL and it does not offer guidelines for the Validation of a standard or the production of a conformanc

33、e test suite. ETSI publications that cover these subjects are: - the Handbook to the validation methodology for standards using SDL, EG 201 015 13; - the Handbook for SDL, ASN. 1 and MSC development, ETR 298 1 i; - the sandard for Protocol and profile conformance testing specifications, ETS 300 406

34、9; These documents should all be read in conjunction with the present document. SDL is a iarge and complex language containing many features and facilities which are ideally suited to use in protocol siandards and some which are not so weii suited. The present document identifies those constructs wh

35、ich a rapporteur can safeiy use in a standard to facilitate the validation of a specification and the development of conformance tests. It also identifies a number of constructs that should be avoided in standards. 2 References The following documents contain provisions which, through reference in t

36、his text, constitute provisions of the present document. References are either specific (identified by date of publication, edition number, version number, etc.) or non-specific. 0 For a specific reference, subsequent revisions do not apply. Por a non-specific reference, the latest version applies.

37、A non-specific reference to an ETS shall also be taken to refer to later versions published as an EN with the same number. il Pl 131 i41 IT-T Recommendation 2.1 O0 (1993): “Specification and description language (SDL)“. ITiJ-T Recommendation 2.105 (1995): “SDL combined with ASN.l (SDL/ASN.l)“. ITU-T

38、 Recommendation Z. 120 (1996): “Messages Sequence Charts (MSC)“. ITU-T Recommendations X.680 (1 994): “Infommtion technology; Abstract Syntax Notation One (ASN.l): Specification of basic notation“. ITU-T Recommendations X.681(1994): “Information technology; Abstract Syntax Notation One (ASN.l): Info

39、rmation object specification“. i53 ETSI 9 EG 201 383 V1.1.1 (199962) 61 ITU-T Recommendations X.682 (1994): “Information technology; Abstract Syntax Notation One (ASN. 1): Constraints specification“. ITU-T Recommendations X.683 (1994): “Information technology; Abstract Syntax Notation One (ASN.l): P

40、arameterization of ASN.l specifications“. IS0 9646- 1 (1994): “Infommtion technology; Open Systems Interconnection; Conformance testing methodology and -work; General concepts“. ETS 300 406 (1995): “Methods for Testing and Specification (MTS); Protocol and profiie conformance testing specifications;

41、 Standardization methodology“. ETR 184 (1995): “Methods for Testing and Specification (MTS); Overview of validation techniques for European Telecommunication Standards (ETSs) containing SDL. ETR 298 (1996): “Methods for Testing and Specification (MTS); Specification of protocols and services; Handbo

42、ok for SDL, ASN. 1 and MSC development“. EG 201 014 (Vl.1): “Methods for Testing and Specification (MTS); ETSI Standards-making; Technical quality criteria for telecommunications standards“. EG 201 015 (Vl.1): “Methods for Testing and Specification (MTS); Specification of protocols and Services; Val

43、idation methodology for standards using SDL; Handbook. 171 Pl Pl 101 I11 WI 1131 3 Definitions and abbreviations 3.1 Definit ions For the purposes of the present document, the foilowing definitions apply: abstract data type: The definition of data in terms of abstract properties rather than in tem o

44、f a concrete implementation. An abstract data type defines a collection of data types (that is 2.100 sorts), a set of operators which are applied to the values of these data types and a set of rules defining the behaviour when the operators are applied to the vaiues. (see IT-T Recommendation 2.100 l

45、 2.3.1,5.1, annex C) conformance requirement: The description of a characteristic in a standard with which a product implementing that standard is expected to conform conformance testing: The process of establishing the extent to which an Implementation Under Test (iT) satisfies both static and dyna

46、mic conforrnance requirements, consistent with the capabilities stated in the implementation conformance statement (IS0 9646-1 8, subclauses 3.4.10 and 3.5.6). data type: A set of datavaiues with common characteristics (equivalent to the 2.100 term sort). NOTE When preceded by the word “abstract“ th

47、en data type is always considered as part of the term “abstract data type“ and not as the term “data type“, implementation conformance statement: A document supplied by the manufacturer of a product that defines which siandards are claimed to be implemented and which implementation options in the st

48、andards are supported. implementation option: A statement in a standard that may or may not be supported in an implementation. normative interface: A physical or software interface of a product on which requirements are imposed by a standard. state space: The collection of all states of a system tha

49、t can be reached from the initial state. ETSI STD.ETSI EG 201 383-ENGL 1997 3900855 03857bb 677 10 EO 201 383 V1.l .l (1 999-02) validation: The process, with associated methods, procedures and tools, by which an evaluation is made that a standard can be Nly implemented, conforms to rules for standards, satisfies the purpose expressed in the record of requirements on which the standard is based and that an implementation that conforms to the standard has the functionality expressed in the record of requirements on which the standard is based.