Project

General

Profile

Actions

Feature #9162

closed

Implement strategy based on collected coverage to verify kernel subsystems

Added by Ilja Zakharov almost 6 years ago. Updated over 5 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Program fragments generation
Target version:
Start date:
07/25/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Alexey Polushkin implemented a prototype of a strategy that on base of collected coverage for modules chooses which modules should be added to verify particular kernel subsystem and call its exported functions. This prototype should be integrated to Klever and updated according to the format of coverage collected automatically by Klever and a new Clade interface.


Related issues 2 (0 open2 closed)

Blocked by Klever - Feature #9161: Load job function coverage in an intermediate representation as an extra file ClosedIlja Zakharov07/25/2018

Actions
Blocked by Klever - Feature #8145: Support external buildsClosedEvgeny Novikov04/24/2017

Actions
Actions #1

Updated by Ilja Zakharov almost 6 years ago

  • Blocked by Feature #9161: Load job function coverage in an intermediate representation as an extra file added
Actions #2

Updated by Ilja Zakharov almost 6 years ago

Actions #3

Updated by Ilja Zakharov over 5 years ago

  • Status changed from New to Resolved

Implemented in klever-2.0 branch.

Actions #4

Updated by Evgeny Novikov over 5 years ago

  • Status changed from Resolved to Closed

Branch klever-2.0 passed all tests and I merged it to master in 72be796e3 marked as v2.0rc1.

Actions

Also available in: Atom PDF