Update Rete coverage report

eclipse-viatra-bot commented 4 months ago

| --- | --- | | Bugzilla Link | 518358 | | Status | NEW | | Importance | P3 normal | | Reported | Jun 16, 2017 05:40 EDT | | Modified | Feb 08, 2018 09:44 EDT | | Version | 1.6.0 | | See also | Gerrit change https://git.eclipse.org/r/100040, Git commit 48459a7d | | Reporter | Zoltan Ujhelyi |

Description

The current version of coverage reports should be updated with the following steps:

Mark ExportedParameter constraints as not represented. They are only marker constraints, it is meaningless for the report users.
Separate pattern and body coverage from constraint coverage. The first two are safe to aggregate between multiple executions (e.g. stable); the others might change between runs. Furthermore, do not create any aggregated match value from constraints.
- The constraint matching should be available as needed (e.g. through links); their goal is to provide hints of how to update the models to increase the coverage.

eclipse-viatra-bot commented 4 months ago

By Denes Harmath on Jun 21, 2017 12:35

Is PBodyNormalizer.normalizeBodyInternal(PBody) the correct place for removing the derivatives (and only the derivatives) of ExportedParameterConstraints?

eclipse-viatra-bot commented 4 months ago

By Zoltan Ujhelyi on Jun 21, 2017 17:05

(In reply to Denes Harmath from comment #1)

Is PBodyNormalizer.normalizeBodyInternal(PBody) the correct place for removing the derivatives (and only the derivatives) of ExportedParameterConstraints?

No. Do not remove the constraints from the PBody, only from the report.

eclipse-viatra-bot commented 4 months ago

By Denes Harmath on Jun 22, 2017 07:26

Further enhancement ideas:

Aggregate only body coverage.
Coverage state of patterns should be covered (green), covered but not every body covered (yellow), uncovered (red).
Detailed coverage should show the test executions for different models separately, not merged.

eclipse-viatra-bot commented 4 months ago

Jun 26, 2017 08:04

New Gerrit change created: https://git.eclipse.org/r/100040

eclipse-viatra-bot commented 4 months ago

Jul 04, 2017 04:16

Gerrit change https://git.eclipse.org/r/100040 was merged to [master].\ Commit: http://git.eclipse.org/c/viatra/org.eclipse.viatra.git/commit/?id=48459a7dc031c6160dbd7c7775827ff7e00b9bf1

eclipse-viatra-bot commented 4 months ago

By Zoltan Ujhelyi on Oct 04, 2017 05:04

Postponing.

eclipse-viatra / org.eclipse.viatra

Update Rete coverage report #65

Description