Microsoft PowerPoint - TTCN-Introduction-v5.ppt

Similar documents
Automatic Protocol Conformance Test Generation Based on Model Checking By JI ZHONG HE A dissertation submitted to the graduate faculty in partial fulf

<4D F736F F F696E74202D20C8EDBCFEBCDCB9B9CAA6D1D0D0DEBDB2D7F92E707074>

2/80 2

Microsoft PowerPoint - ARC110_栾跃.ppt

关 于 瓶 装 水, 你 不 得 不 知 的 8 件 事 情 关 于 瓶 装 水, 你 不 得 不 知 的 8 件 事 情 1 水 质 : 瓶 装 的, 不 一 定 就 是 更 好 的 2 生 产 : 监 管 缺 位, 消 费 者 暴 露 于 风 险 之 中 人 们 往 往 假 定 瓶 装 水 是

HCD0174_2008

Microsoft PowerPoint - 数据通信-ch1.ppt

Microsoft Word doc

Microsoft PowerPoint - Aqua-Sim.pptx

untitled

國立中山大學學位論文典藏.PDF

國立中山大學學位論文典藏.PDF

untitled

声 明 本 人 郑 重 声 明 : 此 处 所 提 交 的 硕 士 学 位 论 文 基 于 等 级 工 鉴 定 的 远 程 考 试 系 统 客 户 端 开 发 与 实 现, 是 本 人 在 中 国 科 学 技 术 大 学 攻 读 硕 士 学 位 期 间, 在 导 师 指 导 下 进 行 的 研 究

Olav Lundström MicroSCADA Pro Marketing & Sales 2005 ABB - 1-1MRS755673

Form: RWPRR401-B

OSI OSI 15% 20% OSI OSI ISO International Standard Organization 1984 OSI Open-data System Interface Reference Model OSI OSI OSI OSI ISO Prototype Prot

國立中山大學學位論文典藏

PowerPoint 簡報

東吳大學

2008 Nankai Business Review 61

K301Q-D VRT中英文说明书141009

A B C D RRC350 RRC Roteo 35/35G

BC04 Module_antenna__ doc

14 建筑环境设计模拟分析软件DeST--辅助商业建筑设计应用实例.doc

Microsoft Word - (web)_F.1_Notes_&_Application_Form(Chi)(non-SPCCPS)_16-17.doc

Preface This guide is intended to standardize the use of the WeChat brand and ensure the brand's integrity and consistency. The guide applies to all d

* RRB *

9 Internet 10 Internet

IP TCP/IP PC OS µclinux MPEG4 Blackfin DSP MPEG4 IP UDP Winsock I/O DirectShow Filter DirectShow MPEG4 µclinux TCP/IP IP COM, DirectShow I

Abstract Today, the structures of domestic bus industry have been changed greatly. Many manufacturers enter into the field because of its lower thresh

会议手册.indd

OOAD PowerDesigner OOAD Applying PowerDesigner CASE Tool in OOAD PowerDesigner CASE Tool PowerDesigner PowerDesigner CASE To

PCPDbooklet_high-res.pdf

GB Sparkle

/

1.2 资 金 的 管 理 1.1 权 利 义 务 来 源 MOU 1.3 数 据 的 使 用 和 保 护 2 国 际 空 间 站 资 源 分 配 方 案 54

1. 請 先 檢 查 包 裝 內 容 物 AC750 多 模 式 無 線 分 享 器 安 裝 指 南 安 裝 指 南 CD 光 碟 BR-6208AC 電 源 供 應 器 網 路 線 2. 將 設 備 接 上 電 源, 即 可 使 用 智 慧 型 無 線 裝 置 進 行 設 定 A. 接 上 電 源

Microsoft PowerPoint - IAS 21 - IFRS宣導會.pptx

XML XML XMPP XML XML Schema XML XML,,, XML,

Microsoft PowerPoint - NCBA_Cattlemens_College_Darrh_B

892213E006146

UDC Empirical Researches on Pricing of Corporate Bonds with Macro Factors 厦门大学博硕士论文摘要库

