summaryrefslogtreecommitdiff
path: root/cesar/cp/eoc/fsm/test/utest/src/utest.fsm
blob: f251cb6708c121bf97a6cee80de693e188f961dc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
Test Control Plane FSM
  Test FSM for engine test.

States:
 STATE1 [enter=cp_fsm__STATE1__enter]
 STATE2 [enter=cp_fsm__STATE2__enter]
 STATE3
 STATE4
 STATE5 [enter=cp_fsm__STATE5__enter leave=cp_fsm__STATE5__leave]
 STATE6 [enter=cp_fsm__STATE6__enter leave=cp_fsm__STATE6__leave]
 *STATEA
 STATEB

Events:
 event1
 event2
 event3
 event4
 event5
 event6
 error_event_no_branch
  test error conditions: no branch selected
 error_event_bad_branch
  test error conditions: branch not for this event
 error_event_dup_branch
  test error conditions: branch selected two times
 error_urgent_event_transition
  test error conditions: urgent event with transition
 error_urgent_event_branch
  test error conditions: urgent event with branch
 event_mme
 event_sta
 event_beacon
 event_no_action
 eventa
 eventb
 long_event
  long event handling triggering a urgent process
 urgent_event

STATE1:
 event1 -> .
 event2 -> STATE2
 event5 -> STATE5 [NULL]
 error_event_no_branch: branch1 -> .
 error_event_no_branch: branch2 -> .
 error_event_bad_branch: branch1 -> .
 error_event_bad_branch: branch2 -> .
 error_event_dup_branch: branch1 -> .
 error_event_dup_branch: branch2 -> .
 error_urgent_event_transition -> STATE2 [NULL]
 error_urgent_event_branch: branch1 -> .
 error_urgent_event_branch: branch2 -> .
 event_mme -> .
 event_sta -> .
 event_beacon -> .
 event_no_action -> STATE3 [NULL]
 eventb -> STATE3
 long_event -> STATE3
 urgent_event -> .

STATE2:
 event3: branch1 -> STATE3
 event3: branch2 -> STATE4

STATE3:
 event2 -> STATE2
 urgent_event -> .

STATE3, STATE4:
 event1: branch1 -> STATE1
 event1: branch2 -> .

STATE5:
 event5 -> . [NULL]
 event6 -> STATE6 [NULL]

STATE6:
 event1 -> STATE1 [NULL]

STATEA:
 eventb -> STATEB

STATEB:
 eventa -> STATEA