eiffel-community / eiffel

The Eiffel framework vocabulary, descriptions, guides and schemas along with links to relevant implementation repositories.
Apache License 2.0
122 stars 59 forks source link

Inconsistency in linking for TCT and CLM #317

Closed m-linner-ericsson closed 1 year ago

m-linner-ericsson commented 2 years ago

Description

We have an inconsistency that should either be explained or changed:

Motivation

Confusing why you can set a confidence level on for example a SCS event but you can't use the same event as a IUT link

Exemplification

You can run test on source code and then put a CLM without having to introduce a CD

Benefits

More logical protocol

Possible Drawbacks

None that I can think of

magnusbaeck commented 2 years ago

I agree. Consistency aside I think we should have good reasons for forcing extra levels of events that don't add any extra information. One could argue that it's beneficial to keep the number of event types you can link to down so that there's only one way of doing things ("what to communicate is volitional; how to communicate it is not"), but IUT can link to a couple of different types anyway, and a CD target might in turn link to other CDs so any query or other code that traverses the graph to e.g. find the underlying source change events would have to non-trivial anyway.

magnusbaeck commented 1 year ago

Comments from the 2023-01-19 protocol workshop: