Ada 如何指定GNATTest应该自动生成的测试用例的函数或过程

我正在编写一个巨大的代码包（主要是用ada编写的），这是一个非常混乱的过程。到目前为止还没有应用单元测试，对于所有现有代码，单元测试都不能实现。但是我们的团队决定，所有的新代码都应该与测试一起实现。在GPS中，可以让GNATtest为项目中的所有功能和程序自动生成测试程序。但正如所写的，我们必须从这个自动生成中排除所有旧代码

---

是否有方法将函数和过程标记为“需要测试”

您可以通过添加参数

——仅测试用例
，指示
gnattest
仅为选定的过程或函数创建测试。我不知道如何在GPS中设置它。终端can中的整个命令看起来：

gnattest-p yourproject.gpr--仅测试用例

您还可以将此参数添加到.gpr文件：

    package GnatTest is
       for GnatTest_Switches use ("--test-case-only");
    end GnatTest;

设置时，必须添加方面（或pragma）
Test\u Case
。例如：

procedure Something with
 Test_Case => ("Test_Something", Robustness);

您可以在中找到有关此方面/杂注的更多信息。链接指向pragma定义，但方面的工作方式完全相同