tr-examples/objectives.tplan2.tdltx.tdltx

+Package objectives {
+    Import all from Standard
+    Import all from data
+    Import all from domain
+    Import all from base_configuration
+    Test Purpose TP_MOVE_OBJECT_LITERAL {
+        Objective: "Move object to destination with literal values."
+        PICS: 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_MOVE_OBJECT_PREDEFINED {
+        Objective: "Move object to destination with predefined values."
+        Expected behaviour
+        ensure that {
+            when {
+                    the Controller entity sends
+                    the
+                    (predefined) instance startingPosition (
+                        x = 21,
+                        y = 21
+                    )
+            } then {
+                    the Object entity moves_to
+                    the
+                    (predefined) instance startingPosition
+            } }
+    }
+    Objective TO_MOVE_OBJECT_UNIFIED {
+            Description: "Move object to destination with unified test purpose description."
+    }
+    Objective: TO_MOVE_OBJECT_UNIFIED
+    @Test Purpose Description
+    Test Description TP_MOVE_OBJECT_UNIFIED uses basic {
+        @Expected behaviour
+        {
+            @when
+            {
+                perform action : "the Controller sends the starting position"
+                controller::wifi sends "x=21, y=21" to object::wifi
+                controller::wifi sends position (
+                    x = 21,
+                    y = 21
+                ) to object::wifi
+            }
+            @then
+            {
+                perform action : "the Object moves to the requested position"
+                object::wifi sends "x=21, y=21" to controller::wifi
+                object::wifi sends position (
+                    x = 21,
+                    y = 21
+                ) to controller::wifi
+            }
+        }
+    }
+}
\ No newline at end of file