主要内容

测试生成

针对函数输入的边界值或覆盖率目标生成测试

Polyspace 平台用户界面中,您可以自动生成与特定目标相关的测试输入。例如,您可以生成使用输入的边界值调用函数的测试,或生成覆盖了函数中所有条件的 true 或 false 结果的测试(全条件覆盖)。

主题