DISCOVERY Execution

If you use the [Test Case Generation using Symbolic Execution] feature, test cases that can increase coverage are automatically generated.

Test Case Generation using Symbolic Execution

1. 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.
     

2. You can check the progress information after clicking [Test Case Generation using Symbolic Execution].
   

!When generating a test case based on symbolic execution, it may take a long time to generate test cases.

3. When the test case generation is completed, you can check the coverage through the [Test Case Generation using Symbolic Execution] dialog.