+ TR examples

Package base_configuration {

    Import all from data

    Annotation Final conditions

    Annotation Expected behaviour

    Annotation Initial conditions

    Message Gate wireless accepts position

    Component unit {

        gate wireless wifi

    }

    Configuration basic {

        unit controller as Tester,

        unit object as SUT,

        connect controller::wifi to object::wifi

    }

}

 No newline at end of file

Package data {

    Annotation Final conditions

    Annotation Expected behaviour

    Annotation Initial conditions

    Type float

    Structure position (

        float x,

        float y

    )

    float _22

    float _21

    position startingPosition (

        Note : "indicating value"

        x = instance _21

    )

}

 No newline at end of file

Package data_tables {

    Import all from inferred_data

    Import all from inferred_configuration

    inferred_position start_position ( )

    inferred_position open_position ( )

    inferred_position closed_position ( )

    inferred_position end_position ( )

    Action move_to ( inferred_position position )

    Test Description TC_MOVE_TO (

    inferred_position target_position ) uses inferred_move_object {

        Controller::inferred_gate sends parameter target_position to Object::inferred_gate

        perform move_to ( position = parameter target_position ) on Object

    }

    Test Description TC_MOVE_AROUND uses inferred_move_object {

        execute TC_MOVE_TO ( target_position = instance start_position )

        execute TC_MOVE_TO ( target_position = instance open_position )

        execute TC_MOVE_TO ( target_position = instance closed_position )

        execute TC_MOVE_TO ( target_position = instance end_position )

    }

}

 No newline at end of file

/*

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.

*/

//Inferred (manually) from objectives.tplan2

Package descriptions {

	Import all from inferred_configuration

	Import all from inferred_data

	Action move_to ( inferred_position position)

	Test Description TD_MOVE_OBJECT_LITERAL uses inferred_move_object {

		Controller::inferred_gate sends inferred_start_position to Object::inferred_gate

		perform move_to ( position = inferred_start_position ) on Object

	} 

	Test Description TD_MOVE_OBJECT_LITERAL_INLINE uses inferred_move_object {

		Controller::inferred_gate sends new inferred_position (x = 22, y = 21) to Object::inferred_gate

		perform move_to ( position = new inferred_position (x = 22, y = 21) ) on Object

	} 

}

 No newline at end of file

Package domain {

    Annotation Final conditions

    Annotation Expected behaviour

    Annotation Initial conditions

    PICS MOVABLE

    Entity Object

    Entity Controller

    Event sends

    Event receives

    Event moves

    Event moves_to

}

 No newline at end of file