Project

General

Profile

Actions

Feature #9691

open

Integrate Juliet test suite as one more validation job

Added by Evgeny Novikov almost 5 years ago. Updated over 4 years ago.

Status:
New
Priority:
High
Category:
-
Target version:
-
Start date:
05/29/2019
Due date:
% Done:

33%

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

Description

Juliet is a great test suite used for assessing (sound) static analysis tools: https://samate.nist.gov/SARD/testsuite.php. Without no doubts it has sense to re-use it to automatically track a current state of the art and regressions of our verification back-ends.

Children of this issue should represent particular tasks.


Subtasks 3 (2 open1 closed)

Feature #9692: Investigate whether Juliet license permits to include test cases into Klever preset validation jobClosedAnton Vasilyev05/29/2019

Actions
Feature #9693: Develop a new algorithm for generating fragments for Juilet test casesOpenIlja Zakharov05/29/2019

Actions
Feature #9694: Initiate discussion on results for Juilet test suite with its developersNewEvgeny Novikov05/29/2019

Actions
Actions #1

Updated by Evgeny Novikov over 4 years ago

  • Target version deleted (3.0)

Now it does not seem that the Juilet test suite is good for benchmarking Klever. So, let's consider it later.

Actions

Also available in: Atom PDF