致 谢 开 始 这 篇 致 谢 的 时 候, 以 为 这 是 最 轻 松 最 愉 快 的 部 分, 而 此 时 心 头 却 充 满 了 沉 甸 甸 的 回 忆 和 感 恩, 一 时 间 竟 无 从 下 笔 虽 然 这 远 不 是 一 篇 完 美 的 论 文, 但 完 成 这 篇 论 文 要 感 谢

Microsoft PowerPoint ARIS_Platform_en.ppt

國立中山大學學位論文典藏

穨control.PDF

豐佳燕.PDF

lan03_yen

untitled

致 谢 本 论 文 能 得 以 完 成, 首 先 要 感 谢 我 的 导 师 胡 曙 中 教 授 正 是 他 的 悉 心 指 导 和 关 怀 下, 我 才 能 够 最 终 选 定 了 研 究 方 向, 确 定 了 论 文 题 目, 并 逐 步 深 化 了 对 研 究 课 题 的 认 识, 从 而 一


Microsoft Word - 黃淑蓉碩士論文_0817

m 3 m m 84 m m m m m m m

數位教學平台介面操作

Microsoft Word - HC20138_2010.doc

LH_Series_Rev2014.pdf

STEAM STEAM STEAM ( ) STEAM STEAM ( ) 1977 [13] [10] STEM STEM 2. [11] [14] ( )STEAM [15] [16] STEAM [12] ( ) STEAM STEAM [17] STEAM STEAM STEA

30 ml polystyrene 4 mm ph 0.1 mg blender M -cm D. pulex D. magna 20 L 2 20

中国人民大学商学院本科学年论文

Microsoft Word - Appendices (Chi) revised August 2014

AI-AUTO-011 Saflex® Advanced PVB - Color Interlayer (Chinese)


IT 36% Computer Science Teachers Association, CSTA K K-12 CSTA K-12 K-12 K-6 K6-9 K STEM STEM STEM

Microsoft PowerPoint - CH 04 Techniques of Circuit Analysis

HC70245_2008


論 文 摘 要 本 文 乃 係 兩 岸 稅 務 爭 訟 制 度 之 研 究, 蓋 稅 務 爭 訟 在 行 訴 訟 中 一 直 占 有 相 當 高 的 比 例, 惟 其 勝 訴 率 一 直 偏 低, 民 87 年 10 月 28 日 行 訴 訟 法 經 幅 修 正 後, 審 級 部 分 由 一 級 一

1

( ) ( ) ( ) ( )

<4D F736F F D20B1E5C3CEC4C8CBB6CABFB1CFD2B5C2DBCEC42E646F63>

政治哲學要跨出去!

Panaboard Overlayer help

Improved Preimage Attacks on AES-like Hash Functions: Applications to Whirlpool and Grøstl


Construction of Chinese pediatric standard database A Dissertation Submitted for the Master s Degree Candidate:linan Adviser:Prof. Han Xinmin Nanjing

HKG_ICSS_FTO_sogobrilingual_100_19Feb2016_31837_tnc

Abstract The Research Origin: Since its enactment in 28 th December 2005, the Freedom of Government Information Law has been enforced for six years. S

Important Notice SUNPLUS TECHNOLOGY CO. reserves the right to change this documentation without prior notice. Information provided by SUNPLUS TECHNOLO

UDC The Design and Implementation of a Specialized Search Engine Based on Robot Technology 厦门大学博硕士论文摘要库

2

東莞工商總會劉百樂中學

HC50246_2009

學校發展計劃(二零零六至二零零七年)

Microsoft Word - Xinhua Far East_Methodology_gb_2003.doc

Microsoft Word - ChineseSATII .doc

untitled

Microsoft Word doc

activities and potential deployment scenario of the system. Finally, current work in China on the Cooperative ITS system is shortly introduced


Shanghai International Studies University A STUDY ON SYNERGY BUYING PRACTICE IN ABC COMPANY A Thesis Submitted to the Graduate School and MBA Center I

