Project

General

Profile

Actions
Copy link

Feature #7356

closed

Create additional validation set

Added by Evgeny Novikov almost 8 years ago. Updated almost 3 years ago.

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Category:
Preset jobs, marks and tags
Target version:
3.2
Start date:
06/28/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

In this feature request I suppose to mention well-known bugs that can be found by Klever and that aren't included into any validation sets.

Actions
Copy link
 #1

Updated by Evgeny Novikov almost 8 years ago

Commit 91bf0c2dcb93 fixes a bug that can be found with using BAM with (almost) the same settings as for finding target bug 9aaf9678ea3e~/sound/pci/emu10k1/snd-emu10k1-synth.ko/linux:spinlock.

Thanks to Pavel for discovering this.

Actions
Copy link
 #2

Updated by Evgeny Novikov over 7 years ago

  • Assignee set to Evgeny Novikov
  • Priority changed from Normal to Urgent

I think that this can be done quite easy but will help quite much.

Actions
Copy link
 #3

Updated by Evgeny Novikov over 7 years ago

  • Assignee deleted (Evgeny Novikov)
  • Priority changed from Urgent to High

One more advanced feature that will be implemented later.

Actions
Copy link
 #4

Updated by Evgeny Novikov almost 7 years ago

  • Priority changed from High to Urgent

I think that an extended validation set will be extremely useful for testing various aspects. Even a quite small set we are using helped us very much.

Actions
Copy link
 #5

Updated by Evgeny Novikov almost 7 years ago

  • Assignee set to Evgeny Novikov

I will do this.

Actions
Copy link
 #6

Updated by Evgeny Novikov almost 7 years ago

  • Assignee deleted (Evgeny Novikov)
  • Priority changed from Urgent to High

There are too many very high priority issues. This one can be done after really important features will be supported.

Actions
Copy link
 #7

Updated by Evgeny Novikov about 3 years ago

  • Assignee set to Evgeny Novikov
  • Target version set to 3.1

Let's do this in Klever 3.1.

Actions
Copy link
 #8

Updated by Evgeny Novikov about 3 years ago

  • Blocked by Feature #9604: Develop new test suite for CPAchecker on base of Klever integration tests added
Actions
Copy link
 #9

Updated by Evgeny Novikov about 3 years ago

  • Target version changed from 3.1 to 3.2

We need to release Klever 3.1 faster due to an incompatibility with Clade 3.3+ and a new OpenStack cloud.

Actions
Copy link
 #10

Updated by Evgeny Novikov almost 3 years ago

  • Blocked by deleted (Feature #9604: Develop new test suite for CPAchecker on base of Klever integration tests)
Actions
Copy link
 #11

Updated by Evgeny Novikov almost 3 years ago

  • Status changed from New to Closed

I added the new validation set in branch new-validation-set that I merged to master in 0a932cc31. The new validation set includes verification tasks for 45 bugs revealed by Klever and fixed either by Klever users or by Linux kernel developers themselves. The new validation set includes verification tasks both for memory and concurrency safety, that's at last our CI will test these requirements on real device drivers (thus far it used only artificial modules). The only unpleasant thing is that now CI takes 1.5 times more time even after I made some simple optimizations.

Actions
Copy link

Also available in: Atom PDF