Feature #7356
closed
Create additional validation set
Added by Evgeny Novikov over 8 years ago.
Updated over 3 years ago.
Category:
Preset jobs, marks and tags
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.
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.
- 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.
- Assignee deleted (
Evgeny Novikov)
- Priority changed from Urgent to High
One more advanced feature that will be implemented later.
- 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.
- Assignee set to Evgeny Novikov
- 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.
- Assignee set to Evgeny Novikov
- Target version set to 3.1
Let's do this in Klever 3.1.
- Blocked by Feature #9604: Develop new test suite for CPAchecker on base of Klever integration tests added
- 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.
- Blocked by deleted (Feature #9604: Develop new test suite for CPAchecker on base of Klever integration tests)
- 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.
Also available in: Atom
PDF