Newer
Older
Philip Makedonski
committed
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
Package Wizardry {
Type integer
Type string
Type Integer
Type String
Collection iCol of integer
// Collection nCol of iCol
Message Gate http accepts string, integer, String, Integer
Component node {
gate http interface
gate http interface2
gate http interface3
}
Configuration base {
node sut as SUT,
// node sut as Tester,
node tester as Tester,
connect sut::interface to tester::interface,
connect sut::interface2 to tester::interface,
connect sut::interface to tester::interface3
}
Test example uses base {
tester::interface sends "hello"{string} to sut::interface
tester::interface sends 1 {Integer} to sut::interface
tester::interface sends 1 to sut::interface //TODO: unspecified type not resolved -> standard library Integer required
//better error messages?
// tester::interface3 receives 2 from sut::interface2
}
Annotation Initial conditions
Annotation Expected behaviour
Annotation Final conditions
Annotation Test Purpose Description
Annotation when
Annotation then
Objective name {
Description: "example"
References: "reference"
}
Test Purpose Description exampl {
Objective: name
Configuration: base
Expected behaviour
ensure that {
when {
tester::interface sends "hello" to sut::interface
}
then {
tester::interface receives "hello back" from sut::interface
}
}
}
Test Purpose Description exampl2 {
Objective: name
Configuration: base
Expected behaviour
ensure that {
when {
tester::interface sends "hello" to sut::interface
}
then {
tester::interface receives "hello back" from sut::interface
}
}
}
}