PyModel/samples/WebApplication/test.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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
Initialize()
  0. Finished at step 1, no more actions enabled, reached accepting state
Initialize()
  0. Finished at step 1, no more actions enabled, reached accepting state
Initialize()
Login('VinniPuhh', 'Correct') / 'Success'
UpdateInt('VinniPuhh', 1)
ReadInt('VinniPuhh',) / 1
Logout('VinniPuhh',)
  0. Finished at step 5, no more actions enabled, reached accepting state
Initialize()
Login('VinniPuhh', 'Correct') / 'Success'
Logout('VinniPuhh',)
Login('OleBrumm', 'Incorrect') / 'Failure'
Login('VinniPuhh', 'Correct') / 'Success'
Login('OleBrumm', 'Incorrect') / 'Failure'
Login('OleBrumm', 'Incorrect') / 'Failure'
Login('OleBrumm', 'Correct') / 'Success'
UpdateInt('VinniPuhh', 1)
UpdateInt('VinniPuhh', 1)
  0. Finished at step 10, ended in non-accepting state
Initialize()
Login('VinniPuhh', 'Correct') / 'Success'
Logout('VinniPuhh',)
Login('OleBrumm', 'Incorrect') / 'Failure'
Login('VinniPuhh', 'Correct') / 'Success'
UpdateInt('VinniPuhh', 1)
ReadInt('VinniPuhh',) / 1
UpdateInt('VinniPuhh', 2)
ReadInt('VinniPuhh',) / 2
Logout('VinniPuhh',)
  0. Finished at step 10, reached accepting state
Initialize()
Login('VinniPuhh', 'Correct') / 'Success'
Login('OleBrumm', 'Correct') / 'Success'
Logout('VinniPuhh',)
UpdateInt('OleBrumm', 2)
Logout('OleBrumm',)
Login('VinniPuhh', 'Correct') / 'Success'
Login('OleBrumm', 'Correct') / 'Success'
UpdateInt('VinniPuhh', 2)
UpdateInt('VinniPuhh', 1)
  0. Finished at step 10, ended in non-accepting state
Initialize()
Login('VinniPuhh', 'Correct') / 'Success'
Logout('VinniPuhh',)
Login('OleBrumm', 'Incorrect') / 'Failure'
Login('VinniPuhh', 'Correct') / 'Success'
Login('OleBrumm', 'Incorrect') / 'Failure'
Login('OleBrumm', 'Incorrect') / 'Failure'
Login('OleBrumm', 'Correct') / 'Success'
UpdateInt('VinniPuhh', 1)
UpdateInt('VinniPuhh', 1)
  0. Finished at step 10, ended in non-accepting state
Initialize()
Login('VinniPuhh', 'Correct') / 'Success'
Logout('VinniPuhh',)
Login('OleBrumm', 'Incorrect') / 'Failure'
Login('VinniPuhh', 'Correct') / 'Success'
Login('OleBrumm', 'Incorrect') / 'Failure'
Login('OleBrumm', 'Incorrect') / 'Failure'
Login('OleBrumm', 'Correct') / 'Success'
UpdateInt('VinniPuhh', 1)
UpdateInt('VinniPuhh', 1)
Logout('OleBrumm',)
Logout('VinniPuhh',)
  0. Finished at step 12, reached accepting state
Initialize()
Login('OleBrumm', 'Correct') / 'Success'
Login('VinniPuhh', 'Incorrect') / 'Failure'
Logout('OleBrumm',)
Login('OleBrumm', 'Correct') / 'Success'
  0. Finished at step 5, ended in non-accepting state
Initialize()
Login('OleBrumm', 'Incorrect') / 'Failure'
Login('VinniPuhh', 'Correct') / 'Success'
Login('OleBrumm', 'Correct') / 'Success'
UpdateInt('OleBrumm', 1)
  1. Finished at step 5, ended in non-accepting state
Initialize()
Login('VinniPuhh', 'Incorrect') / 'Failure'
Login('VinniPuhh', 'Correct') / 'Success'
ReadInt('VinniPuhh',) / 0
UpdateInt('VinniPuhh', 2)
  2. Finished at step 5, ended in non-accepting state
Test finished, completed 3 runs
Initialize()
Login('VinniPuhh', 'Correct') / 'Success'
UpdateInt('VinniPuhh', 1)
ReadInt('VinniPuhh',) / 1
Logout('VinniPuhh',)
  0. Finished at step 5, no more actions enabled, reached accepting state
Initialize()
Login('VinniPuhh', 'Correct') / 'Success'
UpdateInt('VinniPuhh', 1)
Logout('VinniPuhh',)
Login('VinniPuhh', 'Correct') / 'Success'
ReadInt('VinniPuhh',) / 1
  1. Finished at step 6, no more actions enabled, reached accepting state
Test finished, completed 2 runs
WebModel -a option includes only Initialize Action

WebModel -e option excludes Login, Logout actions

WebModel TestIntSuccess offline test suite

WebModel on-the-fly with all actions, default random strategy, shows repeated calls to same action

WebModel on-the-fly with all actions, ActionNameCoverage strategy, shows the same (enabled) action is not repeated more than 2x

WebModel on-the-fly with all actions, StateCoverage strategy, shows Login and UpdateInt actions repeat but with different arguments

WebModel, no -c option, ends in non-accepting state with users logged in

WebModel, with -c option for cleanup, logs off users to reach accepting state

WebModel, with -r --runs option, in each run Initialize is enabled again

WebModel TestIntTwoRuns offline test suite with two runs