openETCS / validation

WP4: Validation and verification strategy
8 stars 22 forks source link

Set up test environment #236

Open MarcBehrens opened 9 years ago

MarcBehrens commented 9 years ago

relates to issue #225

MarcBehrens commented 9 years ago

Contributing to the prerequisite every information/test has to be available within SCADE for the designer the following decisions are taken:

MarcBehrens commented 9 years ago

@janwelte contributing: Builds Test model (as SCADE State Machine) in combination with the toolbox for modul checks

Scond step could be to use first test models for RT-Tester based test generation

janWelte commented 9 years ago

First model is up and related to #261