Skip to content
/ SLIME Public

State Learning in the Middle of Everything

License

Notifications You must be signed in to change notification settings

McSCert/SLIME

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

  • Install SLIME using setup.py with python3
python3 setup.py install --user
  • Guided installation of dependencies (tested on Ubuntu 22.04)
slime --install
  1. Help pages and readme (these instructions)
    • slime -h
    • slime.diff -h
    • slime.fsmproduct -h
    • slime.label -h
    • slime.legend -h
    • slime.logck -h
    • slime.logcleaner -h
    • slime.msgexamples -h
    • slime.pretty -h
    • slime.states -h
    • slime.trace -h
    • slime.trace_stats -h
    • slime --readme
  2. Guided install of slime dependencies
    • slime --install
  3. Guided setup of system under test and learning environment
    • slime <config file> --setup
    • slime <config file> --learner-setup
  4. Run any pre-startup commands (usually just starts rabbitmq in the background, required after system reboot)
    • slime <config file> --pre-startup
  5. Startup mitmproxy controller(s), run each in a separate terminal
    • slime <config file> -m 0
    • slime <config file> -m 1
    • slime <config file> -m ...
  6. Startup SUT controller(s), run each in a separate terminal
    • slime <config file> -s 0
    • slime <config file> -s 1
    • slime <config file> -s ...
  7. Start SLIME in learnlib mode in a separate terminal
    • slime <config file> -l
  8. Start statelearner in a separate terminal
    • slime <config file> --statelearner
  9. Cleanup when finished
    • slime <config file> -f
    • wait a few seconds for it to clear all queues and kill SUT(s)
    • send SIGINT to all running terminal windows

About

State Learning in the Middle of Everything

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages