Merge branch 'developer'

Author: abainczyk

.gitignore

@@ -7,21 +7,24 @@ main/logs
 target
 *.class
 hs_err_pid*
+
+# log files
 backend/logs
+backend/debug.log
 
 # JavaScript
 cli/src/main/javascript/node_modules
 frontend/src/main/javascript/node_modules
 frontend/src/main/javascript/dist
 frontend/src/main/javascript/test/coverage
-frontend/src/main/javascript/assets/fonts
-
-# Auto Generated Swagger Doc
-main/src/main/webapp/restdocs
-
-main/uploads
-
 frontend/src/main/javascript/npm-debug\.log
 frontend/src/main/javascript/package-lock\.json
+frontend/src/main/javascript/dist
 
-backend/debug.log
+# uploaded files
+main/uploads
+
+# genereated user documentation
+documentation/src/main/docs/.vuepress/dist
+documentation/src/main/docs/node_modules
+documentation/src/main/docs/package-lock\.json

.travis.yml

@@ -1,11 +1,7 @@
 language: java
 
 dist: trusty
-sudo: false
-
-jdk:
-  - oraclejdk8
-  - openjdk8
+sudo: true
 
 addons:
   apt:
@@ -14,6 +10,7 @@ addons:
         key_url:    "https://deb.nodesource.com/gpgkey/nodesource.gpg.key"
     packages:
       - nodejs
+      - chromium-chromedriver
 
 cache:
   directories:
@@ -24,12 +21,26 @@ before_cache:
   # do not cache our local archives
   - rm -rf $HOME/.m2/repository/de/learnlib/alex/
 
-install: true # skip mvn install, because we essentially run the same command in the script routine
+install:
+  # override any "sane" defaults of Travis VMs
+  - cp ${TRAVIS_BUILD_DIR}/.travis/settings.xml ${HOME}/.m2/settings.xml
 
 script:
-  - mvn clean package -Pbootstrap
+  - mvn clean install -Pbootstrap,code-analysis,documentation,integration-tests
 
 branches:
   only:
   - master
   - developer
+
+jobs:
+  include:
+  - jdk: openjdk8
+  - jdk: openjdk11
+  - jdk: oraclejdk8
+  - jdk: oraclejdk11
+  - stage: "Coverage"
+    jdk: openjdk8
+    script:
+    - mvn install -Pbootstrap,code-analysis,integration-tests # code-analysis currently includes JaCoCo
+    - mvn coveralls:report

.travis/settings.xml

@@ -0,0 +1,9 @@
+<settings xmlns="http://maven.apache.org/SETTINGS/1.0.0"
+          xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+          xsi:schemaLocation="http://maven.apache.org/SETTINGS/1.0.0 http://maven.apache.org/xsd/settings-1.0.0.xsd">
+
+    <!-- A minimalistic settings XML that does NOT set the Apache Snapshot Repository (which always times out) -->
+
+    <interactiveMode>false</interactiveMode>
+
+</settings>

CHANGELOG.md

