如何在Ada AUnit测试中注入命令行参数（官方规范方案，无需改源码）

Ada标准库的Ada.Command_Line本身未提供直接修改参数的接口，但在AUnit测试场景下，有两种规范且无需修改被测源代码的实现方式：

1. 采用GNAT官方扩展接口 #

GNAT编译器提供了GNAT.Command_Line.Set_Command_Line过程（属于官方支持的Ada扩展特性），可直接覆盖当前进程的命令行参数：

with GNAT.Command_Line; use GNAT.Command_Line;

procedure Test_GHDL_Main is
begin
  -- 注入目标测试参数
  Set_Command_Line
    (Arguments => ("ghdl_mcode", "-r", "--workdir=/home/test", "test1"));
  
  -- 调用被测的Main过程
  Ghdlmain.Main;
end Test_GHDL_Main;

这种方式是GNAT生态中通用的规范方案，完全无需改动被测代码，适用于绝大多数基于GNAT的AUnit测试场景。

2. 跨编译器兼容的依赖注入方案 #

如果需要兼容所有Ada编译器，可以通过封装被测入口的方式实现参数注入：

• 在测试代码中封装一个接受参数数组的重载版本，临时重定向Ada.Command_Line的参数获取逻辑（比如包装Argument_Count和Argument函数）；
• 调用重载版本执行原Main的核心逻辑，以此模拟指定的命令行参数。
  这种方式仅需在测试侧做少量封装，完全不修改被测源代码。

关键注意事项 #

• 使用GNAT扩展时，需确保测试代码与被测代码使用同一GNAT版本，避免兼容性问题；
• 测试完成后建议调用Set_Command_Line恢复原有参数，防止影响后续测试用例。

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