PyModel/samples/WebApplication/test_composition.py at master · Python3pkg/PyModel · GitHub

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
"""
Test composition with return values
"""

cases = [
    # TestSuite
    ('Generate FSM from TestIntSuccess, ReadInt returns correct value',
     'pma TestIntSuccess'),

    ('Generate dot',
     'pmg TestIntSuccessFSM'),

    ('Generate SVG',
     'dotsvg TestIntSuccessFSM'),

    ('Generate FSM from TestIntWrong, ReadInt returns wrong value',
     'pma TestIntWrong'),

    ('Generate dot',
     'pmg TestIntWrongFSM'),

    ('Generate SVG',
     'dotsvg TestIntWrongFSM'),

    ('Generate FSM from composition, should not synchronize on different args',
     'pma -o TestIntComposeLogoutFSM TestIntSuccess TestIntWrongLogout'),

    ('Generate dot',
     'pmg TestIntComposeLogoutFSM'),

    ('Generate SVG',
     'dotsvg TestIntComposeLogoutFSM'),

    ('Generate FSM from composition, should not synchronize on different results',
     'pma -o TestIntComposeFSM TestIntSuccess TestIntWrong'),

    ('Generate dot',
     'pmg TestIntComposeFSM'),

    ('Generate SVG',
     'dotsvg TestIntComposeFSM'),
]