欢迎来到麦多课文档分享! | 帮助中心 海量文档,免费浏览,给你所需,享你所想!
麦多课文档分享
全部分类
  • 标准规范>
  • 教学课件>
  • 考试资料>
  • 办公文档>
  • 学术论文>
  • 行业资料>
  • 易语言源码>
  • ImageVerifierCode 换一换
    首页 麦多课文档分享 > 资源分类 > PDF文档下载
    分享到微信 分享到微博 分享到QQ空间

    ISO IEC 9646-3-1998 Information technology - Open Systems Interconnection - Conformance testing methodology and framework - Part 3 The Tree and Tabular Combined.pdf

    • 资源ID:1257311       资源大小:31.94MB        全文页数:277页
    • 资源格式: PDF        下载积分:10000积分
    快捷下载 游客一键下载
    账号登录下载
    微信登录下载
    二维码
    微信扫一扫登录
    下载资源需要10000积分(如需开发票,请勿充值!)
    邮箱/手机:
    温馨提示:
    如需开发票,请勿充值!快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。
    如需开发票,请勿充值!如填写123,账号就是123,密码也是123。
    支付方式: 支付宝扫码支付    微信扫码支付   
    验证码:   换一换

    加入VIP,交流精品资源
     
    账号:
    密码:
    验证码:   换一换
      忘记密码?
        
    友情提示
    2、PDF文件下载后,可能会被浏览器默认打开,此种情况可以点击浏览器菜单,保存网页到桌面,就可以正常下载了。
    3、本站不支持迅雷下载,请使用电脑自带的IE浏览器,或者360浏览器、谷歌浏览器下载即可。
    4、本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰。
    5、试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。

    ISO IEC 9646-3-1998 Information technology - Open Systems Interconnection - Conformance testing methodology and framework - Part 3 The Tree and Tabular Combined.pdf

    1、INTERNATIONAL STANDARD ISOAEC 964613 Second edition 1998-1 1-01 Information technology - Open Systems Interconnection - Conformance testing methodology and framework - Part 3: The Tree and Tabular Combined Notation (TTCN) Technologies de linformation - Interconnexion de systmes ouverts - Essais de c

    2、onformit - Mthodologie gnrale et procdures - Partie 3: Notation combine, arborescente et tabulaire (TTCN) This material is reproduced from IS0 documents under International Organization for Standardization (60) Copyright License Number IHS/ICC/ i 996. Not for resale. No part of these IS0 documents m

    3、ay be reproduced in any form, electronic retrieval system or otherwise, except as allowed in the copyright law of the country of use, or with the prior written consent of IS0 (Case postale 56, 12 1 I Geneva 20, Switzerland, Fax + 4 I 22 734 10 79), IHS or the IS0 Licensors members. Reference number

    4、ISOAEC 9646-3:1998(E) ISO/IEC 9646-3: 1998 (E) Contents Page 1 scope . 1 2 Normative references 1 3 Definitions . 3 3.1 Basic tem from ISOAEC 9646-1 . . 3 3.2 Terms from ISO/IEC 7498-1 33 Terms from ISOAEC 10731 4 3.4 Terms from ISOAEC 8824- 1 . 4 3.5 Terms from ISOAEC 8825-1 . 5 . 5 4 Abbreviations

    5、 8 4.1 Abbreviations defined in ISOAEC 9646- 1 . 8 4.2 Abbreviations defined in ISOEC 9646-2 . 8 9 . 3.6 TCN specific terms . 4.3 Other abbreviations . . 5 The syntax forms of TCN 6 Compliance . 7 Conventions . 7.1 Introduction 10 7.2 Syntactic metanotation . 11 7.3.2 Single TCN object tables 11 7.3

    6、3 Multiple TCN object tables 12 7.3.4 Alternative compact tables 12 7.3.5 Specification of proformas 13 7.4 Free Text and Bounded Free Text 13 8 Concurrency in ITCN 13 . 13 . 13 9 TCN test suite structure 15 9.1 Introduction 15 9.2 Test Group References 9.3 Test Step Group References 9.4 Default Gro

    7、up References . 15 9.5 Parts of a TCN test suite . 15 10TestSuiteOverview . 16 10.1 Introduction . . 16 . 16 10.3 Test Case Ind . . 18 10.4 Test Step Index . 19 10.7 The Import Part 7.3 TCN.GR table proformas 7.3.1 Introduction . .II 8.1 Test Components . 8.2 Test Component Configurations . . 10.5 D

    8、efault Index 10.6 Test Suite Exports . . 22 10.7.1 Introduction . 22 10.7.2 Imports . 22 11 Declarations Part . 24 11.1 Introduction 24 11.2 TTCN types 24 11.2.1 Introduction 24 . 24 11.2.3 Test Suite Type Definitions 26 . . 11.2.2 Predefined TCN types . O ISOAEC 1998 All rights reserved . Unless ot

    9、herwise specified. no part of this publication may be reproduced or utilized in any form or by any means. electronic or mechanical. including photocopying and micro- film. without permission in writing from the publisher . ISOAEC Copyright Office Case Postale 56 CH-i21 1 Geneve 20 Switzerland . Prin

    10、ted in Switzerland . i O ISO/IEC ISO/IEC 9646-3: 1998 (E) 11.3 TTCN operators and TTCN operations . 32 11.3.1 Introduction 32 11.3.2 TTCN operators . 32 11.3.3 Predefined operations . 33 11.3.4 Test Suite Operation definitions and descriptions . 35 11.4 Test Suite Parameter Declarations . 40 11.5 Te

    11、st Case Selection Expression Definitions 41 11.6 Test Suite Constant Declarations 42 11.7 Test Suite Constant Declarations by Reference . 43 11.8 TTCN variables 44 11.8.1 Test Suite Variable Declarations 44 11.8.2 Binding of Test Suite Variables . 45 11.8.3 Test Case Variable Declarations 45 11.8.4

    12、Binding of Test Case Variables . 46 11.9 PCO Type Declaration 46 11.10 PCO Declarations . 47 11.11 CP Declarations 49 11.12TimerDeclarations 50 11.13 Test Components and Configuration Declarations 51 11.13.1 Test Components . 51 11.13.2 Test Component Configuration Declarations . 53 11.14 ASP Type D

    13、efinitions 55 11.14.1Introduction . 55 11.14.2 ASP Type Definitions using tables . 55 11.143 Use of Structured Types within ASP Type Definitions 56 11.14.4 ASP Type Definitions using ASN . 1 57 11.14.5 ASN . 1 ASP Type Definitions by Reference 58 11.15 PDU Type Definitions . 59 11.15.1Introduction .

    14、 59 11.15.2 PDU Type Definitions using tables 59 11.153 Use of Structured Types within PDU definitions . 61 11.15.4 PDU Type Definitions using ASN.1 61 11.15.5 ASN.1 PDU Type Definitions by Reference 63 11.16 Test Suite Encoding Information . 64 11.16.1 Encoding Definitions 64 11.16.3 Invalid Field

    15、Encoding Definitions . 66 11.16.4 Application of encoding rules . 11.17 CM Type Definitions . 69 11.17.2 CM Type Definitions using tables . 11.173 CM Type Definitions using ASN.l 11.16.2 Encoding Variations . 65 11.17.1 Introduction 11.18 String length specifications 70 11.19 ASP. PDU and CM Definit

    16、ions for SEND events 71 11.20 ASP. PDU and CM Definitions for RECEIVE events . 72 11.21 Alias Definitions 72 11.21.1 Introduction . 72 11.21.2 Expansion of Aliases 72 12ConstraintsP art 73 12.1Introduction . 73 12.2 General principles 73 12.3 Parameterization of constraints . . 74 12.4 Chaining of c

    17、onstraints 74 12.5 Constraints for SEND events . 75 12.6 Constraints for RECEIVE events 75 12.6.1 Matching values . 75 75 76 12.6.2 Matching mechanisms . 12.6.3 Specific Value . 12.6.4 Instead of Value STD-IS0 9b4L-3-ENGL 1798 W 40517113 07bbb30 872 ISO/IEC 9646-3: 1998 (E) o ISOrnC 12.6.5InsideValu

    18、es . 79 12.6.6 Attributes of values 80 13 Specification of constraints using tables . 81 13.1 Introduction . 81 13.2 Structured Type Constraint Declarations 81 13.3 ASP Constraint Declarations . 83 13.4 PDU Constraint Declarations . 83 13.5 Parameterization of constraints 85 13.6 Base constraints an

    19、d modified constraints . 85 13.7 Formai parameter lists in modified constraints 86 13.8 CM Constraint Declarations 86 14 Specification of constraints using ASN.1 87 14.1 Introduction . 87 14.2 ASN . 1 Type Constraint Declarations . 87 14.3 ASN.1 ASP Constraint Declarations . 88 14.4 ASN.1 PDU Constr

    20、aint Declarations . 89 14.5 Parameterized ASN.1 constraints 90 14.6 Modified ASN.l constraints 90 14.7 Formai parameter lists in modified ASN.1 constraints 91 14.8 ASP Parameter and PDU field names within ASN . 1 constraints 91 14.9 ASN.1 CM Constraint Declarations 92 15 The Dynamic Part 92 15.1 Int

    21、roduction . 92 15.2 Test Case dynamic behaviour . 92 15.2.1 Specification of the Test Case Dynamic Behaviour table . 92 15.2.2 The Test Case Dynamic Behaviour proforma 93 15.2.3 Structure of the Test Case behaviour . 94 15.2.4 Concurrent Test Case Behaviour Description 94 15.2.5 Line numbering and c

    22、ontinuation -95 153.1 Specification of the Test Step Dynamic Behaviour table . 95 15.3.2 The Test Step Dynamic Behaviour proforma 96 15.4.1 Default behaviour 97 15.4.2 Specification of the Default Dynamic Behaviour table . 97 15.4.3 The Default Dynamic Behaviour proforma 97 15.5 The behaviour descri

    23、ption 98 15.6 The tree notation . 98 15.7 Tree names and parameter lists 99 15.7.1 Introduction 99 15.7.2 Trees with parameters 99 15.8 TTCN statements 99 15.9 TTCN test events . 100 15.9.1 Sending and receiving events 100 15.9.2 Receiving events . 100 15.9.3 Sending events . 100 15.9.4 Lifetime of

    24、events 101 15.9.5 Execution of the behaviour tree 101 15.9.6 The IMPLICIT SEND event 103 15.9.7 The OTHERWISE event . 104 15.9.8 OTHERWISE and concurrent “CN . 105 15.9.9 The TIMEOUT event 105 15.9.10 Concurrent TCN events and constructs 105 15.10 TTCN expressions . 106 15.10.1 Introduction 106 15.1

    25、0.2 References for ASN.l defined data objects 108 15.103 References for data objects defined using tables 110 15.10.4 Assignments 110 15.10.5 Qualifiers 111 15.3 Test Step dynamic behaviour . 95 15.4 Default dynamic behaviour . 97 iv STD-IS0 9b4b-3-ENGL 1998 Is 48519n3 07bbb31 709 D o ISO/IEC ISO/IE

    26、C 9646-3: 1998 (E) 15.10.6 Event lines with assignments and qualifiers . 111 15.11 Pseudo-events . 112 15.12Timermanagement . 112 15.12.1Introduction 112 15.12.2 The START operation 113 15.123 The CANCEL operation 113 15.12.4 The READTIMER operation . 114 15.13 The ATTACH construct . 114 15.13.1 Int

    27、roduction 114 15.13.2 Scope of tree attachment 114 15.133 Tree attachment basics 115 15.13.4 The meaning of tree attachment . 115 15.135 Passing parameterized constraints . 117 15.13.6 Recursive tree attachment . 117 15.13.7 Tree attachment and Defaults 118 15.14 Labels and the GOT0 construct . 118

    28、15.15 The REPEAT construct 119 15.16 The Constraints Reference . 119 15.16.1 Purpose of the Constraints Reference column 119 15.16.2 Passing parameters in Constraint References 120 15.163 Constraints and qualifiers and assignments 120 15.17Verdicts 120 15.17.1 Introduction 120 15.17.2FVeliminary res

    29、ults . 121 15.173 Final verdict 121 15.17.4 Verdicts and OTHERWISE 122 15.175 Verdict assignment in concurrent ITCN 122 15.18 The meaning of Defaults . 122 15.18.1 Introduction 122 15.18.2 Default References . 123 15.183 The RETURN statement 124 15.18.4 The ACTIVATE statement 124 15.185 Defaults and

    30、 tree attachment . 124 15.18.6 Tree Attachment. Defaults. Activate and Return 126 15.18.7 Defaults and CREATE 132 15.18.8 Defaults and CMs . 132 16Pagecontinuation 133 16.1 Page continuation of TCN tables 133 16.2 Page continuation of dynamic behaviour tables 133 A(normative) Syntax and static seman

    31、tics of TTCN . 134 A.2 Conventions for the syntax description 134 A.2.2 TCN.MP syntax definitions . 134 A.3 The TCN.MP syntax productions in BNF . 136 A.1Introduction . 134 A.2.1 Syntactic metanotation 134 A3.1TTCNSpecification 136 A3.2 ITCN Module . 136 A.3.2.1 TTCN Module Overview Part 136 A3.23 T

    32、TCN Module Import Part 136 A3.3Testsuite . 137 A3.3.1 The Test Suite Overview 137 A3.3.2 Test Suite Index . 137 A3.33Test Suite Structure 137 A.3.3.4 Test Case Index . 138 A.3.3.5 Test Step Index 138 A33.6 Default Index . 138 A.33.7 Test Suite Exports . 138 A.33.8 The Import Part . 138 A3.3.9 The De

    33、clarations Part . 138 V STD-IS0 Sbqb-3-ENGL ISO/IEC 9646-3: 1998 (E) O ISO/IEC A.3.3.10 Definitions 138 A.3.3.11 Parameterization and Selection 143 A.3.3.12 Declarations . A.3.3.13 ASP. PDU and CM Type Definitions . A.3.3.14 The Constraints Part . A.3.3.15 Test Suite Type Constraint Declarations . 1

    34、54 A.3.3.16 Structured Type Constraint Declarations . 154 A.3.3.17 ASN . 1 Type Constraint Declarations . A.3.3.18 ASP Constraint Declarations 155 A.3.3.19 Tabular ASP Constraint Declarations A.3.3.20 ASN.l ASP Constraint Declarations 156 A.3.3.21 PDU Constraint Declarations 156 A.3.3.22 Tabular PDU

    35、 Constraint Declarations . . 156 A.3.3.23 ASN . 1 PDU Constraint Declarations 158 A.3.3.24 CM Constraint Declarations 159 A.3.3.25 Tabular CM Constraint Declaration 159 A.3.3.26 ASN.1 CM Constraint Declaration . 159 A.3.3.27 The Dynamic Part A.3.3.28 Test Cases . A.3.3.29 Test Step Library . 160 A.3

    36、.330 Default Library . . . 161 . 167 A.5.1 Differences in syntax . 172 A5.2 Additional static semantics in the TCN.MP. 173 A.6 List of BNF production numbers . 174 A.6.1 Introduction 174 A.6.2 The production index . 174 B(normative) Operational semantics of ITCN 181 B.l Introduction . 181 B.2 Preced

    37、ence . 181 B.3 Processing of test case errors . 181 B.4 Converting a modularized test suite to an equivalent expanded test suite 181 B.5 ITCN operational semantics 183 B.5.1 Introduction . 183 B.5.2 The pseudo-code notation 183 B.5.2.1 introduction 183 B.5.2.2 Procedures and functions 183 B.5.23 Pro

    38、cesses 183 B.5.2.4 Natural language within pseudo-code 184 B.5.2.5 Levels and alternatives 184 BJ.3 Execution of a Test Suite 184 B.5.3.1 Introduction 184 B.5.4 Execution of a Test Case . 185 B.5.4.1 Execution of a Test Case - pseudo-code 185 B.5.4.2 Execution of a Test Case or Test Component - natu

    39、ral language . 186 B.5.5 Expanding a set of alternatives 186 B.5.5.1 Introduction . B.5.5.2 Saving Defaults . 187 vi STD-IS0 9b4b-3-ENGL 1998 4853903 07bbb33 583 9 O ISO/IEC ISO/IEC 9646-3: 1998 (E) B.5.53 Expansion of REPEAT constructs . 187 B.5.5.4 Appending default behaviour . 188 B.5.5.5 Expandi

    40、ng attached trees 188 B.5.6 Evaluation of an Event Line 189 B.5.6.1 Pseudo-code 189 B.5.6.2 Natural language description . 189 B.5.7 Functions for ITCN events . 189 B.5.7.1 Functions for “TCN events . pseudo-code 189 B.5.7.2 Functions for ITCN events . natural language description 190 B.5.8 Executio

    41、n of the SEND event . 190 B.5.8.1 Execution of the SEND event . pseudo.code . 190 B.5.8.2 Execution of the SEND event . natural language description 191 B.5.9 Execution of the RECEIVE event 191 B.5.9.1 Execution of the RECEIVE event . pseudo-code . 191 B.5.9.2 Execution of the RECEIVE event . natura

    42、l language description . 192 B.5.10 Execution of the OTHERWISE event 193 B.5.10.1 Execution of the OTHERWISE event . pseudo-code . 193 B.5.10.2 Execution of the OTHERWISE event . natural language description . 193 . 193 B.5.11.1 Execution of the TIMEOUT event . pseudo-code 193 B.5.11.2 Execution of

    43、the TIMEOUT event . natural language description . 194 B.5.12 Execution of the DONE event 195 . 195 B.5.12.2 Execution of the DONE event . natural language description . 195 B.5.13 Execution of the IMPLICIT SEND event . 196 B.5.13.1 Execution of the IMPLICIT SEND event . pseudo-code 196 B.5.13.2 Exe

    44、cution of IMPLICIT SEND . natural language description 196 B.5.14 Execution of a pseudo-event . 196 B.5.14.1 Execution of a pseudo-event - pseudo-code 196 B.5.14.2 Execution of PSEUDO-EVENTS . natural language description 196 . 196 B.5.15.1 Execution of BOOLEAN expressions . pseudo-code . 196 B.5.15

    45、.2 Execution of BOOLEAN expressions . natural language description . 197 B.5.16 Execution of assignments . 197 B.5.16.1 Execution of assignments . pseudo.code. 197 B.5.16.2 Execution of ASSIGNMENTS . natural language description 197 B.5.17 Execution of TIMER operations 197 B.5.17.1 Execution of TIME

    46、R operations . pseudo-code 197 B.5.17.2 Execution of START timer . natural language description . 198 B.5.17.3 Execution of CANCEL timer . natural language description . 198 B.5.17.4 Execution of READTIMER . natural language description 198 BA18 Functions for ITCN constmcts . 198 B.5.18.1 Functions

    47、for TCN constructs . pseudo-code 198 B.5.18.2 Functions for TCN constructs . natural language description 198 B.5.19Execution of the ACTIVATE construct 198 B.5.19.1 Execution of the ACTIVATE construct . pseudo-code 198 B.5.19.2 Execution of the ACTIVATE construct . natural language description . 199

    48、 B.5.20 Execution of the CREATE construct 199 B.5.20.1 Execution of the CREATE event . pseudo-code . 199 B.5.20.2 Execution of the CREATE event . natural language description . 199 B.5.21 Execution of the GOT0 construct . 200 B.5.22 Execution of the RETURN construct 200 B.5.23Theverdict . 200 B.5.23

    49、.1 The verdict . pseudo-code 200 B.5.23.2 The VERDICT . natural language description . 201 B.5.24 The Conformance Log . 201 B.5.24.1 The LOG . pseudo.code 201 B.5.24.2 The conformance log . natural language description 201 B.5.25 Tree handling functions and procedures 202 B.5.11 Execution of the TIMEOUT event B.5.12.1 Execution of the DONE event . pseudo-code . B.5.15 Execution of BOOLEAN expressions ISO/IEC 9646-3: 1998 (E) o ISO/IEC B.5.26 Miscellaneous functions used by the pseudo-code 203 C(normative) TCN Modules 206 C.1 Introduction . 206 C.2 TCN Modu


    注意事项

    本文(ISO IEC 9646-3-1998 Information technology - Open Systems Interconnection - Conformance testing methodology and framework - Part 3 The Tree and Tabular Combined.pdf)为本站会员(medalangle361)主动上传,麦多课文档分享仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知麦多课文档分享(点击联系客服),我们立即给予删除!




    关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

    copyright@ 2008-2019 麦多课文库(www.mydoc123.com)网站版权所有
    备案/许可证编号:苏ICP备17064731号-1 

    收起
    展开