DISCOVERY automatically generates test cases to increase coverage.
Test Case Generation using Symbolic Execution
If you use the [Test Case Generation using Symbolic Execution] feature, test cases that can increase coverage are automatically generated.
- Generate test cases based on symbolic execution for the selected tests.
- Toolbar in Unit Test View
If you click [Test Case Generation using Symbolic Execution] on the toolbar of Unit Test View, test cases are generated and executed based on symbol execution for the function/test checked in Unit Test View.
- Context menu in Unit Test View
Right-clicking a function/test and selecting the [Test Case Generation using Symbolic Execution] menu generates and executes a test case based on the symbolic execution.
- Toolbar in Unit Test View
Need more help with this?
Don’t hesitate to contact us here.