ada - 打破测试功能的 Ada 隐私

Question

假设我有两个包:

with Ada.Streams; use Ada.Streams;
package P is
   type SEA is new Stream_Element_Array (1..4);
   function foo (Input : in SEA) return Natural;
private
   type PRecord is record
      Bar : Natural := 0;
   end record;
   function To_PRecord is new Ada.Unchecked_Conversion
     (Source => SEA,
      Target => PRecord);
end P;
------
package body P is
   function foo (Input : in SEA) return Natural
   is
      Tmp : constant PRecord := To_PRecord (Input);
   begin
      return Tmp.Bar;
   end foo;
end P;

和

-- Say SEA was defined in a third package and is accessible
package Q is
   function foo (Input : SEA) return Natural;
end P;
-----
with P;
package body Q is
   function foo (Input : SEA) return Natural
   is
   begin
      return P.foo(Input);
   end foo;
end Q;

包 P 很容易测试:

with AUnit.Assertions; use AUnit.Assertions;
package body P.Tests is
   function To_SEA is new Ada.Unchecked_Conversion
     (Source => PRecord,
      Target => SEA);

   procedure Test_Foo
   is
      Input : PRecord := (Bar => 42);
   begin
      Assert (foo(To_SEA (Input)) = 42, "foo failed miserably");
   end Test_Foo;
end P.Tests;

但是我该如何测试 Q？ PRecord 不可访问。因此，我看不出 Q 如何在不改变我正在测试的代码的情况下进行测试。在 C++ 中，我会将包 Q.Tests 定义为 P 的 friend 并获得访问权限。

我想我可以在 P 和 Q.Tests 会用到的包中定义 PRecord 但是否有解决方案可以做到不需要更改 P 或 Q(因为我真的不喜欢为了测试而需要更改生产代码)。

Answer 1

子包 P.Spy 可以查看整个 P 的规范； Q.Tests 可以调用它来进行验证检查。