ada - 如何指定函数或过程，GNATTest应该自动生成一个测试用例

我正在开发一个巨大的代码包（主要以ada编写），这是一个极端的混乱。到目前为止，尚未应用任何单元测试，对于所有现有代码，都不得实施单元测试。但是我们的团队决定，所有新代码都应与测试一起实施。在GPS中，可以让GNATtest自动为项目中的所有功能和程序生成测试程序。但是按照书面规定，我们必须从自动生成中排除所有旧代码。

有没有一种方法可以将功能和过程标记为“需要测试”？

最佳答案

您可以通过添加参数gnattest来指示--test-case-only仅为选定的过程或功能创建测试。我不确定如何在GPS中进行设置。终端中的整个命令可以看起来：

gnattest -P yourproject.gpr --test-case-only

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

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

设置时，必须添加纵横比（或杂注）Test_Case。例如：

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

您可以在GNAT Documentation中找到有关此方面/编译指示的更多信息。链接是指向编译指示的，但方面的工作原理完全相同。