EvoChecker is a search-based software engineering approach and tool that employs multiobjective optimisation genetic algorithms to automate the synthesis of approximate Pareto-optimal probabilistic models associated with the QoS requirements of a software system.
EvoChecker is the outcome of the research paper "Search-Based Synthesis of Probabilistic Models for Quality-of-Service Softwate Engineering"
You can find details about EvoChecker on our [project webpage] (http://www-users.cs.york.ac.uk/~simos/EvoChecker)
EvoChecker is a Java-based tool that uses Maven for managing the project and its dependencies, and for generating the executable jars.
EvoChecker uses under-the-hood JMetal 4.5 for multiobjective optimisation, PRISM 4.5 for probabilistic model checking, and Antl4 for parsing the probabilistic model templates.
-
Import the project in your IDE of preference
-
Set the following environment variable (In Eclipse go to Run / Run Configurations / Environment tab / New)
OSX: DYLD_LIBRARY_PATH = libs/runtime *NIX: LD_LIBRARY_PATH = libs/runtime
-
Specify the configuration parameters in file config.properties
-
Run