ERTMSFormalSpecs assessment by Assessor 2 / certifiability / test generation

openETCS / model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling

13 stars 20 forks source link

ERTMSFormalSpecs assessment by Assessor 2 / certifiability / test generation #55

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

test generation score of 0 is inconsistent with test generation score of 2 in section C.8.

Could you please update your score?

MariellePetitDoche commented 11 years ago

Yes:

section C8 concerns test on models written by the tool
section C10 concerns test on the tool itself in view of certification of the tool.

As I understand the EFS tool is expected a T1 level, the only element which concerns the certification of the tool in EN50128 is "6.7.4.1 Software tools shall be selected as a coherent part of the software activities". Thus this table is not very important for the tool.