- Notifications
You must be signed in to change notification settings - Fork45
old_home
Olga Naumenko edited this pageNov 17, 2022 ·1 revision
The UnitTestBot Java provides engineers with a simple way to generate unit tests and visualize coverage for projects written in Java Programming Language. The tool uses symbolic analysis for test cases generation.
It is based on a custom Symbolic Virtual Machine to analyze bytecode, traverse it and pass path constraints to the Z3 SMT Solver from Microsoft Labs to get aSAT /\UNSAT model for codebase.UnitTestBot incorporates machine learning for test names and test variables generation.
JDK VersionOpenJDK 1.8 - 11 compatible
IntelliJ IDEA 2022.1 - 2022.1.4
Maven/Gradle/IntelliJ
- Check system requirements
- Install or update plugin
- Generate tests with default configuration
- Fine-tune test generation
- Get use of test results
(redirect to/docs inmain repo)
- Contributing guide
- Developer guide
- Naming and labeling conventions
- Interprocess debugging
- Interprocess logging
- UnitTestBot overall architecture
- Android Studio support
- Assumption mechanism
- Choosing language-specific IDE
- Code generation and rendering
- Fuzzing Platform (FP) Design
- Instrumented process API: handling errors and results
- UnitTestBot JavaScript plugin setup
- Night statistics monitoring
- RD for UnitTestBot
- Sandboxing
- UnitTestBot settings
- Speculative field non-nullability assumptions
- Symbolic analysis of static initializers
- Summarization module
- Taint analysis
- UnitTestBot decomposition
- UtUtils class
- UnitTestBot Family changes