GeezerVison

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

GeezerVison is showing github.com — Сonstraint model synthesis by AbdullinAM · Pull Request #966 · UnitTestBot/UTBotJava

Conversation

AbdullinAM commented Sep 19, 2022

Copy link

Copy Markdown

Description

Constrained model synthesis prototype. It tries to generate UtAssembleModel that creates an object using it's public API for each argument of the method under test.

Type of Change

New feature (non-breaking change which adds functionality)

How Has This Been Tested?

Automated Testing

Feature was tested on open-source projects: exp4j, guava, fastjson, etc.

Also SynthesisExamplesTest was added.

Manual Scenario

Example class org.utbot.examples.synthesis.SynthesisExamples was added to the utbot-sample module. Running UtBot on the methods from that class with UtSettings.enableSynthesis set to true should show several scenarios of how constrained model synthesis allows to generate test cases that use public API of the objects

Checklist (remove irrelevant options):

This is the author self-check list

The change followed the style guidelines of the UTBot project
Self-review of the code is passed
The change contains enough commentaries, particularly in hard-to-understand areas
New documentation is provided or existed one is altered
No new warnings
New tests have been added
All tests pass locally with my changes

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

All reactions

Sergey Pospelov and others added 30 commits

June 20, 2022 11:56


          Draft: model synthesis

fb0adca

11c47d9


          first prototype, needs debugging and tuning

4aaa8e5


          prototype

9c63ba0


          refactor

707fa6d


          very early prototype

10c4193


          UtConstraintModel implemented

4285a5c


          partial UtConstraint to UtExpression convertion

22e2266


          working prototypes

6b47a9a


          bugfixes + expression support in constraints

a75a840

fb392f6


          everything kind of works, but some constraints need to be added

5f35311


          first working protoype with arrays

ba9bb62


          renaming

065924f


          first tests and fixes

8cc7515


          more expressions supported

4a14606


          some cleanup + more expressions supported

bbf525b


          cleanup

850b530


          support for multidimensional arrays + fix for array generation


          first support of lists

60df4a4


          support sets

8963a7e


          small refactorings

1578c96


          maps

1dd4b25


          some cleanup and parameters

313757d


          test write fix

faa0047

94740c9


          Merge branch 'main' into abdullin/constraint-model-synthesis

# Conflicts:
#	utbot-cli/src/main/kotlin/org/utbot/cli/GenerateTestsAbstractCommand.kt
#	utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt
#	utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kt
#	utbot-framework/src/main/kotlin/org/utbot/engine/Resolver.kt
#	utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt
#	utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestCaseGenerator.kt
#	utbot-junit-contest/src/main/kotlin/org/utbot/contest/Contest.kt
#	utbot-summary/src/main/kotlin/org/utbot/summary/ast/JimpleToASTMap.kt


          merge with master

fd22077


          first prototype of constraint scoring selector

4e97b5f

2544b31

AbdullinAM added 13 commits

August 31, 2022 19:03


          fixes

e585371


          Merge branch 'main' into abdullin/constraint-model-synthesis

d2564e9

# Conflicts:
#	utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt
#	utbot-framework-test/src/test/kotlin/org/utbot/framework/assemble/AssembleModelGeneratorTests.kt
#	utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt
#	utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestCaseGenerator.kt


          Merge branch 'main' into abdullin/constraint-model-synthesis

bb1acbc

# Conflicts:
#	utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt
#	utbot-framework-test/src/test/kotlin/org/utbot/framework/assemble/AssembleModelGeneratorTests.kt
#	utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt
#	utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestCaseGenerator.kt


          Split constraint models into a set of non-intersecting subsets before…

c6fbeb0

… synthesis

2553ef7


          some cleanup

e943a16


          more cleanup

cd5fff8


          order models in the subsets

c2a7d31


          simple caching of synthesis unit contexts

d1b09c8


          option to enable/disable caching of synthesis contexts

eedccb9

11eea4d


          tests

9712e70


          unit tests fixed

1c6b679

AbdullinAM commented Sep 19, 2022

Copy link

Copy Markdown

Author

Currently only stateBefore is generated using constrained model synthesis. StateAfter is generated from concrete execution. In the future it is possible to add constrained model synthesis for stateAfter also, but it will at least double UtBot working time.

All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

sergeypospelov commented Sep 20, 2022

Copy link

Copy Markdown

Member

I will take a superficial review this week. You also ought to rebase on master.

All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

AbdullinAM added 2 commits

September 28, 2022 09:10


          Merge branch 'main' into abdullin/constraint-model-synthesis

4e37763

# Conflicts:
#	utbot-framework-test/src/test/kotlin/org/utbot/framework/assemble/AssembleModelGeneratorTests.kt
#	utbot-framework/src/main/kotlin/org/utbot/engine/Resolver.kt
#	utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt
#	utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt
#	utbot-framework/src/main/kotlin/org/utbot/external/api/UtModelFactory.kt
#	utbot-framework/src/main/kotlin/org/utbot/framework/assemble/AssembleModelGenerator.kt
#	utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/tree/CgMethodConstructor.kt
#	utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/tree/CgVariableConstructor.kt
#	utbot-framework/src/main/kotlin/org/utbot/framework/concrete/UtExecutionInstrumentation.kt
#	utbot-framework/src/main/kotlin/org/utbot/framework/minimization/Minimization.kt
#	utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestCaseGenerator.kt
#	utbot-framework/src/main/kotlin/org/utbot/tests/infrastructure/TestSpecificTestCaseGenerator.kt


          merge with main

34ed6fe

AbdullinAM closed this

Sep 29, 2022

AbdullinAM mentioned this pull request

Sep 29, 2022

Сonstraint model synthesis #1030

Open

7 tasks done

Reviewers

No reviews

Uh oh!

There was an error while loading. Please reload this page.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Uh oh!

There was an error while loading. Please reload this page.

2 participants

Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.

You are visitor 01402503 — 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.