Project

General

Profile

Actions

Feature #8434

closed

Get rid of job classes

Added by Evgeny Novikov about 7 years ago. Updated about 6 years ago.

Status:
Closed
Priority:
Normal
Category:
-
Target version:
Start date:
09/18/2017
Due date:
12/14/2017
% Done:

100%

Estimated time:
(Total: 0.00 h)
Published in build:

Description

A long ago I assumed that we will have a lot of job classes for various types of target programs. These classes can't be intermixed. For each job class there can be:
  1. Specific means for setting corresponding jobs in Bridge. Indeed this won't be ever implemented since it is too hard. The only universal format is providing a number of specification and configuration files.
  2. Specific Core components for solving them. This should be replaced with using universal components and their specific configurations.
  3. Specific Core components for reporting their verification results. For this we suppose to use a more flexible approach by configuring verification results processing like other steps of the static verification workflow.
  4. Specific Bridge components for visualizing their verification results. Here we suppose to switch to also a more flexible approach of specific data visualization.

Subtasks 3 (0 open3 closed)

Feature #8435: Always start up the same Core componentsClosedIlja Zakharov09/18/2017

Actions
Feature #8436: Switch to configuration driven results processingClosedIlja Zakharov09/18/2017

Actions
Feature #8437: Get rid of job classesClosedVladimir Gratinskiy09/18/201712/14/2017

Actions

Related issues 2 (0 open2 closed)

Related to Klever - Feature #8889: Support verification job formats properlyClosedVladimir Gratinskiy05/24/2018

Actions
Related to Klever - Feature #9313: Introduce top level configuration options for processing verification resultsClosedEvgeny Novikov10/08/2018

Actions
Actions

Also available in: Atom PDF