Project

General

Profile

Actions

Task #5666

closed

Estimate generation speed

Added by Andrei Tatarnikov over 9 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
Urgent
Category:
Test Engine
Target version:
Start date:
03/03/2015
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:
150324

Description

Performance benchmarks and corresponding examples are needed.

Actions #1

Updated by Alexander Kamkin over 9 years ago

Simple example leads to:

  • Randomization with no constraint solving; intensive ruby-java interaction:
    1.75*10^6 instructions / 110 sec ~ 1.59*10^3 / sec ~ 1.37*10^9 / day.
  • Constraints; intensive ruby-java-solver interaction; each solver invocation = creation of intermediate file and launching Z3:
    5*10^4 instruction / 177 sec ~ 282 / sec ~ 2.44*10^7 / day.

More realistic examples are required.

Actions #2

Updated by Alexander Kamkin over 9 years ago

  • Subject changed from [generator] Estimate generation speed to Estimate generation speed
  • Category set to Test Engine
  • Status changed from New to Resolved
  • Assignee set to Alexander Kamkin
  • Target version set to 2.1
Actions #3

Updated by Andrei Tatarnikov over 9 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 150324
Actions

Also available in: Atom PDF