1 / 25

HyperMSC – a Graphical Representation of TTCN

HyperMSC – a Graphical Representation of TTCN. Jens Grabowski University of Lübeck, Institute for Telematics joint work with Ekkart Rudolph and Ina Schieferdecker. Outline. Motivation STF 156 Objectives Initial trials Advanced trials Future. Motivation (1).

kalin
Download Presentation

HyperMSC – a Graphical Representation of TTCN

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. HyperMSC – a Graphical Representation of TTCN Jens Grabowski University of Lübeck, Institute for Telematics joint work with Ekkart Rudolph and Ina Schieferdecker

  2. Outline • Motivation • STF 156 • Objectives • Initial trials • Advanced trials • Future

  3. Motivation (1) • Once upon a time …6 months ago,I talked with Ekkart and during this talk I told him that there was a call for experts for the ETSI project 156 with the goal to develop an MSC/UML presentation format for TTCN-3. • We discussed the problems to solve in this project.

  4. Motivation (2) • Ekkart and Ina applied for the project and both were selected as experts. • The results of the discussions and initial work look promising for a broader application area than the presentation of TTCN-3 test suites … • … and that’s the reason why I am standing here!

  5. STF 156 • “Specification of an MSC/UML presentation format for TTCN-3 & validation of TTCN-3” • Project Leader:Anthony Wiles (PEX ETSI) • MSC/UML format:Ina Schieferdecker (GMD Fokus)Ekkart Rudolph (TU München) [Paul Baker (Motorola)] • TTCN-3:Colin Willcock (Nokia Research)Jens Grabowski

  6. Objectives (1) Text format TTCN-3 Tabular format ASN.1 Types & Values Other Types & Values 2 MSC format TTCN-3 User Other Types & Values n Presentation formatn

  7. Objectives (2) function PO49901(integer FL) runs on MyPTC { L0.send(A_RL3(FL,CREF1,16)); TAC.start; alt { [] L0.receive(A_RC1((FL+1) mod 2)) { TAC.cancel } [] TAC.timeout { verdict.set(inconclusive) } [] any.receive { verdict.set(inconclusive) } } END_PTC1() // Function call }

  8. Objectives (3)

  9. Objectives (4)

  10. Initial trials (1)

  11. alt alt alt alt L0 msc PR30001 MTCA Initialtrials (2) INIT_VARIABLES [L2_INIT] DL_REL_RQ layer2 TAC release DL_REL_CO UA or DM received; TAC layer 2 released TNOAK PASS DL_EST_IN SABME TNOAK received PASS WAIT_RESTART TNOAK DL_EST_RQ re- establishment TAC DL_EST_CO UA received; TAC data link established PASS WAIT_RESTART DM received; DL_REL_IN IUT still busy INCONC no TAC response INCONC OTHERWISE invalid event INCONC OTHERWISE invalid event INCONC no TAC response INCONC OTHERWISE invalid event INCONC [ NOT L2_INIT] PASS

  12. Initial trials (3)

  13. Advanced trials (1)

  14. Advanced trials (2) msc MSN_N01_001 MTCA L0 CPA1 PCO MTC CP (PTC1: PTC1_IN) PR30001 CP_M(S_SU1) TWAIT alt SETUPr( A_SU11) valid setup CREF1:=SETUPr.mun.cr.cr_r TWAIT PASS CS59901(6,1) SETUPr(A_SU1) A SETUP not according to the test purpose is received CREF1:=SETUPr.mun.cr.cr_r TWAIT FAIL P049901(1) postamble NO TWAIT no response INCONC END_PTC1

  15. CS59901(6,1) MSN_N01_0001a MSN_N01_0001b Advanced trials (3) msc MSN_N01_001 MTCA L0 (PTC1: PTC1_IN) PR30001 CPA1:CP_M(S_SU1) TWAIT alt SETUPr( A_SU11) valid setup CREF1:=SETUPr.mun.cr.cr_r TWAIT PASS

  16. Advanced trials (4) msc MSN_N01_001 MTCA L0 (PTC1: PTC1_IN) PR30001 CPA1:CP_M(S_SU1) TWAIT alt SETUPr( A_SU11) valid setup CREF1:=SETUPr.mun.cr.cr_r TWAIT PASS CS59901(6,1) A SETUP not according to the test purpose is received (FAIL) postamble NO no response (INCONC)

  17. A SETUP not according postamble N0 to testpurpose is received no response ( FAIL ) (INCONC) Advanced trials (5) msc MSN_N01_001 MTCA (PTC1: PTC1_IN) PR30001 CPA1:CP_M(S_SU1) TWAIT L0 MTCA SETUPr( A_SU11) valid setup CREF1:=SETUPr.mun.cr.cr_r TWAIT PASS CS59901(6,1)

  18. Advanced trials (6) msc MSN_N01_001 MTCA L0 (PTC1: PTC1_IN) PR30001 CPA1:CP_M(S_SU1) TWAIT SETUPr(A_SU11) valid setup CREF1:=SETUPr.mun.cr.cr_r A SETUP not according postamble N0 TWAIT to testpurpose is received no response ( FAIL ) (INCONC) PASS CS59901(6,1)

  19. Advanced trials (7) msc MSN_N01_001 MTCA L0 (PTC1: PTC1_IN) PR30001 CPA1:CP_M(S_SU1) TWAIT SETUPr(A_SU11) valid setup CREF1:=SETUPr.mun.cr.cr_r A SETUP not according postamble N0 TWAIT to testpurpose is received no response ( FAIL ) (INCONC) PASS CS59901(6,1) MTCA L0 TWAIT postamble NO no response INCONC END_PTC1

  20. Advanced trials (8) msc MSN_N01_001 MTCA L0 (PTC1: PTC1_IN) PR30001 CPA1:CP_M(S_SU1) TWAIT TWAIT postamble NO no response INCONC A SETUP not according valid setup to testpurpose is received (PASS) END_PTC1 ( FAIL )

  21. alt alt alt alt L0 msc PR30001 MTCA Advancedtrials (9) INIT_VARIABLES [L2_INIT] DL_REL_RQ layer2 TAC release DL_REL_CO UA or DM received; TAC layer 2 released TNOAK PASS DL_EST_IN SABME TNOAK received PASS WAIT_RESTART TNOAK DL_EST_RQ re- establishment TAC DL_EST_CO UA received; TAC data link established PASS WAIT_RESTART DM received; DL_REL_IN IUT still busy INCONC no TAC response INCONC OTHERWISE invalid event INCONC OTHERWISE invalid event INCONC no TAC response INCONC OTHERWISE invalid event INCONC [ NOT L2_INIT] PASS

  22. msc PR30001 Advancedtrials (10) INIT_VARIABLES [ NOT L2_INIT] [L2_INIT] PASS invalid event (INCONC) MTCA L0 DL_REL_RQ layer2 release TAC no response DL_REL_CO UA or DM received; (INCONC) layer 2 released TAC TNOAK PASS DL_EST_IN re-establishment SABME received TNOAK PASS WAIT_RESTART

  23. Future (1)

  24. Future (2)

  25. End • What do you think? Thank you for your attention!

More Related