Spring context analysis

[alisevych]

Purpose

Spring and other dependency injection instruments are generating classes without explicit object instantiating.
A solution is required to perform symbolic analysis or/and test generation for such cases.

Usage example

There is a method call: A.foo(B, C, D)
If detect that A and B are objects of Singletons and fix their state - tests can be generated with modifying C and D only.

Impediments

Spring context configuration can be made in different formats: XML-files (can be in different places) or special annotations.
There can be a number of contexts (for different products with common interface).

Idea

Give the user possibility to specify the context.
Special init-method can be added with @UTBotInit annotation configuring the context for tests generation.

Other impediments

There can be various context definition mechanisms for Dependency Injection tools.
For example, classes are changed after instantiating - their fields are changed according to the special resource files (can be JSONs or properties).

[alisevych]

This idea is used in Spring specific test generation.
Please check the Spring Phase 1:
https://github.com/UnitTestBot/UTBotJava/milestone/14
And here are all Spring support related issues and PRs:
https://github.com/UnitTestBot/UTBotJava/issues?q=+label%3Acomp-spring+