Newer
Older
/*
Copyright (c) ETSI 2020.
This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
under the following conditions: It is provided "as is", without warranty of any
kind, expressed or implied.
ETSI shall never be liable for any claim, damages, or other liability arising
from its use or inability of use.This permission does not apply to any documentation
associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/
//Structured test objective specifications
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
Package objectives {
import all from domain;
import all from data;
Test Purpose {
TP Id TP_MOVE_OBJECT_LITERAL
Test objective "Move object to destination with literal values."
PICS Selection MOVABLE
Expected behaviour
ensure that {
when {
the Controller entity sends the start position containing
x indicating value 22,
y indicating value 21
;
} then {
the Object entity moves_to the received start position
}
}
}
Test Purpose {
TP Id TP_MOVE_OBJECT_PREDEFINED
Test objective "Move object to destination with predefined values."
Expected behaviour
ensure that {
when {
the Controller entity sends the (predefined) startingPosition containing
x indicating value -22,
y indicating value -21
;
} then {
the Object entity moves_to the (predefined) startingPosition
}
}
}
Test Purpose {
TP Id TP_MOVE_OBJECT_TYPED
Test objective "Move object to destination with typed values."
Expected behaviour
ensure that {
when {
the Controller entity sends the (typed) starting position containing
x indicating value -22,
y indicating value -21
;
} then {
the Object entity moves_to the (typed) starting position
}
}
}
}