@@ -1,22 +1,53 @@
+# ALEX 1.7.0
+
+## Breaking Changes
+
+* Removed the HTML Element Picker.
+  The picker only really worked in Chrome and then only in some selected use cases, i.e. static pages.
+  Due to these restrictions we decided to remove it completely.
+* Removed xvfb option.
+  The option was introduced when major browsers did not have a headless mode.
+  Since the option only worked on Linux systems and all major browsers have such a mode, the option has been removed.
+
+## Features
+
+* Basic LTL-based model checking using [LTSmin](https://ltsmin.utwente.nl/).
+* Compatibility with Java > 8.
+* Add action to set a variable by HTTP status.
+* Improved parallelisation support for learning processes.
+* Permanently delete symbols instead of just hiding them.
+  This only works if a symbol is not referenced by some other entity.
+* Symbol groups can have the same name when they don't share the parent group.
+* New events for when symbols are deleted permanently.
+* New model checker related events.
+* The JWT expires after 7 days.
+
+## Fixes
+
+* Test results are ordered properly.
+* Fix resuming learning processes with new input symbols.
+
+
 # ALEX 1.6.1
 
 ## Fixes
 
 * Fix issues with HTML Element Picker
 
+
 # ALEX 1.6.0
 
 ## Breaking Changes
 
 * Symbols have to be migrated to the new version.
   Please use the migration script `src/main/resources/migration/1.6.0/migrate-symbols-1.5.0-to-1.6.0.js` via:
 
-  `node migrate-symbols-1.5.0-to-1.6.0.js -i ./symbols-from-1.5.0.json -o ./symbols-for-1.6.0.json`
+  `node migrate-symbols-1.5.0-to-1.6.0.js ./symbols-from-1.5.0.json ./symbols-for-1.6.0.json`
 
 * Tests have to be migrated to the new version.
   Please use the migration script `src/main/resources/migration/1.6.0/migrate-tests-1.5.0-to-1.6.0.js` via:
 
-  `node migrate-tests-1.5.0-to-1.6.0.js -i ./tests-from-1.5.0.json -o ./tests-for-1.6.0.json`
+  `node migrate-tests-1.5.0-to-1.6.0.js ./tests-from-1.5.0.json ./tests-for-1.6.0.json`
 
 ## Features
 

LICENSE.txt

@@ -176,7 +176,7 @@ TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
 
 END OF TERMS AND CONDITIONS
 
-Copyright 2018 TU Dortmund
+Copyright 2015 - 2019 TU Dortmund
 
 Licensed under the Apache License, Version 2.0 (the "License");
 you may not use this file except in compliance with the License.

README.md

@@ -5,6 +5,7 @@
 # ALEX
 
 [![Travis CI](https://travis-ci.org/LearnLib/alex.svg?branch=developer)](https://travis-ci.org/LearnLib/alex)
+[![Coverage Status](https://coveralls.io/repos/github/LearnLib/alex/badge.svg?branch=developer)](https://coveralls.io/github/LearnLib/alex?branch=master)
 
 Automata Learning EXperience (ALEX) is an extension of [LearnLib][learnlib] that allows you run automated tests on web 
 applications and JSON-based REST APIs using active automata learning.
@@ -18,7 +19,7 @@ Make sure you have Java 8 installed on your system.
 We advise to use a modern web browser like Google Chrome, Mozilla Firefox or Microsoft Edge with JavaScript enabled.
 
 1. [Download](https://github.com/LearnLib/alex/releases/latest) the latest version.
-2. Open a terminal and start ALEX via `java -jar alex-1.6.1.war [--server.port=XXXX]`.
+2. Open a terminal and start ALEX via `java -jar alex-1.7.0-SNAPSHOT.war [--server.port=XXXX]`.
 3. Wait until the command line prints something like `de.learnlib.alex.App - Started App in XX.XXX seconds`.
 3. Open *http://localhost:8000* in a web browser.
 
@@ -48,7 +49,7 @@ cd alex
 mvn install package [-DskipTests]
 ```
 
-The bundle can then be found at `build/target/alex-build-1.6.1.war`.
+The bundle can then be found at `build/target/alex-build-1.7.0-SNAPSHOT.war`.
 
 ## Connecting to a database
 
@@ -70,7 +71,19 @@ spring.jpa.hibernate.ddl-auto=update
 
 Then, start ALEX like this:
 
-`java -jar alex-1.6.1.war "--spring.config.location=/path/to/your/application.properties"`
+`java -jar alex-buid-1.7.0-SNAPSHOT.war "--spring.config.location=/path/to/your/application.properties"`
+
+
+## Using LTSMin
+
+ALEX uses the external [LTSMin][ltsmin] library for model checking.
+If you want to use its capabilities, download version **3.0.2** and append the `ltsmin.path` argument to the ALEX binary on start.
+The value for the argument should be the *bin* directory where the compiled binaries of LTSMin are located.
+Example:
+
+`java -jar alex-1.7.0.war --ltsmin.path="/path/to/ltsmin/bin"`
+
+
 
 ## Further reading
 
@@ -84,3 +97,4 @@ Then, start ALEX like this:
 [learnlib]: https://github.com/LearnLib/learnlib
 [mealy]: https://en.wikipedia.org/wiki/Mealy_machine
 [selenium]: https://www.seleniumhq.org/
+[ltsmin]: http://ltsmin.utwente.nl/