Skip to content

Introduce object creation using builders for fuzzers #2583

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

Open
Markoutte wants to merge 11 commits into
base: main
Choose a base branch
from
Open

Introduce object creation using builders for fuzzers #2583

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
a21fcfb
Introduce Builder value provider
Markoutte Sep 7, 2023
e5be238
Rename finally to transformers
Markoutte Sep 7, 2023
4a45ad4
Simplify code
Markoutte Sep 7, 2023
510099e
Fix problem when synthetic methods are used for test generation
Markoutte Sep 8, 2023
84d51c6
Add fuzzed summary
Markoutte Sep 11, 2023
0852a76
Remove unnecessary check
Markoutte Sep 11, 2023
59c99e5
Preserve `transformers` when copying `Seed.Recursive`
IlyaMuravjov Sep 11, 2023
1caa8de
Handle CNFE when class from method parameter is not present in classl…
Markoutte Sep 11, 2023
19a9298
Unify hierarchy calling method
Markoutte Sep 11, 2023
bbb102b
Use `null` for partially unresolvable classes in fuzzed Spring tests
IlyaMuravjov Sep 12, 2023
b9de69d
Merge remote-tracking branch 'origin/main' into pelevin/builders-prov…
IlyaMuravjov Sep 12, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Use null for partially unresolvable classes in fuzzed Spring tests
  • Loading branch information
@IlyaMuravjov
IlyaMuravjov committed Sep 12, 2023
commit bbb102bf9ddf5839756fc35874451e3bfba311b8
39 changes: 39 additions & 0 deletions ...zzing/src/main/kotlin/org/utbot/fuzzing/spring/PartiallyUnresolvableClassValueProvider.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
package org.utbot.fuzzing.spring

import mu.KotlinLogging
import org.utbot.framework.plugin.api.ClassId
import org.utbot.framework.plugin.api.util.allDeclaredFieldIds
import org.utbot.fuzzer.FuzzedType
import org.utbot.fuzzer.FuzzedValue
import org.utbot.fuzzing.FuzzedDescription
import org.utbot.fuzzing.JavaValueProvider
import org.utbot.fuzzing.Seed
import org.utbot.fuzzing.providers.nullFuzzedValue

/**
* Returns [JavaValueProvider] that only uses `null` value for classes that mention (in their
* constructor, method, or field signatures) classes that are not present on the classpath.
*/
fun JavaValueProvider.useNullForPartiallyUnresolvableClasses() =
PartiallyUnresolvableClassValueProvider().withFallback(this)

private class PartiallyUnresolvableClassValueProvider : JavaValueProvider {
companion object {
private val logger = KotlinLogging.logger {}
}

private val classResolvabilityCache = mutableMapOf<ClassId, Boolean>()

override fun accept(type: FuzzedType): Boolean = !classResolvabilityCache.getOrPut(type.classId) {
runCatching {
type.classId.allConstructors.toList()
type.classId.allMethods.toList()
type.classId.allDeclaredFieldIds.toList()
}.onFailure { e ->
logger.warn { "Failed to resolve ${type.classId} dependencies, using `null` value, cause: $e" }
}.isSuccess
}

override fun generate(description: FuzzedDescription, type: FuzzedType): Sequence<Seed<FuzzedType, FuzzedValue>> =
sequenceOf(Seed.Simple(nullFuzzedValue(type.classId)))
}
4 changes: 3 additions & 1 deletion ...mework/src/main/kotlin/org/utbot/framework/context/spring/SpringApplicationContextImpl.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@ import org.utbot.framework.context.TypeReplacer
import org.utbot.framework.context.custom.CoverageFilteringConcreteExecutionContext
import org.utbot.framework.context.custom.mockAllTypesWithoutSpecificValueProvider
import org.utbot.framework.context.utils.transformJavaFuzzingContext
import org.utbot.framework.context.utils.transformValueProvider
import org.utbot.framework.context.utils.withValueProvider
import org.utbot.framework.plugin.api.BeanDefinitionData
import org.utbot.framework.plugin.api.ClassId
Expand All @@ -25,6 +26,7 @@ import org.utbot.framework.plugin.api.util.id
import org.utbot.framework.plugin.api.util.jClass
import org.utbot.framework.plugin.api.util.utContext
import org.utbot.fuzzing.spring.unit.InjectMockValueProvider
import org.utbot.fuzzing.spring.useNullForPartiallyUnresolvableClasses

class SpringApplicationContextImpl(
private val delegateContext: ApplicationContext,
Expand Down Expand Up @@ -77,7 +79,7 @@ class SpringApplicationContextImpl(
classpathWithoutDependencies,
this
)
}
}.transformValueProvider { it.useNullForPartiallyUnresolvableClasses() }
}

override fun createCodeGenerator(params: CodeGeneratorParams): AbstractCodeGenerator =
Expand Down