GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Fuzzing is not stopped on timeout when symbolic execution is excluded · Issue #570 · UnitTestBot/UTBotJava

Fuzzing is not stopped on timeout when symbolic execution is excluded #570

New issue
Copy link
New issue
Copy link
Closed
#574
Closed
Fuzzing is not stopped on timeout when symbolic execution is excluded#570
#574
Copy link
Assignees
Markoutte
Labels
comp-fuzzingIssue is related to the fuzzingIssue is related to the fuzzingctg-bugIssue is a bugIssue is a bugstatus-verifiedBug fix is verifiedBug fix is verified

Description

@alisevych
alisevych
opened on Jul 21, 2022
Issue body actions

Description

Need to stop test generation on timeout when only fuzzing test generation is turned on.
Fuzzing is turned on and the Simplest mode of Code analysis is used in Settings.

To Reproduce

Steps to reproduce the behavior:

  1. If you have settings.properties check that useFuzzing=true is present
  2. Run the 'UTBotJava' project in IntelliJ Idea
  3. Open File -> Settings... -> Tools -> UTBot
  4. Drag the Code analysis slider to the left most position - the Simplest
  5. Open utbot-sample/src/test/java/org/utbot/examples/algorithms/ArraysQuickSortTest.java
  6. Initiate test generation for the class with default settings (timeout 60 sec for the class)

Expected behavior

Tests are supposed to be generated after 60 sec maximum.

Actual behavior

Currently the test generation can last for 10 minutes approx.

Visual proofs (screenshots, logs, images)

Simplest Code analysis

Timeout for generation

Hanging for 10+ minutes

Environment

IntelliJ IDEA 2022.1.3

Additional context

When Code analysis slider is moved just 1 notch to the right - timeout doesn't exceed. If it is set to 10 sec - the generation ends in 10 sec approx. Only tests generated by Fuzzer are present in the Test class.

Reacted by Amandel Pie
Reacted by Amandel Pie

Activity

  1. alisevych
    added
    ctg-bugIssue is a bugIssue is a bug
    comp-fuzzingIssue is related to the fuzzingIssue is related to the fuzzing
    on Jul 21, 2022
  2. alisevych
    assigned
    Markoutte
    on Jul 21, 2022
  3. korifey
    added this to UTBot Javaon Jul 21, 2022
  4. korifey
    moved this to Todo in UTBot Javaon Jul 21, 2022
  5. Markoutte
    added a commit that references this issue on Jul 22, 2022

    Fuzzing is not stopped on timeout when symbolic execution is excluded #…

    79bb80f
  6. Markoutte
    closed this as completedin #574on Jul 22, 2022
  7. Markoutte
    added a commit that references this issue on Jul 22, 2022

    Fuzzing is not stopped on timeout when symbolic execution is excluded #…

    41927a6
  8. Repository owner moved this from Todo to Done in UTBot Javaon Jul 22, 2022
  9. alisevych
    added
    status-verifiedBug fix is verifiedBug fix is verified
    on Jul 26, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

  • @Markoutte
    Markoutte

Labels

comp-fuzzingIssue is related to the fuzzingIssue is related to the fuzzingctg-bugIssue is a bugIssue is a bugstatus-verifiedBug fix is verifiedBug fix is verified

Type

No type

Projects

  • UTBot Java
    Status
    Done
    Show more project fields

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.