Project

General

Profile

Actions
Copy link

Feature #9691

open

Integrate Juliet test suite as one more validation job

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

Status:
New
Priority:
High
Assignee:
Evgeny Novikov
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 open — 1 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
Copy link
 #1

Updated by Evgeny Novikov almost 5 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
Copy link

Also available in: Atom PDF