如何在Ada中访问包内本地子程序并通过GNATest(Aunit)独立测试

Ada包体中的本地子程序（未在包规范中声明的子程序）默认仅能在包体内访问，要通过GNATest/AUnit独立测试它们，可采用以下几种实用方案：

方案1：将本地子程序移至包规范的私有部分 #

如果允许调整原代码结构，把需要测试的本地子程序从包体移到包规范的private块中。这样测试包可以通过with主包来访问这些私有子程序，无需修改测试逻辑的核心结构。

示例代码 #

原包规范（修改后）

package My_Package is
   procedure Public_Procedure;  -- 原有公开过程
private
   procedure Local_Procedure;  -- 把本地子程序移到私有区
end My_Package;

包体实现

package body My_Package is
   procedure Local_Procedure is
   begin
      -- 原本地子程序的实现逻辑
   end Local_Procedure;

   procedure Public_Procedure is
   begin
      Local_Procedure;  -- 原有调用逻辑不变
   end Public_Procedure;
end My_Package;

AUnit测试包

with AUnit.Test_Cases; use AUnit.Test_Cases;
with My_Package; use My_Package;

package My_Package_Test is
   type Test is new Test_Case with null record;
   procedure Register_Tests (T : in out Test);
   procedure Test_Local_Proc (T : in out Test_Case'Class);
end My_Package_Test;

package body My_Package_Test is
   procedure Register_Tests (T : in out Test) is
   begin
      Register_Routine (T, Test_Local_Proc'Access, "Test Local Procedure");
   end Register_Tests;

   procedure Test_Local_Proc (T : in out Test_Case'Class) is
   begin
      Local_Procedure;  -- 直接调用私有子程序
      -- 添加断言逻辑验证结果
   end Test_Local_Proc;
end My_Package_Test;

优缺点：实现简单，但会暴露原本属于内部的实现细节，可能破坏代码封装性。

方案2：利用GNATest自动生成访问逻辑 #

GNATest支持直接测试包体中的本地子程序，无需修改原代码。通过命令行参数指定要测试的本地子程序，工具会自动生成访问这些子程序的测试框架代码。

操作步骤 #

1. 确保项目使用GNAT的GPR构建文件（如my_project.gpr）。
2. 运行GNATest命令，指定要测试的本地子程序：

gnatest -P my_project.gpr --test-subprograms=My_Package.Local_Procedure

3. GNATest会生成对应的测试桩代码，在自动生成的测试包中，你可以直接调用Local_Procedure编写测试用例。

优缺点：完全保留原代码的封装性，无需手动调整结构，但依赖GNAT工具链的特定功能。

方案3：使用包体子单元分离测试目标 #

把需要测试的本地子程序放到包体的子单元中，主包体通过use子单元调用这些子程序，同时测试代码可以with该子单元来访问目标子程序。

示例代码 #

包体子单元（my_package-local_procs.adb）

package body My_Package.Local_Procs is
   procedure Local_Procedure is
   begin
      -- 实现逻辑
   end Local_Procedure;
end My_Package.Local_Procs;

主包体（my_package.adb）

package body My_Package is
   use Local_Procs;  -- 访问子单元中的子程序

   procedure Public_Procedure is
   begin
      Local_Procedure;
   end Public_Procedure;
end My_Package;

测试包

with AUnit.Test_Cases; use AUnit.Test_Cases;
with My_Package.Local_Procs; use My_Package.Local_Procs;

package My_Package_Local_Test is
   type Test is new Test_Case with null record;
   procedure Register_Tests (T : in out Test);
   procedure Test_Local_Proc (T : in out Test_Case'Class);
end My_Package_Local_Test;

package body My_Package_Local_Test is
   -- 测试逻辑同方案1，直接调用Local_Procedure
end My_Package_Local_Test;

优缺点：平衡封装性和可测试性，但需要调整原代码的结构，拆分出子单元。

内容的提问来源于stack exchange，提问作者Shyam Yadav