summaryrefslogtreecommitdiff
path: root/cesar/cp/eoc/fsm/test/utest/src/utest.fsm
diff options
context:
space:
mode:
Diffstat (limited to 'cesar/cp/eoc/fsm/test/utest/src/utest.fsm')
-rw-r--r--cesar/cp/eoc/fsm/test/utest/src/utest.fsm86
1 files changed, 86 insertions, 0 deletions
diff --git a/cesar/cp/eoc/fsm/test/utest/src/utest.fsm b/cesar/cp/eoc/fsm/test/utest/src/utest.fsm
new file mode 100644
index 0000000000..f251cb6708
--- /dev/null
+++ b/cesar/cp/eoc/fsm/test/utest/src/utest.fsm
@@ -0,0 +1,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
+