/validation

WP4: Validation and verification strategy

Primary LanguageHTML

Important Note: Change of Scade Release for Modelling!!!! We NOW switch to Scade Release 16.1. Please, make sure you use this version for all commits.

Stories in Ready ![Stories in "In Progress"](https://badge.waffle.io/openETCS/validation.png?label=In Progress&title=In Progress) ##Management

Work Package 4 Top-Level Project

You can find a guide below:

If you have any questions concerning this top level project, feel free to contact @MarcBehrens

Throughput Graph

Throughput Graph

Contributing

  1. Fork it
  2. Clone it (git clone git@github.com:you/validation.git)
  3. Create your feature branch (git checkout -b my-new-verification-operator)
  4. Verify/ Validate and document the results
  5. Commit your changes (git commit -am 'Added some verification results')
  6. Push to the branch (git push origin my-new-verification-operator)
  7. Create new Pull Request via http://github.com/you
  8. Configure pulling your repository from the master (git remote set-url origin https://github.com/openETCS/validation.git)
  9. Configure pushing your repository to the fork (git remote set-url --push origin https://github.com/you/validation.git)

Please replace you by your github username.