Grammar Directed TTCN-3 CD Program Synthesis

Vergelijkbare documenten
Introductie in flowcharts

Contents. An Augmented Backus-Naur Format, (ABNF), Parser Generator for Erlang. Anders Nygren ABNF Using abnfc Implementation Todo

LONDEN MET 21 GEVARIEERDE STADSWANDELINGEN 480 PAGINAS WAARDEVOLE INFORMATIE RUIM 300 FOTOS KAARTEN EN PLATTEGRONDEN

Opleiding PECB ISO 9001 Quality Manager.

Process Mining and audit support within financial services. KPMG IT Advisory 18 June 2014

NMOZTMKUDLVDKECVLKBVESBKHWIDKPDF-WWUS Page File Size 9,952 KB 29 May, 2016

NCTS - INFORMATIE INZAKE NIEUWIGHEDEN VOOR 2010

Stephanie van Dijck De integrale aanpak maakt complexiteit hanteerbaar

Contents. Introduction Problem Definition The Application Co-operation operation and User friendliness Design Implementation

Risk & Requirements Based Testing

KPMG PROVADA University 5 juni 2018

UvA-DARE (Digital Academic Repository) Education in wrist arthroscopy Obdeijn, Miryam. Link to publication

Interaction Design for the Semantic Web

Online Resource 1. Title: Implementing the flipped classroom: An exploration of study behaviour and student performance

(Big) Data in het sociaal domein

Building the next economy met Blockchain en real estate. Lelystad Airport, 2 november 2017 BT Event

Concept of Feedback. P.S. Gandhi Mechanical Engineering IIT Bombay

MyDHL+ Van Non-Corporate naar Corporate

Voorkom pijnlijke verrassingen Nieuwe Controleaanpak Belastingdienst. Presentator: Remko Geveke

en DMS koppelvlak Utrecht, 14 april 2011

PDF hosted at the Radboud Repository of the Radboud University Nijmegen

Besluitenlijst CCvD HACCP/ List of decisions National Board of Experts HACCP

Future of the Financial Industry

GernEdiT The GermaNet Editing Tool

2010 Integrated reporting

4 JULI 2018 Een eerste kennismaking met gemeentefinanciën en verbonden partijen voor raadsleden - vragen

Annual event/meeting with key decision makers and GI-practitioners of Flanders (at different administrative levels)

Besluitenlijst CCvD HACCP/ List of decisions National Board of Experts HACCP

Opleiding PECB IT Governance.

Workflow en screenshots Status4Sure

Instructions assembly Decoderprintje 2

WORKSHOP : COMPTENCES FOR THE SUSTAINABLE DEVELOPMENT GOALS ( SDGs )

Intelligente en toegankelijke proces & instrumentatie diagramma s (P&ID) met Creo Schematics. Koenraad Achten Presales Engineer

eid Routeringsvoorziening OpenID Connect

Bescherming van (software) IP bij uitbesteding van productie

TOEGANG VOOR NL / ENTRANCE FOR DUTCH : lator=c&camp=24759

De brug tussen requirement engineer en gebruiker

0515 FOREIGN LANGUAGE DUTCH

General info on using shopping carts with Ingenico epayments

TKI Project: Multi-stage Stochastic and Robust Optimization of Flood Mitigation Measures under Forecast Uncertainty. Workshop Stakeholder

Gemeente Ridderkerk Controle jaarrekening Ridderkerk 4 juli 2019 Jesper van Koert Reinier Moet Rein-Aart van Vugt

Ervaringen met begeleiding FTA cursus Deployment of Free Software Systems

Linked Open Data en EDM. Jacco van Ossenbruggen Centrum Wiskunde & Informatica (CWI) Vrije Universiteit Amsterdam

SAP Exchange Infrastructure. SAP Partner Connectivity Kit Overview

Een vrouw, een kind en azijn (Dutch Edition)

Developing an adaptive, diagnostic test of. English writing skills

Topic 10-5 Meeting Children s Intellectual Needs

Thinking of development

Continuous Delivery. Sander Aernouts

Handleiding Zuludesk Parent

Welke factoren beïnvloeden het gezamenlijk leren door leraren? Een systematische literatuurreview Thurlings, M.C.G.; den Brok, P.J.

SOLVING SET PARTITIONING PROBLEMS USING LAGRANGIAN RELAXATION

Classification of triangles

