使用 GNAT 测试时如何为函数添加第二个测试?

Question

Gnat 测试的文档展示了如何生成线束和骨架单元测试。它为目标项目中的每个公共函数创建一个单元测试，但是如果我添加另一个单元测试，则在重新生成工具线束和框架单元测试时会覆盖该单元测试。

在 gnattest 提供的简单示例项目中，如何添加另一个测试？我试过：

(1( 将另一个 Assert 行添加到已经存在的测试函数中。这行得通，但不是好的做法;第一个失败的测试会阻止运行其他测试。

(2(将函数定义添加到obj/gnattest/Harness/gnattest.xml然后重新生成测试不起作用;XML文件在使用创建测试存根之前被重新生成。

(3( 通过以下更改将定义添加到测试/和 Harness/手动，这些更改会被重新生成测试破坏。

将此添加到obj/gnattest/tests/simple-test_data-tests.ads：

procedure Test_Inc2_4f8b9f (Gnattest_T : in out Test);

将此添加到obj/gnattest/tests/simple-test_data-tests.adb：

--  begin read only
procedure Test_Inc2 (Gnattest_T : in out Test);
procedure Test_Inc2_4f8b9f (Gnattest_T : in out Test) renames Test_Inc2;
--  id:2.2/4f8b9f38b0ce8c74/Inc/1/0/
procedure Test_Inc2 (Gnattest_T : in out Test) is
--  simple.ads:7:4:Inc
--  end read only
begin
Assert (Inc(2) = 2, "this test should fail");
--  begin read only
end Test_Inc2;
--  end read only

将声明添加到第 16 行，并将创建和add_test添加到 obj/gnattest/harness/simple-test_data-tests-suite.adb 中的 Suite 函数：

Case_1_1_Test_Inc2_4f8b9f : aliased Runner_1.Test_Case;
Runner_1.Create
(Case_1_1_Test_Inc2_4f8b9f,
"simple2.ads:7:4:",
Test_Inc2_4f8b9f'Access);
Result.Add_Test (Case_1_1_Test_Inc2_4f8b9f'Access);

要重新编译，请不要使用 Makefile，因为这会破坏更改。相反，运行

gprbuild -Pobj/gnattest/harness/test_driver.gpr
./obj/gnattest/harness/test_runner.exe`.

必须有更好的方法。

Answer 1

有一个特定于GNAT的编译指示或方面(Ada 2012(，如果你不介意修改测试对象(并在此过程中失去一些可移植性......

我将首先展示编译指示的语法，其余示例将使用方面语法：

function Foo(Bar : in Integer) return Integer;
pragma Test_Case("Test 1", Robustness);

与方面语法相同的示例：

function Foo(Bar : in Integer) return Integer
with Test_Case => ("Test 1", Robustness);

或者，如果您喜欢命名关联：

function Foo(Bar : in Integer) return Integer
with Test_Case => (Name => "Test 1", Mode => Robustness);

这将生成额外的包装器代码以及一个测试用例，这可能看起来很混乱，除非您指定Mode => Nominal(见下文(或两个可选参数中的任何一个，Requires和Ensures：

function Foo(Bar : in Integer) return Integer
with Test_Case => (Name => "Test 1", 
Mode => Robustness,
Requires => Bar < 10,
Ensures => Foo'Result > 15);

Requires充当特定于测试用例的前提条件， 虽然Ensures充当特定于测试用例的后置条件， 这将由生成的包装器代码进行检查。 如果您对测试对象有现有的Pre或Post条件，则生成的代码也可以检查这些条件(如果您指定Mode => Nominal(。(使用Mode => Robustness时将忽略它们(。

function Foo(Bar : in Integer) return Integer
with Pre => Bar > 5,
Post => Foo'Result < 10,
Test_Case => (Name => "Test 1", 
Mode => Nominal,
Requires => Bar < 10,
Ensures => Foo'Result > 15);

当然，您可以添加多个Test_Case：

function Foo(Bar : in Integer) return Integer
with Test_Case => ("Test 1", Robustness),
Test_Case => ("High Bar", Robustness),
Test_Case => ("Low Bar", Robustness),
Test_Case => ("Candy Bar", Robustness);