Server Configuration

TestOptimal has two configuration files:

  • config/application.properties - server settings, e.g. port#, SSL, etc.
  • config/config.properties - controls features in TestOptimal

You may perform customization by adjusting the settings in the above properties file.

Below is a list of typical customization:


Change Server Port

By default, TestOptimal Server listens on port 8888. You may change it to a different unused port by editing config/application.properties as an example below:

 server.port=8000

Auto Start TestOptimal Server

You may set up a scheduled job to auto start TestOptimal Server by running startTestOptimalServer.bat/sh:

  • Windows: scheduled task to run startTestOptimalServer.bat following these steps: Main, Trigger, Action, Settings
  • Mac / Linux: create a cron job to run startTestOptimalServer.sh

Enable HTTPS

You may enable HTTPS using the self-signed certificate bundled in the download package by editing config/application.properties file per instruction in the file (example below):

 ### support HTTPS: to enable HTTPS, uncomment out following settings and set server.ssl.enabled=true
 server.ssl.enabled=true
 server.ssl.key-store-type=PKCS12
 server.ssl.key-store=classpath:keystore/to.p12
 server.ssl.key-store-password=test@optimal
 server.ssl.key-alias=testoptimal
 security.require-ssl=true

If you wish to use your own certificate, you will need to copy your certificate file into /src/main/resources/keystore/ folder and adjust server.ssl.key-store setting accordingly.

All TestOptimal Servers to must have consistent HTTPS settings.


config/config.properties

  • Debug.print.plantUML: true/false (default false), internal use
  • Debug.print.stateNetwork: true/false (default false), internal use
  • Graph.orient: Horizontal or Vertical, GraphViz graph orientation, default Vertical
  • IDE.playModelDelay: >0 (default 100), pause in milliseconds used in Play model
  • IDE.shortcuts.xyz: ide toolbar, use menu to customize
  • modelFolder: absolute file path for model folder (default “”)
  • security.trusted.ip.addresses: ip addresses separated by comma (default *), server white list (SvrMgr server only)
  • security.password.xyz: password, xyz is email address you registered, password is encrypted. To change password: shut down server and enter new password. New password will be encrypted automatically when server is re-started.
  • License.Ack*: Y/N (default N), set it to N to force prompt to create account, server restart required
  • License.Email*: licensed email address
  • License.LicKey*: license key

* To reset security, shut down server, remove all settings “License.*” and restart server.