Continuous testing in DevOps met Test Automation

Procrustes analyse (1) Steenkamp, J.E.B.M.; van Trijp, J.C.M.; Verhallen, T.M.M.

Parkstad Limburg Energy Transition Implementation Program PALET 3.0. Discussie en vragen

01/ M-Way. cables

GOVERNMENT NOTICE. STAATSKOERANT, 18 AUGUSTUS 2017 No NATIONAL TREASURY. National Treasury/ Nasionale Tesourie NO AUGUST

Cambridge Assessment International Education Cambridge International General Certificate of Secondary Education. Published

Unit 14: Brand Development & Promotion

RAAD VAN DE EUROPESE UNIE. Brussel, 4 december 2007 (OR. en) 15202/07 VISA 346 COMIX 968

SAMPLE 11 = + 11 = + + Exploring Combinations of Ten + + = = + + = + = = + = = 11. Step Up. Step Ahead

Published in: Onderwijs Research Dagen 2013 (ORD2013), mei 2013, Brussel, Belgie

IRO Meeting Humboldt Universität zu Berlin 6/7 May European Campus. Erasmus Mundus Action 4. Enhancing Attractiveness

HIRLAM Plans for academic research models. Tilly Driesenaar Scientific secretary HIRLAM

Opportunities for Collaborative Interdisciplinary Programs. James W. Jones Director, FCI

FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE. Toets Inleiding Kansrekening 1 8 februari 2010

ZorgMail Address Book SE Documentation

Serious gaming = Serious recruitment = serious assessments

TFS als perfecte tool voor Scrum

Zo werkt het in de apotheek (Basiswerk AG) (Dutch Edition)

UvA-DARE (Digital Academic Repository) Inquiry-based leading and learning Uiterwijk-Luijk, E. Link to publication

FOD VOLKSGEZONDHEID, VEILIGHEID VAN DE VOEDSELKETEN EN LEEFMILIEU 25/2/2016. Biocide CLOSED CIRCUIT

Optional client logo (Smaller than Deloitte logo) State of the State

Creatief onderzoekend leren

Examenreglement Opleidingen/ Examination Regulations

Issues in PET Drug Manufacturing Steve Zigler PETNET Solutions April 14, 2010

Esther Lee-Varisco Matt Zhang

L.Net s88sd16-n aansluitingen en programmering.

Ius Commune Training Programme Amsterdam Masterclass 15 June 2018

Uitleg geven hoe men een VPN connectie kan opzetten i.c.m. een RSA token.

EM6250 Firmware update V030507

Medical ethics & genomics Current legal framework and FAQ. Eline Bunnik Genomic Resequencing in Medical Diagnostics 24 September 2015

Open Access voor wetenschappelijke data in VLIZ Archiveren, documenteren, publiceren en herverdelen

ANGSTSTOORNISSEN EN HYPOCHONDRIE: DIAGNOSTIEK EN BEHANDELING (DUTCH EDITION) FROM BOHN STAFLEU VAN LOGHUM

How are Total Cost of Ownership and Whole Life Value methods used? For AMNL 7 th June 2017

Vergaderen in het Engels

Tax Directors Forum. Na de hoogtij van Horizontaal Toezicht nu een klimaat waarin boetes veel dichterbij gekomen zijn? Rotterdam, 12 februari 2015

Usability evaluation of a guideline implementation systym for cardiac rehabilitation: Think aloud study

Installatie van Windows 10 op laptops. Windows 10 installation on laptops

The Digital Professional. LIO-bijeenkomst Data-analyse en Auditing. Presentation by drs. Angelique Koopman RE RA. LIO bijeenkomst NBA, 25 juni 2018

My Benefits My Choice applicatie. Registratie & inlogprocedure

Innovatie instrument en financierings mogelijkheden

Bijlage 2: Informatie met betrekking tot goede praktijkvoorbeelden in Londen, het Verenigd Koninkrijk en Queensland

Ctrl Ketenoptimalisatie Slimme automatisering en kostenreductie

Third party mededeling

Inter-proces Conclusies vanuit sub-wg:

Supplement. Treatment Letter

Transcriptie:

Grammar Directed TTCN-3 CD Program Synthesis 2009-11-15

Agenda Introduction The Challenges The Common Framework of Generation CD The Method of automatic CD Generation Example

