Skip to content

There is no approach to differ tests produced by Fuzzer and SymbolicExecutor #581

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
amandelpie opened this issue Jul 25, 2022 · 1 comment · Fixed by #583
Closed

There is no approach to differ tests produced by Fuzzer and SymbolicExecutor #581

amandelpie opened this issue Jul 25, 2022 · 1 comment · Fixed by #583
Assignees
@amandelpie
Labels
comp-codegen Issue is related to code generator comp-fuzzing Issue is related to the fuzzing comp-summaries Something related to the method names, code comments and display names generation

Comments

@amandelpie
Copy link
Collaborator

Description

At this moment there is no way to differ tests produced by Fuzzer and SymbolicExecutor

When we use Trace Summarization framework to generate cluster descriptions, we need a stable and good approach to differ these groups of tests.

The existing solution uses the heuristic with the empty path in UtExecution, but it's known that paths could be empty in tests produced by SymbolicExecutor
@amandelpie amandelpie self-assigned this Jul 25, 2022
@amandelpie
Copy link
Collaborator Author

Related to the #428 quick fix

@amandelpie amandelpie added the comp-fuzzing Issue is related to the fuzzing label Jul 25, 2022
@amandelpie amandelpie added the comp-codegen Issue is related to code generator label Jul 25, 2022
@korifey korifey moved this to Todo in UTBot Java Jul 25, 2022
@amandelpie amandelpie added the comp-summaries Something related to the method names, code comments and display names generation label Jul 25, 2022
@amandelpie amandelpie mentioned this issue Jul 25, 2022
Merged
7 tasks
amandelpie added a commit that referenced this issue Jul 26, 2022
@amandelpie
Added an approach to differ tests produced by Fuzzer and SymbolicExec…
71611c3 
…utor #581 (#583)

* Handled the bad case with the empty paths

* Added the ability to differ tests produced by fuzzing and symbolic engine

* Fixed a bug
Repository owner moved this from Todo to Done in UTBot Java Jul 26, 2022
@amandelpie amandelpie mentioned this issue Jul 27, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@amandelpie amandelpie

Labels
comp-codegen Issue is related to code generator comp-fuzzing Issue is related to the fuzzing comp-summaries Something related to the method names, code comments and display names generation
Projects
UTBot Java
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Added an approach to differ tests produced by Fuzzer and SymbolicExecutor #581 UnitTestBot/UTBotJava
1 participant
@amandelpie