Enhance Test Modell with Test Stories for SUBSET-026 3.4

openETCS / validation

WP4: Validation and verification strategy

8 stars 22 forks source link

Enhance Test Modell with Test Stories for SUBSET-026 3.4 #281

Closed janWelte closed 9 years ago

janWelte commented 9 years ago

Test Stories have been added to check the correct reception of BGs and placing of Packets sent. Therefore a number of operators and constants have been created to build test tracks.

by Jan Welte