Skip to content

Automatic mock configuration #75

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
Open
sofyak0zyreva wants to merge 61 commits into
base: main
Choose a base branch
from
Open

Automatic mock configuration #75

sofyak0zyreva wants to merge 61 commits into from

Conversation

@sofyak0zyreva
Copy link

@sofyak0zyreva sofyak0zyreva commented Dec 25, 2025

This PR introduces the usvm-jvm-mocks module for USVM.
The module automates the setup of mocked methods in tests, reducing manual configuration. It generates mock values automatically, making it faster and easier to prepare tests for complex systems under test.
Technical documentation available here. There’s also a special README for my module if you want to straight up use it.

@sofyak0zyreva
feat: setting up for mocks, including mockito, draft of handling mocks
cc04af0
@sofyak0zyreva
feat: change path selector to targeted, create targets (all return st…
711d3b1 
…atements)
@sofyak0zyreva
ref: change CalculatorTest class and method under test
8dc8aa5
@sofyak0zyreva
ref: change structure of handling concrete method calls, start implem…
548ecb9 
…enting how mocked methods are handled
@sofyak0zyreva
feat: return symbolic exprs when methods are mocked
d9d0fdf
@sofyak0zyreva
ref: minor changes to access modifiers in other modules
b3f5c7a
@sofyak0zyreva
feat: new memory region and corresponding configuration settings
8132519
@sofyak0zyreva
feat: detection of mocked methods' calls and reading symbolic values …
9a2e7e0 
…from memory
@sofyak0zyreva
feat: override run() for getting final values for mocked methods
2851353
@sofyak0zyreva
style: remove unused code
153381c
@sofyak0zyreva
docs: add dependency
7e02987
@sofyak0zyreva
feat: add printing functions for mocked methods and their values
814f0b4
@sofyak0zyreva
ref: delete files with unused code
1864504
@sofyak0zyreva
test: change test structure
1092da5
@sofyak0zyreva
feat: print results in order of class appearances, inside by method c…
546a6fd 
…alls
@sofyak0zyreva
test: basic checks of module's functionality
9e8527d
@sofyak0zyreva
ref: move module to my branch
3bb8210
@sofyak0zyreva
ref: update file according to spring branch
d25de39
@sofyak0zyreva
fix: only application code is handled in a specified way
f73d7d3
@sofyak0zyreva
feat: draft of class for resolving mocked methods
897b710
@sofyak0zyreva
ref: add type for a mock memory region
f5a7841
@sofyak0zyreva
fix: methods for static fields in mock transformer
c89f2d9
@sofyak0zyreva
ref: remove create machine function from tests
68b423e
@sofyak0zyreva
ref: leave two interpreter versions for later revision
f1a6e48
@sofyak0zyreva
ref: remove create machine
13299c2
@sofyak0zyreva
feat: draft of test instructions for last state
df5cb52
@sofyak0zyreva
docs: change approximations version
a30914c
@sofyak0zyreva
ref: move gradle file
c077f03
@sofyak0zyreva
fix: adding all instructions
47993e9
@sofyak0zyreva
ref: mocked method is readable from memory
48bc127
@sofyak0zyreva
fix: assign right methods and params to each UTestsMockConfigInfo
89fbb9a
@sofyak0zyreva
feat: draft of rendering config info
ced38cd
@sofyak0zyreva
ref: remove unused interpreter code
21ad247
@sofyak0zyreva
feat: render instructions for mock config
34f302c
@sofyak0zyreva
ref: add str for convenience
14552e3
@sofyak0zyreva
ref: temporarily modify files outside of mocks dir
c9849a6
@sofyak0zyreva
test: further tests
b057e0d
@sofyak0zyreva
style: apply formatting
280a089
@sofyak0zyreva
feat: add visitor to record where variables should be created
d503ff8
@sofyak0zyreva
feat: add new UTestExpression type and respective custom rendering of…
0fb4c46 
… mock configs
@sofyak0zyreva
ref: clean up and apply formatter
a460fc7
@sofyak0zyreva
feat: get variable name info from test file and insert it into mock c…
33f294c 
…onfigs
@sofyak0zyreva
ref: clean up tests
7cd6bc9
@sofyak0zyreva
style: formatter
fb02521
@sofyak0zyreva
ref: move functions around for convenience
482f2d2
@sofyak0zyreva
fix: clean up global maps between test runs
4f76504
@sofyak0zyreva
ref: remove unused code
9bdf50b
@sofyak0zyreva
feat: add flag of exception in method under test
3f9b30b
@sofyak0zyreva
feat: add full java test renderer
9201e27
@sofyak0zyreva
ref: move class to testOutput folder for lack of imports
a4b2fb8
@sofyak0zyreva
docs: final test files with mock configs in testOutput
1f5ef6d
@sofyak0zyreva
docs: add ci
3fa26e3
@sofyak0zyreva
docs: remove old docs for lack of complications
2eb8a21
@sofyak0zyreva
docs: add readme
e9cdfde
@sofyak0zyreva
docs: fix links
6a876ee
@sofyak0zyreva
docs: fix misprint
2300b53
@sofyak0zyreva
docs: add code-based documentation
8e72799
@sofyak0zyreva
docs: add more documentation
0a78ac1
@sofyak0zyreva
style: apply formatting
39a9f48
@sofyak0zyreva
docs: fix publish_dir
f30d8c8
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@sofyak0zyreva