Project

General

Profile

Feature #9905

Allow to select code coverage kind when launching verification job solutions

Added by Evgeny Novikov 8 months ago. Updated 6 months ago.

Status:
Closed
Priority:
Urgent
Category:
-
Target version:
Start date:
11/08/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

At the moment the code coverage kind is specified within the specifications base for individual requirement specifications. This enables a granular configuration since not for all requirement specifications (more exactly not for all verifier profiles associated with particular requirement specifications) there is a reasonable code coverage. But indeed this setting does not affect verification results, it just changes their representation. In most cases it is enough to obtain code coverage just for original sources - so called lightweight code coverage. Sometimes it can be very useful to get code coverage for other sources, e.g. for models.

I suggest to specify the code coverage kind when launching verification job solutions and to get rid of corresponding settings from the specifications base. When there will be no reasonable code coverage it will be simply missed after all.


Related issues

Has duplicate Klever - Feature #8611: Allow to choose details for code coverage when starting job decisionRejected12/02/2017

Actions
Blocks Klever - Feature #9897: Develop tutorialClosed10/30/2019

Actions

History

#1

Updated by Evgeny Novikov 8 months ago

#2

Updated by Evgeny Novikov 8 months ago

#3

Updated by Evgeny Novikov 8 months ago

#4

Updated by Evgeny Novikov 8 months ago

  • Status changed from New to Resolved

Implemented in branch improve-confs-and-specs. Everybody can note a new setting at the job start solution page.

#5

Updated by Evgeny Novikov 6 months ago

  • Status changed from Resolved to Closed

In master.

#6

Updated by Evgeny Novikov 4 months ago

  • Has duplicate Feature #8611: Allow to choose details for code coverage when starting job decision added

Also available in: Atom PDF