来自 Polyspace Test 元素的链接
如果您拥有 Polyspace® Test™ 许可证，则可以使用需求编辑器从 C 或 C++ 代码及测试中创建指向需求的链接。您可以从以下位置链接到需求：
表格形式的测试用例
多步测试用例中的各个步骤
xUnit 测试
源代码中的函数
当您从表格形式的测试用例、多步骤测试用例中的某个步骤或 xUnit 测试中创建链接时，Requirements Toolbox™ 会生成一个 Related to 类型的链接。当您在源代码中的某个函数内创建链接时，Requirements Toolbox 会生成一个 Implement 类型的链接。有关内置链接类型的更多信息，请参阅链接类型。有关验证和实施情况的更多信息，请参阅审查需求验证状态和使用实现状态跟踪需求链接。
注意
要从 Polyspace Test 元素创建链接，必须从 Polyspace 平台工具栏中打开需求编辑器或“可追溯性矩阵”窗口。无法通过编程方式创建链接。
有关启用 Requirements Toolbox 与 Polyspace Test 之间链接功能的更多信息，请参阅Link C/C++ Sources and Tests to Requirements in Requirements Toolbox (Polyspace Test)。
来自“表格化测试用例和测试步骤”的链接
要从表格形式的测试用例或测试步骤创建指向需求的链接：
在 Polyspace 平台工具栏的工程选项卡中，工具部分下，点击需求编辑器。
在 Polyspace 平台上，打开一个表格测试。
在测试用例编辑器的左侧，选择测试或测试步骤。
在需求编辑器中，选择一个需求。
在工具栏的链接部分，点击 添加链接 > 从选定 Polyspace Test 元素链接。在右侧窗格的链接部分中，相关部分显示了关联的项目。
来自 xUnit 测试的链接
您可以通过以下这些 Polyspace Test xUnit API 宏链接到需求：
PST_SIMPLE_TESTPST_SIMPLE_TEST_BODYPST_TESTPST_TEST_BODY
要从 xUnit 测试建立到需求的关联：
在 Polyspace 平台工具栏的工程选项卡中，工具部分下，点击需求编辑器。
打开一个 xUnit 测试。然后，选择一行代码作为链接起点。
提示
可选中用于建立链接的行，其左侧会显示需求图标
。在需求编辑器中，选择一个要链接的需求。
在工具栏的链接部分，点击 添加链接 > 从选定 Polyspace Test 元素链接。在右侧窗格的链接部分中，相关部分显示了关联的项目。
源代码中函数的链接
要在源代码中的函数中创建链接：
在 Polyspace 平台工具栏的工程选项卡中，工具部分下，点击需求编辑器。
打开一个源文件。然后，选择一个函数入口点进行链接。
提示
可选中用于建立链接的行，其左侧会显示需求图标
。在需求编辑器中，选择一个要链接的需求。
在工具栏的链接部分，点击 添加链接 > 从选定 Polyspace Test 元素链接。在右侧窗格的链接部分中，被实现部分显示了关联的项目。
有关实施情况的信息，请参阅使用实现状态跟踪需求链接。
修改测试的链接类型
当您从这些测试元素创建链接时，Requirements Toolbox 会生成一个 Relate 类型的链接：
表格形式的测试用例
多步测试用例中的各个步骤
xUnit 测试
若要从需求编辑器运行测试，或在验证度量中包含链接，请将链接类型设置为 Verifies。您必须使用需求编辑器来设置链接类型。无法通过 Requirements Toolbox API 更改链接类型。要更改链接类型，请在需求编辑器中点击显示链接。然后，在右侧窗格中，展开属性部分，并在类型下拉菜单中选择验证。
在工具栏的视图部分，点击显示需求。在右侧窗格的链接部分中，测试元素出现在被验证部分中。
将链接类型设置为 Verify 后，您可以使用需求编辑器运行测试并查看验证状态。有关运行测试和查看验证状态的信息，请参阅通过运行测试或分析来验证需求和显示验证状态。
导航至 Polyspace Test 元素
您可以从需求编辑器中的需求导航至关联的 Polyspace Test 元素。在工具栏的需求编辑器和视图部分中，点击显示需求并选择一个需求。在右侧窗格中，展开链接部分，然后点击该超链接。
