Project

General

Profile

Feature #9905

Allow to select code coverage kind when launching verification job solutions

Added by Evgeny Novikov 8 days ago. Updated 7 days ago.

Status:
Resolved
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

Blocks Klever - Feature #9897: Develop tutorialNew10/30/2019

Actions

History

#1

Updated by Evgeny Novikov 8 days ago

#2

Updated by Evgeny Novikov 8 days ago

#3

Updated by Evgeny Novikov 8 days ago

#4

Updated by Evgeny Novikov 7 days 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.

Also available in: Atom PDF