Project

General

Profile

Actions

Feature #7432

closed

Allow to verify all rule specifications together by using multi-aspect verification

Added by Evgeny Novikov over 8 years ago. Updated over 8 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Requirement specifications
Target version:
-
Start date:
07/28/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

This is ongoing work that will lead to very-very considerable resource saving when many modules are verified against many rule specifications.


Related issues 2 (0 open2 closed)

Blocked by Klever - Feature #7392: Support groupping of rule specifications to be checked togetherClosedEvgeny Novikov06/24/201606/24/2016

Actions
Blocked by Klever - Bug #7175: Potential hang of KleverClosedEvgeny Novikov05/05/2016

Actions
Actions #1

Updated by Evgeny Novikov over 8 years ago

In addition I suggest to move a common aspect path from a job description to to a rule specifications base. Anyway there is very pure means to change anything in rule specifications through job descriptions.

Actions #2

Updated by Vitaly Mordan over 8 years ago

Common aspect should be choosed automatically between MAV and MPV.

Actions #3

Updated by Evgeny Novikov over 8 years ago

Vitaly Mordan wrote:

Common aspect should be choosed automatically between MAV and MPV.

This feature request topic explicitly specifies that it is just for multi-aspect verification. Please, consider other issues separately to avoid unnecessary delays in implementing the primary ones.

Actions #4

Updated by Vitaly Mordan over 8 years ago

Evgeny Novikov wrote:

Vitaly Mordan wrote:

Common aspect should be choosed automatically between MAV and MPV.

This feature request topic explicitly specifies that it is just for multi-aspect verification. Please, consider other issues separately to avoid unnecessary delays in implementing the primary ones.

Then what this issue is about?
MAV was implemented in master long ago.

Actions #5

Updated by Evgeny Novikov over 8 years ago

Vitaly Mordan wrote:

Evgeny Novikov wrote:

Vitaly Mordan wrote:

Common aspect should be choosed automatically between MAV and MPV.

This feature request topic explicitly specifies that it is just for multi-aspect verification. Please, consider other issues separately to avoid unnecessary delays in implementing the primary ones.

Then what this issue is about?
MAV was implemented in master long ago.

But the blocking issue (#7392) isn't implemented and tested still. Without it using MAV is impossible in real production where nobody will specify some groups of rules to be checked together.

Actions #6

Updated by Evgeny Novikov over 8 years ago

  • Status changed from Open to Closed

Let's believe that everything works fine.

Actions

Also available in: Atom PDF