Recent changes to Extractor

Extractor modified by Christoph Schulze

Christoph Schulze — Mon, 23 Oct 2017 23:11:43 -0000

--- v22
+++ v23
@@ -23,12 +23,12 @@

 The extractor zip file can be downloaded [here](https://sourceforge.net/projects/specstractor/files/Specstractor.zip/download). After downloading it you can unzip it into a folder of your chosing. The folder structure should look like this:

-[[img src=specstractor_folder.png width="500"]]
+[[img src=specstractor_folder.png width="250"]]

 For licensing reasons we cannot package the Reactis dll files required to execute Reactis from Spectractor. However, the necessary files are included in the Reactis installation. Please copy the file *libreactis.dll* from *ReactisInstallationFolder/lib/api/* to the folder *SpecstractorFolder/lib/TestGeneratorDLL/*.

 Now double click on the *Specstractor.jar* file to start the Extractor. This should bring up the following screen:
-[[img src=specstractor_start.png width="550"]]
+[[img src=specstractor_start.png width="500"]]

 ## Tutorial
 For the Extractor tutorial we will first start by setting up the tutorial system that is in the Specstrator folder. For instructions on how to setup your own system please click [here]().

Extractor modified by Christoph Schulze

Christoph Schulze — Mon, 23 Oct 2017 23:11:22 -0000

Extractor modified by Christoph Schulze

Christoph Schulze — Mon, 23 Oct 2017 23:10:46 -0000

Extractor modified by Christoph Schulze

Christoph Schulze — Mon, 23 Oct 2017 23:08:20 -0000

--- v19
+++ v20
@@ -63,6 +63,6 @@

 For this example we are supplying manual abstractions and we are therefore using the FP-Growth algorithm. For an example that uses the Range Miner algorithm please press [here]().

-The test generation settings are automatically set to 100/1000/20000 but if you like you can change the number/length of random tests and the number of targeted steps. To start the extraction press the *Execute* button on the top which will bring up the execution screen.
+The test generation settings are automatically set to 100/1000/20000 but if you like you can change the number/length of random tests and the number of targeted steps. Before starting the extraction process you have to choose an experiment folder. To do so press the *folder* button on the top right. **Warning: Choose an empty folder since existing files in the folder can be deleted**. To start the extraction press the *Execute* button on the top which will bring up the execution screen.

 After the extraction process has finished it will open the folder of the final iteration that contains the *Requirements.txt* file with the resulting Invariants. To analyze the file either open it in a text editor or load it in the [Insight] tool.

Extractor modified by Christoph Schulze

Christoph Schulze — Mon, 23 Oct 2017 22:59:10 -0000

--- v18
+++ v19
@@ -63,6 +63,6 @@

 For this example we are supplying manual abstractions and we are therefore using the FP-Growth algorithm. For an example that uses the Range Miner algorithm please press [here]().

-The test generation settings are automatically set to 100/1000/20000 but if you like you can change the number/length of random tests and the number of targeted steps. To start the extraction press the Execute button on the top which will bring up the execution screen.
+The test generation settings are automatically set to 100/1000/20000 but if you like you can change the number/length of random tests and the number of targeted steps. To start the extraction press the *Execute* button on the top which will bring up the execution screen.

 After the extraction process has finished it will open the folder of the final iteration that contains the *Requirements.txt* file with the resulting Invariants. To analyze the file either open it in a text editor or load it in the [Insight] tool.

Extractor modified by Christoph Schulze

Christoph Schulze — Mon, 23 Oct 2017 22:20:07 -0000

--- v17
+++ v18
@@ -15,13 +15,13 @@

 ## Installation Instructions
 Prerequisites:
-* Windows (Tested on Windows 10)
+* Windows 64bit (Tested on Windows 10)
 * Reactis 2017 (Tested version 2017.0.1)
 * Java 8 (Tested on version 8v121)

 A 30 day trial license for Reactis can be requested from http://www.reactive-systems.com/ after creating a user account.

-The extractor zip file can be downloaded [here](). After downloading it you can unzip it into a folder of your chosing. The folder structure should look like this:
+The extractor zip file can be downloaded [here](https://sourceforge.net/projects/specstractor/files/Specstractor.zip/download). After downloading it you can unzip it into a folder of your chosing. The folder structure should look like this:

 [[img src=specstractor_folder.png width="500"]]

Extractor modified by Christoph Schulze

Christoph Schulze — Mon, 23 Oct 2017 21:25:09 -0000

--- v16
+++ v17
@@ -31,7 +31,7 @@
 [[img src=specstractor_start.png width="550"]]

 ## Tutorial
-For the Extractor tutorial we will first start by setting up the tutorial system that is in the Specstrator folder. Afterwards we will go over how to prepare your own model so that it can be used with Specstractor.
+For the Extractor tutorial we will first start by setting up the tutorial system that is in the Specstrator folder. For instructions on how to setup your own system please click [here]().

 ### System Setup
 Please double click on the Specstractor.jar file. After the start screen comes up please click on *System Setup*. Which will bring up the following screen:

Extractor modified by Christoph Schulze

Christoph Schulze — Mon, 23 Oct 2017 21:23:08 -0000

--- v15
+++ v16
@@ -65,4 +65,4 @@

 The test generation settings are automatically set to 100/1000/20000 but if you like you can change the number/length of random tests and the number of targeted steps. To start the extraction press the Execute button on the top which will bring up the execution screen.

-After the extraction process has finished it will open the folder of the final iteration that contains the *Requirements.txt* file with the resulting Invariants. To analyze the file either open it in a text editor or load it in the [[Insight]] tool.
+After the extraction process has finished it will open the folder of the final iteration that contains the *Requirements.txt* file with the resulting Invariants. To analyze the file either open it in a text editor or load it in the [Insight] tool.

Extractor modified by Christoph Schulze

Christoph Schulze — Mon, 23 Oct 2017 21:22:48 -0000

--- v14
+++ v15
@@ -59,10 +59,10 @@

 Press the *Add* button and in the popup window choose the file we created in the System Setup step *SpecstractorFolder/tutorial/cruiseSimplified/tutorial.rsys*. The screen will change again and the settings for the Extractor execution will appear:

-[[img src=execute_fp.png width="600"]]
+[[img src=execute_fp.png width="700"]]

 For this example we are supplying manual abstractions and we are therefore using the FP-Growth algorithm. For an example that uses the Range Miner algorithm please press [here]().

 The test generation settings are automatically set to 100/1000/20000 but if you like you can change the number/length of random tests and the number of targeted steps. To start the extraction press the Execute button on the top which will bring up the execution screen.

-After the extraction process has finished it will open the folder of the final iteration that contains the *Requirements.txt* file with the resulting Invariants. To analyze the file either open it in a text editor or load it in the [Insight] tool.
+After the extraction process has finished it will open the folder of the final iteration that contains the *Requirements.txt* file with the resulting Invariants. To analyze the file either open it in a text editor or load it in the [[Insight]] tool.

Extractor modified by Christoph Schulze

Christoph Schulze — Mon, 23 Oct 2017 21:22:12 -0000

--- v13
+++ v14
@@ -55,11 +55,11 @@
 ### Execute the Extractor
 Click the *Back* button to return to the main screen and then press the *Run* button which will bring you to a screen with an empty list:

-[[img src=execute_empty.png width="400"]]
+[[img src=execute_empty.png width="200"]]

 Press the *Add* button and in the popup window choose the file we created in the System Setup step *SpecstractorFolder/tutorial/cruiseSimplified/tutorial.rsys*. The screen will change again and the settings for the Extractor execution will appear:

-[[img src=execute_fp.png width="700"]]
+[[img src=execute_fp.png width="600"]]

 For this example we are supplying manual abstractions and we are therefore using the FP-Growth algorithm. For an example that uses the Range Miner algorithm please press [here]().