Feature #9162: Implement strategy based on collected coverage to verify kernel subsystems - Klever - Open-Source Projects

Actions

Copy link

Feature #9162

closed

Implement strategy based on collected coverage to verify kernel subsystems

Added by Ilja Zakharov over 6 years ago. Updated about 6 years ago.

Status:

Closed

Priority:

Urgent

Assignee:

Ilja Zakharov

Category:

Program fragments generation

Target version:

2.0

Start date:

07/25/2018

Due date:

% Done:

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 open — 2 closed)