search

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 / main usage / tests or model or both executed #46

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

In the following note:

"It is not clear if the test or the model are executed."

Both are executed. the tests are made up of actions on the model variables and expectations on these variables, but the model is executed during the tests.

Could you please read the documentation regarding testing, and point to any unclear statement or missing explanation in the documentation?

MariellePetitDoche commented 11 years ago

In the User guide, §8 does not describe the link between the model and the tests and how they interact. This should be clarified.

In the Technical design guide, § 5.3, the "Frame" notion is not defined, and the link between test and model is not clear. a figure which describes how model and its artifact (rules, variables) on one side and test on other side interact will be useful.

stanpinteTheSignallingCompany commented 11 years ago

1/ The ERTMSFormalSpecs technical guide has a relevant section: 5.3 Test execution.

2/ your suggestion "In the Technical design guide, § 5.3, the "Frame" notion is not defined, and the link between test and model is not clear. a figure which describes how model and its artifact (rules, variables) on one side and test on other side interact will be useful." is tracked in https://github.com/openETCS/ERTMSFormalSpecs/issues/119