PyModel/samples/WebApplication/test_offline.ref 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
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
87
88
89
90
91
92
93
94
95
96
97
98
Initialize()
Login('OleBrumm', 'Correct') / 'Success'
Login('VinniPuhh', 'Incorrect') / 'Failure'
Logout('OleBrumm',)
Login('OleBrumm', 'Correct') / 'Success'
UpdateInt('OleBrumm', 1)
UpdateInt('OleBrumm', 1)
UpdateInt('OleBrumm', 2)
Login('VinniPuhh', 'Correct') / 'Success'
UpdateInt('OleBrumm', 1)
Logout('OleBrumm',)
Logout('VinniPuhh',)
  0. Finished at step 12, reached accepting state
Initialize()
Login('VinniPuhh', 'Incorrect') / 'Failure'
Login('OleBrumm', 'Correct') / 'Success'
UpdateInt('OleBrumm', 1)
ReadInt('OleBrumm',) / 1
UpdateInt('OleBrumm', 2)
Login('VinniPuhh', 'Incorrect') / 'Failure'
Logout('OleBrumm',)
Login('OleBrumm', 'Correct') / 'Success'
UpdateInt('OleBrumm', 1)
Logout('OleBrumm',)
  1. Finished at step 11, reached accepting state
Initialize()
Login('VinniPuhh', 'Incorrect') / 'Failure'
Login('OleBrumm', 'Incorrect') / 'Failure'
Login('VinniPuhh', 'Correct') / 'Success'
ReadInt('VinniPuhh',) / 0
Login('OleBrumm', 'Incorrect') / 'Failure'
UpdateInt('VinniPuhh', 1)
Login('OleBrumm', 'Incorrect') / 'Failure'
UpdateInt('VinniPuhh', 1)
UpdateInt('VinniPuhh', 2)
Logout('VinniPuhh',)
  2. Finished at step 11, reached accepting state
Test finished, completed 3 runs

# pmt -n 10 -c 3 -s 3 -r 3 WebModel -o WebModelTest_n10_c3_s3_r3

# actions here are just labels, but must be symbols with __name__ attribute

def Initialize(): pass
def ReadInt(): pass
def Login(): pass
def Logout(): pass
def UpdateInt(): pass

# action symbols
actions = (Initialize, ReadInt, Login, Logout, UpdateInt)

testSuite = [
  [
    (Initialize, ()),
    (Login, ('OleBrumm', 'Correct'), 'Success'),
    (Login, ('VinniPuhh', 'Incorrect'), 'Failure'),
    (Logout, ('OleBrumm',)),
    (Login, ('OleBrumm', 'Correct'), 'Success'),
    (UpdateInt, ('OleBrumm', 1)),
    (UpdateInt, ('OleBrumm', 1)),
    (UpdateInt, ('OleBrumm', 2)),
    (Login, ('VinniPuhh', 'Correct'), 'Success'),
    (UpdateInt, ('OleBrumm', 1)),
    (Logout, ('OleBrumm',)),
    (Logout, ('VinniPuhh',)),
  ],
#
  [
    (Initialize, ()),
    (Login, ('VinniPuhh', 'Incorrect'), 'Failure'),
    (Login, ('OleBrumm', 'Correct'), 'Success'),
    (UpdateInt, ('OleBrumm', 1)),
    (ReadInt, ('OleBrumm',), 1),
    (UpdateInt, ('OleBrumm', 2)),
    (Login, ('VinniPuhh', 'Incorrect'), 'Failure'),
    (Logout, ('OleBrumm',)),
    (Login, ('OleBrumm', 'Correct'), 'Success'),
    (UpdateInt, ('OleBrumm', 1)),
    (Logout, ('OleBrumm',)),
  ],
#
  [
    (Initialize, ()),
    (Login, ('VinniPuhh', 'Incorrect'), 'Failure'),
    (Login, ('OleBrumm', 'Incorrect'), 'Failure'),
    (Login, ('VinniPuhh', 'Correct'), 'Success'),
    (ReadInt, ('VinniPuhh',), 0),
    (Login, ('OleBrumm', 'Incorrect'), 'Failure'),
    (UpdateInt, ('VinniPuhh', 1)),
    (Login, ('OleBrumm', 'Incorrect'), 'Failure'),
    (UpdateInt, ('VinniPuhh', 1)),
    (UpdateInt, ('VinniPuhh', 2)),
    (Logout, ('VinniPuhh',)),
  ],
]Generate a test suite with three runs

Show the generated test suite