HyperMSC a Graphical Representation of TTCN

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 thats 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
MSC format
Other Types Values 2
TTCN-3 User
Presentation formatn
Other Types Values n
7
Objectives (2)

• function PO49901(integer FL) runs on MyPTC
• L0.send(A_RL3(FL,CREF1,16))
• TAC.start
• alt
• L0.receive(A_RC1((FL1) 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
Initialtrials (2)
L0
msc
PR30001
MTCA
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
UA received
DL_EST_CO
data link established
TAC
PASS
WAIT_RESTART
DM received
DL_REL_IN
IUT still busy
INCONC
TAC
no
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
CREF1SETUPr.mun.cr.cr_r
TWAIT
PASS
CS59901(6,1)
SETUPr(A_SU1)
A SETUP not according
to the test purpose is received
CREF1SETUPr.mun.cr.cr_r
TWAIT
FAIL
P049901(1)
postamble NO
TWAIT
no response
INCONC
END_PTC1
15
Advanced trials (3)
msc
MSN_N01_001
MTCA
L0
(PTC1 PTC1_IN)
PR30001
CPA1CP_M(S_SU1)
TWAIT
alt
SETUPr(
A_SU11)
valid setup
CREF1SETUPr.mun.cr.cr_r
TWAIT
PASS
16
Advanced trials (4)
msc
MSN_N01_001
MTCA
L0
(PTC1 PTC1_IN)
PR30001
CPA1CP_M(S_SU1)
TWAIT
alt
SETUPr(
A_SU11)
valid setup
CREF1SETUPr.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
Advanced trials (5)
msc
MSN_N01_001
MTCA
(PTC1 PTC1_IN)
PR30001
CPA1CP_M(S_SU1)
TWAIT
L0
MTCA
SETUPr(
A_SU11)
valid setup
CREF1SETUPr.mun.cr.cr_r
TWAIT
PASS
CS59901(6,1)
18
Advanced trials (6)
msc
MSN_N01_001
MTCA
L0
(PTC1 PTC1_IN)
PR30001
CPA1CP_M(S_SU1)
TWAIT
SETUPr(A_SU11)
valid setup
CREF1SETUPr.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
CPA1CP_M(S_SU1)
TWAIT
SETUPr(A_SU11)
valid setup
CREF1SETUPr.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
CPA1CP_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
Advancedtrials (9)
L0
msc
PR30001
MTCA
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
UA received
DL_EST_CO
data link established
TAC
PASS
WAIT_RESTART
DM received
DL_REL_IN
IUT still busy
INCONC
TAC
no
response
INCONC
OTHERWISE
invalid
event
INCONC
OTHERWISE
invalid
event
INCONC
no
TAC
response
INCONC
OTHERWISE
invalid
event
INCONC

NOT
L2_INIT
PASS
22
Advancedtrials (10)
msc
PR30001
INIT_VARIABLES

NOT
L2_INIT
L2_INIT
PASS
invalid event
(INCONC)
MTCA
L0
DL_REL_RQ
layer2 release
TAC
no response
UA or DM received
DL_REL_CO
(INCONC)
layer 2 released
TAC
TNOAK
PASS
DL_EST_IN
SABME received
re-establishment
TNOAK
PASS
WAIT_RESTART
23
Future (1)
24
Future (2)
25
End

• What do you think?
• Thank you for your attention!