硕 士 学 位 论 文 论 文 题 目 : 北 岛 诗 歌 创 作 的 双 重 困 境 专 业 名 称 : 中 国 现 当 代 文 学 研 究 方 向 : 中 国 新 诗 研 究 论 文 作 者 : 奚 荣 荣 指 导 老 师 : 姜 玉 琴 2014 年 12 月

HC20131_2010

學校發展計劃(二零零六至二零零七年)

國家圖書館典藏電子全文

Chun- Chao Tseng Far East colledge Abstract This study focuses on the school administration which is closely related to whether the administrative aff

\\Lhh\07-02\黑白\内页黑白1-16.p

HC20093A_2008


Multi-national Company Operation and Public...

Transcription:

Conformance Testing and TTCN 工研院無線通訊技術部林牧台 / Morton Lin 03-5912360 mtlin@itri.org.tw 1

Outline Introduction and Terminology Conformance Testing Process 3GPP conformance testing and test cases A real world example Test generation Test realization TTCN Introduction Overview part Declaration part Constraint part Dynamic Part Test execution 2

Introduction (1) A protocol describes the rules with which computer systems have to comply in their communication with other computer systems. How to make sure that these implementations really behave according to these standards protocol specifications, i.e. conform to these standards? An implementation of a protocol entity is tested with respect to its specification. The aim is to gain confidence that during normal use the system will work satisfactory. To Certify the implementation with respect to the standard. 3

Software testing Introduction (2) Structural testing = white-box testing Based on the internal structure of a computer program. The aim is to exercise thoroughly the program code. e.g. by executing each statement at least once, or trying to execute all paths through the program code. Structure tests are derived from the program code. Functional testing = black-box testing Testing the externally observed functionality of a program based on its specification. No reference is made to the internal structure of the program. Main goal is to determine whether the right (with respect to the specification) product has been built. Functional tests are derived from the specification. 4

Conformance Testing A kind of functional testing An implementation of a protocol entity is solely tested for conformance with respect to the requirements given in its specification The process of testing the extent to which implementations of protocol entities adhere to the requirements stated in the relevant standard or specification Concerned with external behavior (black box) Prerequisites for interoperability The primary objective of conformance testing is to increasing the probability that different product implementations actually interoperate. Testing of implementations But NOT with performance, reliability, fault tolerance, efficiency, etc. 5

ISO/IEC 9646 The standard 6

OSI Terminology Layer S Layer S Session layer Layer T Service provided PDU Layer T SP SAP SP Transport layer Service used Layer N Layer N Network layer SP : Service Primitive SAP : Service Access Point PDU : Protocol Data Unit 7

Conformance Testing Terminology Upper Tester ASP ASP PCO PDU IUT ASP: Abstract Service Primitive ASP ASP PCO PCO: Point of Control and Observation IUT: Implementation Under Test Lower Tester PDU: Protocol Data Unit Tester: Test script written in TTCN The PCO has two FIFO queues: Send (from tester to IUT) Receive (by tester from IUT ) TTCN: Tree and Tabular Combined Notation (TTCN-2) 8

Conformance Testing Process Standard Protocol Specification Test generation Abstract Test Case TTCN Test realization Protocol implementation Executable Test Case C System System Under Under Test Test IUT Tester Tester Test execution Verdict (result) : accept failure inconclusive error (in test HW) 9

Test Generation Standard TPs Test Purposes (in English) Abstract Test Suite (in TTCN) ATS Protocol Implementation Conformance Statement (tables) PICS Protocol Implementation extra Information for Testing (tables) PIXIT 10

Test realization ATS is non-executable test suite. has to be converted into ETS. ATS is specified independently of any real testing device. Test selection: the tests relevant to the IUT are selected based on the PICS Also information about the IUT and its environment must be supplied: PIXIT Use tools to convert the ATS in TTCN to C executable code. The C code generated has to be adapted based upon the target environment. 11

Outline Introduction and Terminology Conformance Testing Process 3GPP conformance testing and test cases A real world example Test generation Test realization TTCN Introduction Overview part Declaration part Constraint part Dynamic Part Test execution 12