-
Notifications
You must be signed in to change notification settings - Fork 40
old_home
Olga Naumenko edited this page Nov 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 a SAT /\ UNSAT model for codebase. UnitTestBot incorporates machine learning for test names and test variables generation.
JDK Version OpenJDK 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 in main 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