Skip to content
Snippets Groups Projects
Commit 1f34787e authored by Harco Kuppens's avatar Harco Kuppens
Browse files

merged README and __README__

parent ed58e214
No related branches found
No related tags found
No related merge requests found
......@@ -3,5 +3,38 @@ Learning the alarm component in the Dezyne Alarm example project.
Current repository contains a java 8 eclipse project to learn the Dezyne alarm
component using a learning purpose with the LearnLib tool.
In report/report.pdf is a report describes a set of learning experiments done
on the Dezyne Alarm example project.
\ No newline at end of file
In ./report/report.pdf is a report describes a set of learning experiments done
on the Dezyne Alarm example project.
The correct Dezyne alarm example model project is in DezyneAlarmExampleProject/.
The java 8 source generated from this model is in src/sul/alarmsystem/
together with the Dezyne runtime for java 8 generated models in header.java.
I wrote a SUL wrapper in src/sul/alarmsystem/AlarmSUL.java around the Alarm
component in src/sul/alarmsystem/Alarm.java. The AlarmSul class
uses a learning purpose implemented in the files in the same folder:
ISensorLearningPurpose.java ISirenLearningPurpose.java LearningPurpose.java
The main class the project is src/learner/Main.java. In this main class
you can setup which SUL you want to learn with which learner and testing method.
It is currently setup to learn the "AlarmSUL" SUL using the TTT learning
algorithm using random testing.
The AlarmSUL can be configured in different modes by giving different
constructor parameters to it in src/learner/Main.java :
* learning SUL model without learning purpose
USE_LEARNING_PURPOSE = false;
CONSOLE_OUTPUTS_ONLY = false;
* learning SUL model with learning purpose
USE_LEARNING_PURPOSE = true;
CONSOLE_OUTPUTS_ONLY = false;
* learning SUL INTERFACE with learning purpose
USE_LEARNING_PURPOSE = true;
CONSOLE_OUTPUTS_ONLY = true;
This folder contains an eclipse project for learning a model from the alarm
Dezyne component using a learning purpose.
The correct Dezyne alarm example model project is in DezyneAlarmExampleProject/.
The java 8 source generated from this model is in src/sul/alarmsystem/
together with the Dezyne runtime for java 8 generated models in header.java.
I wrote a SUL wrapper in src/sul/alarmsystem/AlarmSUL.java around the Alarm
component in src/sul/alarmsystem/Alarm.java. The AlarmSul class
uses a learning purpose implemented in the files in the same folder:
ISensorLearningPurpose.java ISirenLearningPurpose.java LearningPurpose.java
The main class the project is src/learner/Main.java. In this main class
you can setup which SUL you want to learn with which learner and testing method.
It is currently setup to learn the "AlarmSUL" SUL using the TTT learning
algorithm using random testing.
The AlarmSUL can be configured in different modes by giving different
constructor parameters to it in src/learner/Main.java :
* learning SUL model without learning purpose
USE_LEARNING_PURPOSE = false;
CONSOLE_OUTPUTS_ONLY = false;
* learning SUL model with learning purpose
USE_LEARNING_PURPOSE = true;
CONSOLE_OUTPUTS_ONLY = false;
* learning SUL INTERFACE with learning purpose
USE_LEARNING_PURPOSE = true;
CONSOLE_OUTPUTS_ONLY = true;
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment