@@ -8,108 +8,18 @@ SESAME deliverable documents
88- D6.6: Simulation-Based Testing Methodology for EDDIs
99- D6.7: Tools for Automated Quality Assurance of EDDI-Supported MRS
1010
11- This online guide complements D6.7 in reference to providing
12- source code and instructions for the platform.
13-
14- # Documentation
15-
16- [ Documentation for the platform] ( ./documentation/index.md )
17-
18-
19- ```
20- apt-get install ros-melodic-turtlebot3-*
21- apt-get install ros-melodic-turtlesim-*
22- apt-get install ros-melodic-rosbridge-server
23- ```
24-
25- ## Patching for jrosbridge
26-
27- This applies when using the ROS interface for the testing platform.
28-
29- Because of a problem with jrosbridge (that is used for connecting the
30- ROS interface to the testing platform), it is necessary to patch a
31- certain system package for jrosbridge to work on recent Ubuntu versions.
32- For more information on why this is necessary, please see
33- [ here] ( https://github.com/RobotWebTools/rosbridge_suite/issues/488 )
34-
35- Please go to the directory ** REPO_BASE_PATH/patches** and run the
36- commands below. (Note this assumes the Python version used for the
37- rosbridge python components is Python 2.7, it may be a later version
38- in ROS versions beyond ROS Melodic).
39-
40- ```
41-
42- export PATCH_DIR=/usr/lib/python2.7/dist-packages/autobahn/websocket
43- sudo cp ./python_protocol_patch.py $PATCH_DIR
44- cd $PATCH_DIR
45- sudo cp protocol.py protocol.py.orig
46- sudo patch < python_protocol_patch.py
47- ```
48-
49- To restore everything its previous state, please use the following
50- commands:
11+ The integrated methodology:
5112
52- ```
53- PATCH_DIR=/usr/lib/python2.7/dist-packages/autobahn/websocket
54- cd $PATCH_DIR
55- sudo cp protocol.py.orig protocol.py
56- ```
13+ ![ Integrated methodology figure] ( ./documentation/readme-images/overall-alg-structure.png )
5714
58- ## Running the TurtleSim Case Study
15+ The testing architecture:
5916
60- - Ensure the Turtlesim example itself runs properly as described
61- [ here] ( http://wiki.ros.org/turtlesim ) :
17+ ![ Testing architecture] ( ./documentation/readme-images/methodology-simtesting.png )
6218
63- - Pull the latest from the "development-release-aug2022" branch
64-
65- - In the parent Eclipse:
66-
67- - Ensure the variable ** REPO_BASE_PATH** in the project
68- uk.ac.york.testing.evolutionary.utilities file, PathDefinitions.java
69- is set to the absolute path of the root directory in which you checked
70- out this repository
71-
72- - The same for ** REPO_BASE_PATH** in the project
73- uk.ac.york.testing.generator, file ModelPathDefinitions.java (again,
74- this should be set to the absolute path of the root directory in which
75- you checked out this repository)
76-
77- - Then for all the listed SESAME projects (except for
78- uk.ac.york.sesame.testing.generator), right-click on each of them,
79- select "Run As"... "Maven Install". This makes sure updated JARs are
80- built for all of them.
81-
82- - Enter the child Eclipse by right-clicking on selecting the
83- uk.ac.york.sesame.testing.generator project, and selecting
84-
85- - Create a new "testTurtle" Java project and copy the models and code
86- files for the development branch from:
87- [ runtime-EclipseApplication/testTurtle] ( https://github.com/sesame-project/simulationBasedTesting/tree/development-release-aug2022/runtime-EclipseApplication/testTurtle )
88- into this project, including "src", "models" and "pom.xml". If you
89- checked out the development-release-aug2022 branch, this can be found
90- under your local system on
91- $REPO_BASE_PATH/runtime-EclipseApplication/testTurtle.
92-
93- - Copy the ROS launch file
94- [ test.launch] ( https://github.com/sesame-project/simulationBasedTesting/blob/development-release-aug2022/temp-launch-scripts/launch-scripts/test.launch )
95- into: $HOME/catkin_ws/src/turtle_custom_launch/launch/test.launch
96-
97- - Change the MRS launch file path path to your filesystem in
98- testTurtle.model (in "TestingSpace", "MRS", "Launch File Location") to
99- the correct path on your system.
100-
101- - Try generating the code based upon the model testTurtle.model
102-
103- - Execute the new test runner for ExptRunner_firstExperiment. This
104- should start the simulator.
105-
106- - When it starts, select the "Reading from keyboard" xterm and
107- use the arrow keys to drive it; when fuzzing is active the
108- velocities will be replaced by random values.
19+ # Documentation
10920
110- Try cleaning and rebuilding the project in case of any problems.
21+ Documentation and installation instructions for the platform can be found here:
22+ [ Documentation for the SESAME simulation-based testing platform] ( ./documentation/index.md )
11123
112- If you reload the child Eclipse, you may find that you get "Problems
113- encountered..." on loading the model. In this case, right-click on the
114- project, select "Generate SESAME Code" and then when the wizard
115- pops up, choose "Cancel". This will re-register the metamodels.
24+ This online guide complements D6.7 in reference to providing
25+ source code and instructions for the platform.
0 commit comments