java - 安全发布的单元测试

Question

您将如何在 Java 中对安全发布保证进行单元测试？

具体来说:

我有一个 Cache 接口(interface)，它有一个方法 getOrLoad(K key, ObjectLoader loader)。事情是，如果 Cache 找不到给定键的对象，那么它必须从 ObjectLoader 实例加载它。但是，Cache 需要保证从加载程序加载对象并将其放入 Cache 的行为构成安全发布。

我现在正在为这个 Cache 接口(interface)编写一个通用的 junit 测试，我想知道我将如何测试 Cache 实现是否遵守这个安全发布保证。

有什么想法吗？实际代码在 code repository 的 test-systest 模块部分。如果您想查看真实文件。

Answer 1

也许你可以使用ConTest至少让您对您的代码是正确的更有信心。

您需要实现几个同时运行多个线程的测试。然后，ConTest 将增加通过检测字节代码(添加启发式控制的条件 sleep 和 yield 指令)实际揭示并发错误的可能性。