search

openETCS / validation

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

Review D4.2.1 (1st V&V report on model), Section 1 #155

Open HardiHungar opened 10 years ago

HardiHungar commented 10 years ago

The section does not include the verification actually performed as reported during the halfterm meeting in January 2014. I.e., that tests were generated which proved to be able to eliminate mutants of a prototype implementation.

MarcBehrens commented 10 years ago

referencing the review issue #151

MarcBehrens commented 10 years ago

Review closing session 19.3.2014: @jfrsantos will add a section

MarcBehrens commented 10 years ago

Review closing session 02.4.2014: Issue open @anacavalli

MarcBehrens commented 9 years ago

will be postponed to D4.3.1: Final V&V re-port on model