Introduction CD is an important component for TTCN-3 testing The CD entity is optionally responsible for the external encoding and decoding data associated with message based or procedure based communication within the TE. There may be a different CD for different SUT CD development sometimes waste of time

The Challenges For large protocol stack, the effort involved in CD development is huge The data type of the SUT may change, leading to difficulties in maintaining CD

The Challenges For example: the CD (Testing Technologies IST GmbH version 1.0.0) of the SIP testing #data types:about 120 #Sip Message header type :about 40 The size of SIP CD in C++ LOC:about 10000 The amount of functions:about 200 The size of SIP CD by OSIP LOC:about 5000 The amount of functions:about 150

The Challenges Problem: there is any cost-effective Problem: there is any cost-effective method?

The Common Framework of Generation CD The idea of the CD development analyze data flow data flow decomposition CD generation

The Common Framework of Generation CD complex data type A A basic data type i subtype B basic data type j basic data type k subtype C subtype D B C D basic data type m i j k m

The Common Framework of Generation CD For example: a URL decode

The Common Framework of Generation CD http://www.163.com:80/news/index.html?top=10&local=beijing decode_url http www.163.com:80 news/index.html top=10&local=beijing decode_scheme decode_userinfo decode_hostport decode_path decode_params decode_param decode_integer decode_charstring

The Common Framework of Generation CD The shortage of the common framework of generation CD A different CD corresponds with a different SUT complex CD development is difficult

The method of automatic CD Generation The idea of the automatic CD generation data type of TTCN-3 definition For example: type record URL { charstring scheme optional, UserInfo userinfo optional, HostPort hostport optional, Param_List urlparameters optional } separating character separating character is useful to analyze the data data type + separating character +syntax CD

The method of automatic CD Generation The framework of the automatic CD generation TTCN-3 data type automatic CD builder CD code separating character CD code segments

The method of automatic CD Generation separating character For example: {Url}:='<' charstring/scheme ':'{UserInfo/userInfo}!'@'{HostPort/hostPort}'>'{Params/urlParameters}!

The method of automatic CD Generation Step1:generate syntax of the data type by TTCN-3 Step2:complete the sentence manually (add the necessary token ) Step3:generate CD by full syntax

The method of automatic CD Generation Step1:generate syntax of the data type by TTCN-3 Step2:complete the sentence manually (add the necessary token ) Step3:generate CD by full syntax

Example (SIP CD) Step1:generate syntax of the data type by TTCN-3 {MessageHeader}:={To/toField}! {To}:={FieldName/fieldName}{Addr_Union/addressField}{SemicolonParam_Li st/toparams}! {FieldName}:== enumerated {Addr_Union}:={NameAddr/nameAddr} {SipUrl/addrSpecUnion} {NameAddr}:= charstring/displayname!{sipurl/addrspec} {SipUrl}:= charstring/scheme {UserInfo/userInfo}!{HostPort/hostPort}{Semic olonparam_list/urlparameters}!{ampersandparam_list/headers}! {UserInfo}:= charstring/userortelephonesubscriber! charstring/password! {HostPort}:= charstring/host! integer/portfield! {SemicolonParam_List}:={GenericParam/genericParam}.. {GenericParam}:= charstring/id! charstring/paramvalue! {AmpersandParam_List}:={GenericParam/genericParam}..

Example (SIP CD) Step2:fill the separation tokens in grammar rules manually {MessageHeader}:={To/toField}! {To}:={FieldName/fieldName}{Addr_Union/addressField}{SemicolonParam_List/toP arams}! {FieldName}:== enumerated ':' {Addr_Union}:={NameAddr/nameAddr} {SipUrl/addrSpecUnion} {NameAddr}:= charstring/displayname!{sipurl/addrspec} {SipUrl}:='<' charstring/scheme ':'{UserInfo/userInfo}!'@'{HostPort/hostPort}'>'{ SemicolonParam_List/urlParameters}!{AmpersandParam_List/headers}! {UserInfo}:= charstring/userortelephonesubscriber! '='charstring/password! {HostPort}:= charstring/host! ':'integer/portfield! {SemicolonParam_List}:=';'{GenericParam/genericParam}..';' {GenericParam}:= charstring/id! '='charstring/paramvalue! {AmpersandParam_List}:='&'{GenericParam/genericParam}..'&'

Example (SIP CD) Step3:generate CD by full syntax The amount of code:about 1200 lines

Thank you!