DISCOVERY 自动生成测试用例以提高覆盖率。

使用符号执行生成测试用例

如果使用[Test Case Generation using Symbolic Execution]功能,则会自动生成可提高覆盖率的测试用例。

  1. 根据所选测试的符号执行生成测试用例。
    • 单元测试视图中的工具栏
      如果点击单元测试视图工具栏上的[使用符号执行生成测试用例],则会根据单元测试视图中选中的函数/测试的符号执行生成并执行测试用例。
    • 单元测试视图中的上下文菜单
      右键单击函数/测试,选择[Test Case Generation using Symbolic Execution]菜单,根据符号执行生成并执行测试用例。
  1. 点击[Test Case Generation using Symbolic Execution]后,您可以查看进度信息。
  1. 测试用例生成完成后,您可以通过[Test Case Generation using Symbolic Execution]对话框检查覆盖率。

Need more help with this?
Don’t hesitate to contact us here.

Thanks for your feedback.