主要内容

输入、评估、桩件和仿件

指定测试输入和评估、对未定义的函数被调用方进行插桩、覆盖函数被调用方

您可以在 Polyspace 平台用户界面中以交互方式编写图形化测试。图形化测试由一个或多个步骤组成。在每个步骤中,选择要测试的函数并指定测试输入和评估。对于输入和评估,测试用例编辑器支持基本数据类型的变量,也支持聚合(结构体、枚举值等)和指针等复杂数据类型的变量。

在每个测试中,您必须将任何未定义的被调用方替换为函数桩件。您也可以选择使用仿件函数覆盖被调用方定义。

主题

输入

评估

桩件和仿件

可感知 AUTOSAR 的桩件

用 C/C++ 编写的测试(xUnit 测试)

限制

相关信息