Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
configuration [2020/06/13 03:22]
admin [config/config.properties] 		configuration [2024/01/02 19:34] (current)
admin [config/config.properties]
Line 47: Line 47:
  
 ==== config/config.properties ==== ==== config/config.properties ====
-  * ACT.gen.algorithm ({{https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&cad=rja&uact=8&ved=2ahUKEwiNs8KN5P3pAhUXRDABHfDdCEYQFjAAegQIBhAB&url=https%3A%2F%2Fcsrc.nist.gov%2FCSRC%2Fmedia%2FProjects%2FAutomated-Combinatorial-Testing-for-Software%2Fdocuments%2Facts_user_guide_2_92.pdf&usg=AOvVaw0Z-43DSv0HqJJKDj5nAL9u: +  * ACT.gen.algorithm: 
     * ipog - use algorithm IPO (default)     * ipog - use algorithm IPO (default)
     * ipog_d - use algorithm IPO + Binary Construction (for large systems with > 20 variables and on average > 10 values per variable)     * ipog_d - use algorithm IPO + Binary Construction (for large systems with > 20 variables and on average > 10 values per variable)
Line 53: Line 53:
     * ipof2 - use the IPOF2method     * ipof2 - use the IPOF2method
     * basechoice - use Base Choice method     * basechoice - use Base Choice method
-  * Exec.DelSnapScreenOnModelStart: Y/N, auto clear files in //snapscreen// folder before model execution +  * Debug.print.plantUML: true/false (default false), internal use 
-  * Exec.vu.ThreadPoolSize: >0 (default 5), max number of threads allowed for each virtual user (VU) - //Concurrent// models only +  * Debug.print.stateNetwork: true/false (default false), internal use 
-  * Graph.printPlantUML: true/false (default false), internal use +  * Graph.orient: Horizontal or Vertical, GraphViz graph orientation, default Vertical
-  * IDE.msgHideMillis: >0 (default 5000), number of milliseconds to hide system/alert messages+
   * IDE.playModelDelay: >0 (default 100), pause in milliseconds used in //Play// model   * IDE.playModelDelay: >0 (default 100), pause in milliseconds used in //Play// model
   * IDE.shortcuts.xyz: ide toolbar, use menu to customize   * IDE.shortcuts.xyz: ide toolbar, use menu to customize
   * modelFolder: absolute file path for model folder (default "")   * modelFolder: absolute file path for model folder (default "")
-  * security.installation.id: identifier (default TOSVR), id to differentiate multiple //TestOptimal// server suites 
   * security.trusted.ip.addresses: ip addresses separated by comma (default *), server white list (//SvrMgr// server only)   * 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.   * 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.
-  * svrmgr.host: host name (default localhost), //SvrMgr// to upload execution stats (//Runtime Server// only) 
-  * svrmgr.port: port number (default 8888), see //svrmgr.host// above 
-  * Startup.SyncModel: Y/N (default N), auto refresh models from //SvrMgr// on server startup - //Runtime Server// only 
-  * Model.archive.includeRegExp: regular expression on file names to be included in the archive, default ".*\.(gvy|json|txt|ds|tsv|xls)$"    
   * License.Ack*: Y/N (default N), set it to N to force prompt to create account, server restart required   * License.Ack*: Y/N (default N), set it to N to force prompt to create account, server restart required
-  * License.Check*: encoded, internal use only 
   * License.Email*: licensed email address   * License.Email*: licensed email address
   * License.LicKey*: license key   * License.LicKey*: license key
  
-* To reset license and security, shut down server, remove all settings "License.*" and restart server.+* To reset security, shut down server, remove all settings "License.*" and restart server.